pre.setName(var.getName()+"@Pre");
TCGOCLVariableCallExp post = factory.createTCGOCLVariableCallExp();
post.setIsPre(false);
post.setVariable(var);
post.setName(var.getName());
TCGOCLOperationCallExp continuityExp = factory.createTCGOCLOperationCallExp();
continuityExp.setName("continuity");
continuityExp.setOperation(TCGOCLOperationType.EQUALS);
continuityExp.setSource(post);
continuityExp.getArguments().add(pre);
tcgAct.getLocalPostconditions().add(continuityExp);
}
}
}
}