@Override public PType caseAApplyExpressionTraceCoreDefinition( AApplyExpressionTraceCoreDefinition node, TypeCheckInfo question) throws AnalysisException { return node.getCallStatement().apply(THIS, question); }
/** * Called by the {@link AApplyExpressionTraceCoreDefinition} node from {@link AApplyExpressionTraceCoreDefinition#apply(IAnalysis)}. * @param node the calling {@link AApplyExpressionTraceCoreDefinition} node */ public void caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition node) throws AnalysisException { _visitedNodes.add(node); inAApplyExpressionTraceCoreDefinition(node); if(node.getCallStatement() != null && !_visitedNodes.contains(node.getCallStatement())) { node.getCallStatement().apply(this); } outAApplyExpressionTraceCoreDefinition(node); }
/** * Called by the {@link AApplyExpressionTraceCoreDefinition} node from {@link AApplyExpressionTraceCoreDefinition#apply(IAnalysis)}. * @param node the calling {@link AApplyExpressionTraceCoreDefinition} node */ public void caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition node, Q question) throws AnalysisException { _visitedNodes.add(node); inAApplyExpressionTraceCoreDefinition(node, question); if(node.getCallStatement() != null && !_visitedNodes.contains(node.getCallStatement())) { node.getCallStatement().apply(this, question); } outAApplyExpressionTraceCoreDefinition(node, question); }
/** * Called by the {@link AApplyExpressionTraceCoreDefinition} node from {@link AApplyExpressionTraceCoreDefinition#apply(IPOFAnalysis)}. * @param node the calling {@link AApplyExpressionTraceCoreDefinition} node */ public void caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition node) throws AnalysisException { _visitedNodes.add(node); inAApplyExpressionTraceCoreDefinition(node); if(node.getCallStatement() != null && !_visitedNodes.contains(node.getCallStatement())) { node.getCallStatement().apply(this); } outAApplyExpressionTraceCoreDefinition(node); }
/** * Called by the {@link AApplyExpressionTraceCoreDefinition} node from {@link AApplyExpressionTraceCoreDefinition#apply(IAnalysis)}. * @param node the calling {@link AApplyExpressionTraceCoreDefinition} node */ public A caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAApplyExpressionTraceCoreDefinition(node, question)); if(node.getCallStatement() != null && !_visitedNodes.contains(node.getCallStatement())) { mergeReturns(retVal,node.getCallStatement().apply(this, question)); } mergeReturns(retVal,outAApplyExpressionTraceCoreDefinition(node, question)); return retVal; }
/** * Called by the {@link AApplyExpressionTraceCoreDefinition} node from {@link AApplyExpressionTraceCoreDefinition#apply(IAnalysis)}. * @param node the calling {@link AApplyExpressionTraceCoreDefinition} node */ public A caseAApplyExpressionTraceCoreDefinition(AApplyExpressionTraceCoreDefinition node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAApplyExpressionTraceCoreDefinition(node)); if(node.getCallStatement() != null && !_visitedNodes.contains(node.getCallStatement())) { mergeReturns(retVal,node.getCallStatement().apply(this)); } mergeReturns(retVal,outAApplyExpressionTraceCoreDefinition(node)); return retVal; }
@Override public STraceCoreDeclIR caseAApplyExpressionTraceCoreDefinition( AApplyExpressionTraceCoreDefinition node, IRInfo question) throws AnalysisException { PStm callStm = node.getCallStatement(); SStmIR callStmCg = callStm.apply(question.getStmVisitor(), question); AApplyExpTraceCoreDeclIR applyTraceCoreDecl = new AApplyExpTraceCoreDeclIR(); applyTraceCoreDecl.setCallStm(callStmCg); return applyTraceCoreDecl; }
List<PExp> args = null; if (core.getCallStatement() instanceof ACallStm) ACallStm stmt = (ACallStm) core.getCallStatement(); args = stmt.getArgs(); } else ACallObjectStm stmt = (ACallObjectStm) core.getCallStatement(); args = stmt.getArgs(); if (core.getCallStatement() instanceof ACallStm) ACallStm stmt = (ACallStm) core.getCallStatement(); newStatement = AstFactory.newACallStm(stmt.getName().clone(), newargs); } else ACallObjectStm stmt = (ACallObjectStm) core.getCallStatement(); ACallObjectStm newCallStatement;