@Override public LexNameSet caseAFuncInstatiationExp(AFuncInstatiationExp node, FreeVarInfo info) throws AnalysisException { return node.getFunction().apply(this, info); }
@Override public ValueList caseAFuncInstatiationExp(AFuncInstatiationExp exp, ObjectContext ctxt) throws AnalysisException { return exp.getFunction().apply(THIS, ctxt); }
@Override public IProofObligationList caseAFuncInstatiationExp( AFuncInstatiationExp node, IPOContextStack question) throws AnalysisException { return node.getFunction().apply(mainVisitor, question); }
@Override public ILexNameToken caseAFuncInstatiationExp( AFuncInstatiationExp expression) throws AnalysisException { AFuncInstatiationExp func = AFuncInstatiationExp.class.cast(expression); return func.getFunction().apply(this); // getPreName(func.getFunction()); }
@Override public PExp caseAFuncInstatiationExp(AFuncInstatiationExp exp, Integer lineno) throws AnalysisException { PExp found = findExpressionBaseCase(exp, lineno); if (found != null) { return found; } return exp.getFunction().apply(THIS, lineno);// PExpAssistantInterpreter.findExpression(exp.getFunction(), // lineno); }
public LexNameList caseAFuncInstatiationExp(AFuncInstatiationExp expression) throws org.overture.ast.analysis.AnalysisException { return af.createPExpAssistant().getOldNames(expression.getFunction()); }
if(node.getFunction() != null && !_visitedNodes.contains(node.getFunction())) node.getFunction().apply(this);
if(node.getFunction() != null && !_visitedNodes.contains(node.getFunction())) node.getFunction().apply(this);
if(node.getFunction() != null && !_visitedNodes.contains(node.getFunction())) node.getFunction().apply(this, question);
if(node.getFunction() != null && !_visitedNodes.contains(node.getFunction())) mergeReturns(retVal,node.getFunction().apply(this));
if(node.getFunction() != null && !_visitedNodes.contains(node.getFunction())) mergeReturns(retVal,node.getFunction().apply(this, question));
@Override public SExpIR caseAFuncInstatiationExp(AFuncInstatiationExp node, IRInfo question) throws AnalysisException { PType type = node.getType(); PExp func = node.getFunction(); STypeIR typeCg = type.apply(question.getTypeVisitor(), question); SExpIR funcCg = func.apply(question.getExpVisitor(), question); AMethodInstantiationExpIR methodInst = new AMethodInstantiationExpIR(); LinkedList<PType> actualTypes = node.getActualTypes(); for (PType actualType : actualTypes) { STypeIR actualTypeCg = actualType.apply(question.getTypeVisitor(), question); if (actualTypeCg != null) { methodInst.getActualTypes().add(actualTypeCg); } else { return null; } } methodInst.setFunc(funcCg); methodInst.setType(typeCg); return methodInst; }
FunctionValue fv = node.getFunction().apply(VdmRuntime.getExpressionEvaluator(), ctxt).functionValue(ctxt);
PType ftype = node.getFunction().apply(THIS, question.newConstraint(null));