public OperationCallExp createAsSetOperation(OclExpression source)
{
OperationCallExp exp = createOperationCallExp(createSpecificCollectionType(CollectionKindEnum.SET, source.getType()),
source, "asSet", new List <object>(), false);
exp.setFactory(this);
return(exp);
}
public OperationCallExp createAtPreOperation(OclExpression source)
{
OperationCallExp exp = createOperationCallExp(source.getType(), source, "atPre",
new List <object>(), false);
exp.setFactory(this);
return(exp);
}