Java OCLFeatureCall.getOperand方法代碼示例

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    // TODO consider re-assignments of constraint variables
    String op = call.getOperation();
    ConstraintSyntaxTree operand = call.getOperand();
    
    if (OclKeyWords.IS_DEFINED.equals(op)) {
        nextVarIsMandatory = true;
        operand.accept(this);
        nextVarIsMandatory = false;
    } else if (!OclKeyWords.ASSIGNMENT.equals(op) && null != operand) {
        // Most assignments should not be considered
        operand.accept(this);
        for (int i = 0; i < call.getParameterCount(); i++) {
            call.getParameter(i).accept(this);
        }
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null != call.getOperand()) { // user defined function!
        call.getOperand().accept(this);
    }
    
    String op = call.getOperation();
    if (OclKeyWords.INDEX_ACCESS.equals(op) || OclKeyWords.AT.equals(op)) {
        // Index based access to elements of a container
        parents.addFirst(lastVariable);
        for (int i = 0; i < call.getParameterCount(); i++) {
            call.getParameter(i).accept(this);
        }
        parents.removeFirst();
    } else {
        for (int i = 0; i < call.getParameterCount(); i++) {
            call.getParameter(i).accept(this);
        }
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    boolean operationIsEquals = (call.getOperation().equals(OclKeyWords.EQUALS));
    boolean operationIsImplies = call.getOperation().equals(OclKeyWords.IMPLIES);

    if (operationIsEquals) {
        if ((call.getOperand() instanceof Variable) || (call.getOperand() instanceof CompoundAccess)) {
            // logger.info("This constraint needs to be there.");
            acceptConstraint = true;
        }
    } else if (operationIsImplies) {
        if (call.getParameter(0).getClass().equals(call.getClass())) {
            OCLFeatureCall temp = (OCLFeatureCall) call.getParameter(0);
            if (temp.getOperation().equals(OclKeyWords.EQUALS)) {
                // logger.info("this should also be included.");
                acceptConstraint = true;
            }
        } else if (call.getParameter(0) instanceof Parenthesis) {
            OCLFeatureCall temp2 = new OCLFeatureCall(call.getOperand(), OclKeyWords.IMPLIES,
                    ((Parenthesis) call.getParameter(0)).getExpr());
            temp2.accept(this);
        }
    }

}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
/**
 * Process modification rules, where operand is a compound access.
 * @param call OCL Call.
 * @param constraintRule A string representation of Drools "not" of this this call.
 */
private void processModificationForCompoundAccess(OCLFeatureCall call, 
        String constraintRule) {
    compoundAccessSlot = "";
    call.getOperand().accept(this);
    assgnConstraintsCalls(call);
    
    compoundAccessSlot = "";
    CompoundAccess cac = (CompoundAccess) call.getOperand();
    boolean isContainer = cac.getResolvedSlot().getType().getTypeClass().equals(Sequence.class)
            || cac.getResolvedSlot().getType().getTypeClass().equals(Set.class);
    if (!(isContainer && (call.getParameter(0) instanceof ConstantValue))) {
        logger.info("");
        //TODO: NOT SURE, TO BE IMPLEMENTED
    }
    hardConstraints.add(constraintRule);
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
/**
     * Process modification rules, where operand is a variable.
     * @param call OCL Call.
     * @param constraintRule A string representation of Drools "not" of this this call.
     */
    private void processModificationForVariable(OCLFeatureCall call, 
            String constraintRule) {
        Variable var = (Variable) call.getOperand();
        String name = ((Variable) call.getOperand()).getVariable().getName();
        assgnConstraintsCalls(call);
        addAssinmentConstraintsToMap(constraintRule, name);
        configuredByDefaultList.add(name);
        
        boolean varIsContainer = var.getVariable().getType().getTypeClass().equals(Sequence.class)
                || var.getVariable().getType().getTypeClass().equals(Set.class);
//                        boolean varIsCompound = var.getVariable().getType().getTypeClass().equals(Compound.class);
        if (!varIsContainer ) {
            logger.info("");
        }
    }
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null != call.getOperand()) {    
        // user def function returns operand null!
        if ((call.getOperand() instanceof Variable
            || call.getOperand() instanceof CompoundAccess)
            && call.getParameterCount() == 1
            && call.getOperation().equals(OclKeyWords.ASSIGNMENT)) {
            if (call.getParameter(0) instanceof ConstantValue
                || call.getParameter(0) instanceof ContainerInitializer
                || call.getParameter(0) instanceof CompoundInitializer) {
                isSimpleAssignment = true; 
            }
        } 
        call.getOperand().accept(this);
        for (int i = 0; i < call.getParameterCount(); i++) {
            call.getParameter(i).accept(this);
        }
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
/**
 * Type of call the constraint in the compound represents, modification or hard.
 * @param call OCL Call.
 * @return Returns the type of the call. 0 if modification, else 1.
 */
private int getCompoundConstraintType(OCLFeatureCall call) {
    
    boolean operationIsEquals = (call.getOperation().equals(OclKeyWords.EQUALS)); 
    boolean operationIsAssignment = (call.getOperation().equals(OclKeyWords.ASSIGNMENT));
    boolean isModification = operationIsEquals || operationIsAssignment;
    
    int operationTyp = 1;
    
    if (isModification) {
        if (call.getOperand() instanceof Variable) {
            operationTyp = 0;
        } else if (call.getOperand() instanceof CompoundAccess) {
            operationTyp = 0;
        } else {
            operationTyp = 1;
        }
    } else {
        
        if (call.getOperation().equals(OclKeyWords.IMPLIES)) {
            boolean theRHSisOCL = call.getParameter(0) instanceof OCLFeatureCall;
            if (theRHSisOCL) {
                OCLFeatureCall call2 = (OCLFeatureCall) call.getParameter(0);
                if (call2.getOperation().equals(OclKeyWords.EQUALS) && call2.getParameterCount() == 1) {
                    if (call2.getOperand() instanceof Variable || call2.getOperand() instanceof CompoundAccess) {
                        operationTyp = 2;
                    }
                }
            }
        } else {
            operationTyp = 1;
        }
    }
    
    return operationTyp;
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
/**
 * Test whether the given <code>DecsionVariableDeclaration</code> (instance of a <code>DerivedDatatype</code>
 * is embedded into the last created internal constraint. For this test, the <code>DerivedDatatype</code>
 * must have only one <code>OCLFeatureCall</code> constraint with itself as operand.
 * 
 * @param constraint The origin constraint of the <code>DerivedDatatype</code>.
 * This test checks also whether the newly created constraint has the same structure.
 * @param derivedTypeInstance The instance of a <code>DerivedDatatype</code>,
 * which should occur inside the internal constraint.
 */
private void testInternalConstraint(OCLFeatureCall constraint, DecisionVariableDeclaration derivedTypeInstance) {
    Constraint internalConstraint = project.getInternalConstraint(countInternalConstraints - 1);
    OCLFeatureCall testCST = (OCLFeatureCall) internalConstraint.getConsSyntax();
    
    //Test correct behavior of the internal cosntraint
    Assert.assertNotNull(testCST);
    Variable variable = (Variable) testCST.getOperand();
    Assert.assertEquals(derivedTypeInstance, variable.getVariable());
    Assert.assertEquals(constraint.getOperation(), testCST.getOperation());
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null == call.getResolvedOperation()) {
        addError("Operation of OclFeatureCall could not be resolved.", call,
            ValidationMessage.UNRESOLVED_OPERATION);
    }
    if (null != call.getOperand()) {
        call.getOperand().accept(this);
    } // then call.getAccessor() shall be given!
    for (int i = 0, n = call.getParameterCount(); i < n; i++) {
        call.getParameter(i).accept(this);
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (evaluateOclFeatureCall(call)) {
        opNesting++;
        EvaluationAccessor operand;
        Operation op = call.getResolvedOperation();
        if (null != call.getOperand()) {               
            boolean oldState = setAllowPropagation(op, false);
            call.getOperand().accept(this);
            operand = result;
            result = null; // clear result - kept in operand and released below
            setAllowPropagation(op, oldState); 
        } else {
            operand = null; // custom operation
        }
        EvaluationAccessor[] args = new EvaluationAccessor[op.getParameterCount()];
        boolean allOk = evaluateArguments(call, op, operand, args);
        if (allOk) {
            if (op instanceof CustomOperation) {
                evaluateCustomOperation((CustomOperation) op, operand, args);
            } else {
                IOperationEvaluator evaluator = getOperationEvaluator(op);
                if (null == evaluator) {
                    notImplementedError(null != op ? op.getName() : call.getOperation());
                } else if (null != operand) {
                    result = evaluator.evaluate(operand, args);
                }
            }
            if (null == operand && null != result) { // special isDefined situation
                result.validateContext(context);
            }
        }
        if (null != operand) {
            operand.release();
        }
        release(args);
        opNesting--;
        recordIfFailed(call);
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null != call.getOperand()) {
        call.getOperand().accept(this);
    }
    for (int p = 0, n = call.getParameterCount(); p < n; p++) {
        call.getParameter(p).accept(this);
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
/**
 * A private method to process OCL calls that are assignment constraints.
 * @param call OCL Call.
 */
private void assgnConstraintsCalls(OCLFeatureCall call) {
    boolean toAdd = true; 
    if (call.getOperand() instanceof Variable) {
        Variable var = (Variable) call.getOperand();
        String varName = var.getVariable().getName();
        if (!DroolsVariablesPreProcessor.getVariablesUsed().contains(varName)
                && optimize
                && !var.getVariable().getType().isAssignableFrom(Compound.TYPE)) {
            toAdd = false;
        }
    }
    
    if (toAdd) {
        droolsAssgnVis = new DroolsAssignmentsVisitor();
        DroolsAssignmentsVisitor.setRuleCount(ruleCount);
        droolsAssgnVis.visitOclFeatureCall(call);
        if (droolsAssgnVis.isRuleNotSupported()) {
            logger.info("rule not supported is " + ruleCount);
            listofUnsupportedRules.add(ruleCount);
        }
        String rule = droolsAssgnVis.getRule();
        assgnConstraints.add(rule);
    }
    
    
    
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null != call.getOperand()) { // user defined function!
        call.getOperand().accept(this);
    }
    for (int i = 0; i < call.getParameterCount(); i++) {
        call.getParameter(i).accept(this);
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    if (null != call.getOperand()) {
        call.getOperand().accept(this);
    }
    for (int p = 0; p < call.getParameterCount(); p++) {
        call.getParameter(p).accept(this);
    }
}
 

import net.ssehub.easy.varModel.cst.OCLFeatureCall; //導入方法依賴的package包/類
@Override
public void visitOclFeatureCall(OCLFeatureCall call) {
    isAssignment = CSTUtils.isAssignment(call);
    if (continueTraversal()) {
        level++;
        if (null != call.getOperand()) { // incomplete xText
            call.getOperand().accept(this);
            for (int p = 0; !isAssignment && p < call.getParameterCount(); p++) {
                call.getParameter(p).accept(this);
            }
        }
        level--;
    }
}