FunctionCall func = ((TestCondition)con).getConstraint().getFunctionCall(); if(func.getFunction() instanceof OperatorFunction && ((OperatorFunction)func.getFunction()).getOperator().equals(IOperator.EQUAL))
/** * Get the variables. * @return The declared variables. */ public List getVariables() { return constraint.getVariables(); }
state._fsp--; constraint = new PredicateConstraint(fc); state._fsp--; constraint = new PredicateConstraint(oc);
state._fsp--; constraint = new PredicateConstraint(fc); state._fsp--; constraint = new PredicateConstraint(oc);
condition = new TestCondition(new PredicateConstraint(call));
FunctionCall func = ((TestCondition)con).getConstraint().getFunctionCall(); if(func.getFunction() instanceof OperatorFunction && ((OperatorFunction)func.getFunction()).getOperator().equals(IOperator.EQUAL))
/** * Get the variables. * @return The declared variables. */ public List getVariables() { return constraint.getVariables(); }
condition = new TestCondition(new PredicateConstraint(call));
FunctionCall func = ((TestCondition)con).getConstraint().getFunctionCall(); if(func.getFunction() instanceof OperatorFunction && ((OperatorFunction)func.getFunction()).getOperator().equals(IOperator.EQUAL))
TestCondition testcon = new TestCondition(new PredicateConstraint(new FunctionCall( new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
FunctionCall func = ((TestCondition)con).getConstraint().getFunctionCall(); if(func.getFunction() instanceof OperatorFunction && ((OperatorFunction)func.getFunction()).getOperator().equals(IOperator.EQUAL))
TestCondition testcon = new TestCondition(new PredicateConstraint(new FunctionCall( new OperatorFunction(op), new Object[]{((VariableExpression)left).getVariable(), rightsource})));
IValueExtractor ex2 = buildFunctionExtractor(-1, pc.getFunctionCall(),-1, context); ret.add(new ConstraintEvaluator(IOperator.EQUAL, ex1, ex2));
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})));
IValueExtractor ex2 = buildFunctionExtractor(-1, pc.getFunctionCall(),-1, context); ret.add(new ConstraintEvaluator(IOperator.EQUAL, ex1, ex2));
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})));
f11con.addConstraint(new BoundConstraint(null, f1)); f11con.addConstraint(new BoundConstraint(fibo_has_sequence, f1seq)); f11con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f0seq, new FunctionCall(new Sub(), new Object[]{f1seq, Integer.valueOf(1)})}))); f11con.addConstraint(new LiteralConstraint(fibo_has_value, Long.valueOf(-1), IOperator.NOTEQUAL)); f22con.addConstraint(new BoundConstraint(fibo_has_sequence, f2seq)); f22con.addConstraint(new LiteralConstraint(fibo_has_value, Long.valueOf(-1))); f22con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f1seq, new FunctionCall(new Sub(), new Object[]{f2seq, Integer.valueOf(1)})})));
f11con.addConstraint(new BoundConstraint(null, f1)); f11con.addConstraint(new BoundConstraint(fibo_type.getAttributeType("sequence"), f1cnt)); f11con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f0cnt, new FunctionCall(new Sub(), new Object[]{f1cnt, Integer.valueOf(1)})}))); f11con.addConstraint(new LiteralConstraint(fibo_type.getAttributeType("value"), Long.valueOf(-1), IOperator.NOTEQUAL)); f22con.addConstraint(new BoundConstraint(fibo_type.getAttributeType("sequence"), f2cnt)); f22con.addConstraint(new LiteralConstraint(fibo_type.getAttributeType("value"), Long.valueOf(-1))); f22con.addConstraint(new PredicateConstraint(new FunctionCall(new OperatorFunction(IOperator.EQUAL), new Object[]{f1cnt, new FunctionCall(new Sub(), new Object[]{f2cnt, Integer.valueOf(1)})})));
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));