// checks (3) and (1)
private Expression genObjOperation(Context ctx, MClass srcClass, Expression srcExpr)
throws SemanticException {
Expression res = null;
// find operation
String opname = fOp.getText();
MOperation op = srcClass.operation(opname, true);
if (op != null) {
// check for isQuery operation with OCL body
if (!op.hasExpression())
throw new SemanticException(
fOp,
"Operation `"
+ srcClass.name()
+ "::"
+ op.signature()
+ "' cannot be used in OCL expression "
+ "(only side effect-free operations with a return type and an OCL expression as body may be used).");
try {
// constructor performs additional checks
res = new ExpObjOp(op, fArgExprs);
} catch (ExpInvalidException ex) {
throw new SemanticException(
fOp, "In operation call `" + srcClass.name() + "::" + opname + "': " + ex.getMessage());
}
} else {
// try standard operation
res = genStdOperation(ctx, fOp, opname, fArgExprs);
}
return res;
}
/** Handles shorthand notation for collect and expands to an explicit collect expression. */
private Expression collectShorthandWithArgs(String opname, Expression srcExpr)
throws SemanticException {
Expression res = null;
// c.op() 201 (5) with implicit (3,1)
CollectionType cType = (CollectionType) srcExpr.type();
Type elemType = cType.elemType();
if (elemType.isObjectType()) {
MClass srcClass = ((ObjectType) elemType).cls();
MOperation op = srcClass.operation(opname, true);
if (op != null) {
// check for isQuery operation with OCL body
if (!op.hasExpression())
throw new SemanticException(
fOp,
"Operation `"
+ srcClass.name()
+ "::"
+ op.signature()
+ "' cannot be used in OCL expression "
+ "(only side effect-free operations with a return type and an OCL expression as body may be used).");
// transform c.op(...) into c->collect($e | $e.op(...))
ExpVariable eVar = new ExpVariable("$e", elemType);
fArgExprs[0] = eVar;
try {
// constructor performs additional checks
res = new ExpObjOp(op, fArgExprs);
} catch (ExpInvalidException ex) {
throw new SemanticException(
fOp,
"In operation call `" + srcClass.name() + "::" + opname + "': " + ex.getMessage());
}
res = genImplicitCollect(srcExpr, res, elemType);
}
}
if (res == null) {
// try (1) predefined OCL operation
res = collectShorthandStdOp(opname, srcExpr, cType, elemType);
}
return res;
}
/**
* Create a new link between the (source or target) domain and the corr object
*
* @throws org.tzi.use.uml.sys.MSystemException
*/
public MLink createMLink(
Context ctx, MObject corrObject, MClass domainClass, MObject domainObject)
throws MSystemException {
MLink link = null;
MAssociation assoc = null;
String roleName = "";
MClass corrClass = ctx.model().getClass(corrObject.cls().name());
Set tmpClasses = new HashSet();
if (domainObject.name().equals(fSourceObject.getText()))
if (fSourceRole != null) roleName = fSourceRole.getText();
else roleName = fSourceObject.getClass().getName().toLowerCase();
else if (fTargetRole != null) roleName = fTargetRole.getText();
else roleName = fTargetObject.getClass().getName().toLowerCase();
tmpClasses.add(corrClass);
tmpClasses.add(domainClass);
Set<MAssociation> assocs = ctx.model().getAssociationsBetweenClasses(tmpClasses);
if (assocs.size() == 0) {
ModelFactory mf = new ModelFactory();
List<VarDecl> emptyQualifiers = Collections.emptyList();
try {
assoc = mf.createAssociation(domainClass.name() + "_" + corrClass.name());
assoc.addAssociationEnd(
mf.createAssociationEnd(
domainClass,
roleName,
new MMultiplicity(1, 1),
MAggregationKind.NONE,
false,
emptyQualifiers));
assoc.addAssociationEnd(
mf.createAssociationEnd(
corrClass,
"cp" + "_" + assoc.name(),
MMultiplicity.ZERO_MANY,
MAggregationKind.NONE,
false,
emptyQualifiers));
ctx.model().addAssociation(assoc);
MSystem system = new MSystem(ctx.model());
MSystemState temp = system.state();
// copy object, link from ctx.systemState -> temp
// Objects
for (Iterator iter = ctx.systemState().allObjects().iterator(); iter.hasNext(); ) {
MObject obj = (MObject) iter.next();
temp.createObject(obj.cls(), obj.name());
}
// Links
for (Iterator iter = ctx.systemState().allLinks().iterator(); iter.hasNext(); ) {
MLink obj = (MLink) iter.next();
temp.insertLink(obj);
}
ctx.setfCurrentSystemState(system.state());
} catch (MInvalidModelException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
} else {
Iterator it = assocs.iterator();
if (!it.hasNext()) throw new MSystemException();
assoc = (MAssociation) it.next();
}
List tmpList = new ArrayList<MObject>();
tmpList.add(domainObject);
tmpList.add(corrObject);
if (!ctx.systemState().hasLink(assoc, tmpList, null)) {
link = ctx.systemState().createLink(assoc, tmpList, null);
} else {
link = ctx.systemState().linkBetweenObjects(assoc, tmpList).iterator().next();
}
return link;
}
