/** * Called by the {@link ALetBeStBindingTraceDefinition} node from {@link ALetBeStBindingTraceDefinition#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDefinition} node */ public void caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition node) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDefinition(node); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getStexp() != null && !_visitedNodes.contains(node.getStexp())) { node.getStexp().apply(this); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStBindingTraceDefinition(node); }
/** * Called by the {@link ALetBeStBindingTraceDefinition} node from {@link ALetBeStBindingTraceDefinition#apply(IPOFAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDefinition} node */ public void caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition node) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDefinition(node); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getStexp() != null && !_visitedNodes.contains(node.getStexp())) { node.getStexp().apply(this); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStBindingTraceDefinition(node); }
/** * Called by the {@link ALetBeStBindingTraceDefinition} node from {@link ALetBeStBindingTraceDefinition#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDefinition} node */ public void caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition node, Q question) throws AnalysisException { _visitedNodes.add(node); inALetBeStBindingTraceDefinition(node, question); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this, question); } if(node.getStexp() != null && !_visitedNodes.contains(node.getStexp())) { node.getStexp().apply(this, question); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { node.getBody().apply(this, question); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } outALetBeStBindingTraceDefinition(node, question); }
/** * Called by the {@link ALetBeStExp} node from {@link ALetBeStExp#apply(IAnalysis)}. * @param node the calling {@link ALetBeStExp} node */ public void caseALetBeStExp(ALetBeStExp node, Q question) throws AnalysisException { _visitedNodes.add(node); inALetBeStExp(node, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this, question); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this, question); } if(node.getValue() != null && !_visitedNodes.contains(node.getValue())) { node.getValue().apply(this, question); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } outALetBeStExp(node, question); }
/** * Called by the {@link ALetBeStStm} node from {@link ALetBeStStm#apply(IAnalysis)}. * @param node the calling {@link ALetBeStStm} node */ public void caseALetBeStStm(ALetBeStStm node, Q question) throws AnalysisException { _visitedNodes.add(node); inALetBeStStm(node, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this, question); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this, question); } if(node.getStatement() != null && !_visitedNodes.contains(node.getStatement())) { node.getStatement().apply(this, question); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } outALetBeStStm(node, question); }
/** * Called by the {@link ALetBeStStm} node from {@link ALetBeStStm#apply(IPOFAnalysis)}. * @param node the calling {@link ALetBeStStm} node */ public void caseALetBeStStm(ALetBeStStm node) throws AnalysisException { _visitedNodes.add(node); inALetBeStStm(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this); } if(node.getStatement() != null && !_visitedNodes.contains(node.getStatement())) { node.getStatement().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStStm(node); }
/** * Called by the {@link ALetBeStExp} node from {@link ALetBeStExp#apply(IAnalysis)}. * @param node the calling {@link ALetBeStExp} node */ public void caseALetBeStExp(ALetBeStExp node) throws AnalysisException { _visitedNodes.add(node); inALetBeStExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this); } if(node.getValue() != null && !_visitedNodes.contains(node.getValue())) { node.getValue().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStExp(node); }
/** * Called by the {@link ALetBeStStm} node from {@link ALetBeStStm#apply(IAnalysis)}. * @param node the calling {@link ALetBeStStm} node */ public void caseALetBeStStm(ALetBeStStm node) throws AnalysisException { _visitedNodes.add(node); inALetBeStStm(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this); } if(node.getStatement() != null && !_visitedNodes.contains(node.getStatement())) { node.getStatement().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStStm(node); }
/** * Called by the {@link ALetBeStExp} node from {@link ALetBeStExp#apply(IPOFAnalysis)}. * @param node the calling {@link ALetBeStExp} node */ public void caseALetBeStExp(ALetBeStExp node) throws AnalysisException { _visitedNodes.add(node); inALetBeStExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { node.getBind().apply(this); } if(node.getSuchThat() != null && !_visitedNodes.contains(node.getSuchThat())) { node.getSuchThat().apply(this); } if(node.getValue() != null && !_visitedNodes.contains(node.getValue())) { node.getValue().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outALetBeStExp(node); }
/** * Called by the {@link ALetBeStBindingTraceDefinition} node from {@link ALetBeStBindingTraceDefinition#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDefinition} node */ public A caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inALetBeStBindingTraceDefinition(node)); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { mergeReturns(retVal,node.getBind().apply(this)); } if(node.getStexp() != null && !_visitedNodes.contains(node.getStexp())) { mergeReturns(retVal,node.getStexp().apply(this)); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { mergeReturns(retVal,node.getBody().apply(this)); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { mergeReturns(retVal,node.getDef().apply(this)); } mergeReturns(retVal,outALetBeStBindingTraceDefinition(node)); return retVal; }
/** * Called by the {@link ALetBeStBindingTraceDefinition} node from {@link ALetBeStBindingTraceDefinition#apply(IAnalysis)}. * @param node the calling {@link ALetBeStBindingTraceDefinition} node */ public A caseALetBeStBindingTraceDefinition(ALetBeStBindingTraceDefinition node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inALetBeStBindingTraceDefinition(node, question)); if(node.getBind() != null && !_visitedNodes.contains(node.getBind())) { mergeReturns(retVal,node.getBind().apply(this, question)); } if(node.getStexp() != null && !_visitedNodes.contains(node.getStexp())) { mergeReturns(retVal,node.getStexp().apply(this, question)); } if(node.getBody() != null && !_visitedNodes.contains(node.getBody())) { mergeReturns(retVal,node.getBody().apply(this, question)); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { mergeReturns(retVal,node.getDef().apply(this, question)); } mergeReturns(retVal,outALetBeStBindingTraceDefinition(node, question)); return retVal; }
mergeReturns(retVal,node.getDef().apply(this, question));
mergeReturns(retVal,node.getDef().apply(this, question));
mergeReturns(retVal,node.getDef().apply(this));
mergeReturns(retVal,node.getDef().apply(this));
@Override public void caseALetBeStExp(ALetBeStExp node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getSuchThat() != null) { node.getSuchThat().apply(this); } node.getValue().apply(this); endScope(defInfo); }
@Override public void caseALetBeStStm(ALetBeStStm node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getSuchThat() != null) { node.getSuchThat().apply(this); } node.getStatement().apply(this); endScope(defInfo); }
@Override public void caseALetBeStBindingTraceDefinition( ALetBeStBindingTraceDefinition node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getStexp() != null) { node.getStexp().apply(this); } node.getBody().apply(this); endScope(defInfo); }