@Override public SOperationDefinitionBase caseACallStm(ACallStm node) throws AnalysisException { return node.getRootdef().apply(this); }
if(node.getRootdef() != null && !_visitedNodes.contains(node.getRootdef())) node.getRootdef().apply(this, question);
if(node.getRootdef() != null && !_visitedNodes.contains(node.getRootdef())) node.getRootdef().apply(this);
if(node.getRootdef() != null && !_visitedNodes.contains(node.getRootdef())) node.getRootdef().apply(this);
if(node.getRootdef() != null && !_visitedNodes.contains(node.getRootdef())) mergeReturns(retVal,node.getRootdef().apply(this));
if(node.getRootdef() != null && !_visitedNodes.contains(node.getRootdef())) mergeReturns(retVal,node.getRootdef().apply(this, question));
PDefinition def = callStm.getRootdef();
private String getInitName(APlainCallStmIR node) { if (node.getSourceNode() != null && node.getSourceNode().getVdmNode() != null) { INode vdmNode = node.getSourceNode().getVdmNode(); if (vdmNode instanceof ACallStm) { ACallStm c = (ACallStm) vdmNode; PDefinition rootDef = c.getRootdef(); while (rootDef instanceof AInheritedDefinition) { rootDef = ((AInheritedDefinition) rootDef).getSuperdef(); } if (rootDef instanceof AExplicitOperationDefinition) { AExplicitOperationDefinition op = (AExplicitOperationDefinition) rootDef; if (op.getIsConstructor()) { return getObjectInitializerCall(op); } } } } return null; }
if (callStm.getRootdef() instanceof SOperationDefinition) SOperationDefinition op = (SOperationDefinition) callStm.getRootdef(); } else if (callStm.getRootdef() instanceof SFunctionDefinition) SFunctionDefinition func = (SFunctionDefinition) callStm.getRootdef();
throws AnalysisException PDefinition rootdef = node.getRootdef(); LinkedList<PExp> args = node.getArgs();
PDefinition def = cs.getRootdef();