fc = new FunctionCall(func, exps);
TestCondition testcon = new TestCondition(new PredicateConstraint(new FunctionCall( new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
TestCondition testcon = new TestCondition(new PredicateConstraint(new FunctionCall( new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
fc = new FunctionCall(func, new Object[]{exp1, exp2});
paramcon.addConstraint(new BoundConstraint(OAVBDIMetaModel.modelelement_has_name, paramname)); paramcon.addConstraint(new BoundConstraint(null, params, IOperator.CONTAINS)); paramcon.addConstraint(new PredicateConstraint(new FunctionCall(new MethodCallFunction(method0), new Object[]{null, Variable.STATE, paramname, mevent, rawmsg, rcapa}))); paramsetcon.addConstraint(new BoundConstraint(OAVBDIMetaModel.modelelement_has_name, paramsetname)); paramsetcon.addConstraint(new BoundConstraint(null, paramsets, IOperator.CONTAINS)); paramsetcon.addConstraint(new PredicateConstraint(new FunctionCall(new MethodCallFunction(method1), new Object[]{null, Variable.STATE, paramsetname, mevent, rawmsg, rcapa}))); catch(Exception e){e.printStackTrace();} TestCondition matchcon = new TestCondition(new PredicateConstraint(new FunctionCall(new MethodCallFunction(method2), new Object[]{null, Variable.STATE, rcapa, rawmsg, matchexp})));
fc = new FunctionCall(func, new Object[]{exp1, exp2});
capcon.addConstraint(new BoundConstraint(null, rcapa)); capcon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.capability_has_goals, rgoal, IOperator.CONTAINS)); capcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, new Constant(ref), refgoal, refcapa})));
capcon.addConstraint(new BoundConstraint(null, rcapa)); capcon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.capability_has_goals, rgoal, IOperator.CONTAINS)); capcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, new Constant(ref), refgoal, refcapa})));
Object valuesource = new FunctionCall(func, new Object[]{left, right}); ret = new VariableExpression(context.generateVariableBinding(context.getCurrentCondition(), valuesource)); context.popCondition();
FunctionCall fc_num = new FunctionCall(new Length(), new Object[]{samegoals}); FunctionCall fc_numcard = new FunctionCall(new OperatorFunction(IOperator.GREATEROREQUAL), new Object[]{fc_num, cardinality}); cardcon.addConstraint(new PredicateConstraint(fc_numcard));
changecon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.changeevent_has_element, rtel)); changecon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.changeevent_has_scope, rtargetcapa)); changecon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rtel, rtargetcapa})));
changecon.addConstraint(new LiteralConstraint(OAVBDIRuntimeModel.changeevent_has_type, OAVBDIRuntimeModel.CHANGEEVENT_FACTREMOVED)); changecon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.changeevent_has_element, rtel)); changecon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rtel, rtargetcapa})));
changecon.addConstraint(new LiteralConstraint(OAVBDIRuntimeModel.changeevent_has_type, OAVBDIRuntimeModel.CHANGEEVENT_FACTADDED)); changecon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.changeevent_has_element, rtel)); changecon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rtel, rtargetcapa})));
changecon.addConstraint(new LiteralConstraint(OAVBDIRuntimeModel.changeevent_has_type, OAVBDIRuntimeModel.CHANGEEVENT_FACTCHANGED)); changecon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.changeevent_has_element, rtel)); changecon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rtel, rtargetcapa})));
trcon.addConstraint(new BoundConstraint(null, triggerrefs, IOperator.CONTAINS)); trcon.addConstraint(new BoundConstraint(OAVBDIMetaModel.triggerreference_has_ref, ref)); trcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rpe, rtargetcapa})));
trcon.addConstraint(new BoundConstraint(null, triggerrefs, IOperator.CONTAINS)); trcon.addConstraint(new BoundConstraint(OAVBDIMetaModel.triggerreference_has_ref, ref)); trcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rpe, rtargetcapa})));
trcon.addConstraint(new BoundConstraint(null, triggerrefs, IOperator.CONTAINS)); trcon.addConstraint(new BoundConstraint(OAVBDIMetaModel.triggerreference_has_ref, ref)); trcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, rpe, rtargetcapa})));
c5.addConstraint(new ValueSourceReturnValueConstraint(golfer_has_position, new FunctionCall(IFunction.SUM, new Object[]{fred_pos, Integer.valueOf(1)}))); c5.addConstraint(new LiteralConstraint(golfer_has_color, "blue")); c5.addConstraint(new OrConstraint(new IConstraint[]
capcon.addConstraint(new BoundConstraint(null, rcapa)); capcon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.capability_has_goals, rgoal, IOperator.CONTAINS)); capcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, ringoal, rincapa})));
capcon.addConstraint(new BoundConstraint(null, rcapa)); capcon.addConstraint(new BoundConstraint(OAVBDIRuntimeModel.capability_has_goals, rgoal, IOperator.CONTAINS)); capcon.addConstraint(new LiteralReturnValueConstraint(Boolean.TRUE, new FunctionCall(new ResolvesTo(), new Object[]{rcapa, ref, ringoal, rincapa})));