/** * Called by the {@link AExternalClause} node from {@link AExternalClause#apply(IAnalysis)}. * @param node the calling {@link AExternalClause} node */ public void caseAExternalClause(AExternalClause node, Q question) throws AnalysisException { _visitedNodes.add(node); inAExternalClause(node, question); if(node.getMode() != null ) { node.getMode().apply(this, question); } { List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getIdentifiers()); for( ILexNameToken e : copy) { e.apply(this, question); } } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } outAExternalClause(node, question); }
/** * Called by the {@link AHistoryExp} node from {@link AHistoryExp#apply(IAnalysis)}. * @param node the calling {@link AHistoryExp} node */ public void caseAHistoryExp(AHistoryExp node) throws AnalysisException { _visitedNodes.add(node); inAHistoryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getHop() != null ) { node.getHop().apply(this); } { List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOpnames()); for( ILexNameToken e : copy) { e.apply(this); } } outAHistoryExp(node); }
/** * Called by the {@link ACompBinaryExp} node from {@link ACompBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ACompBinaryExp} node */ public void caseACompBinaryExp(ACompBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inACompBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outACompBinaryExp(node); }
/** * Called by the {@link AMapUnionBinaryExp} node from {@link AMapUnionBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AMapUnionBinaryExp} node */ public void caseAMapUnionBinaryExp(AMapUnionBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inAMapUnionBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outAMapUnionBinaryExp(node); }
/** * Called by the {@link ASubsetBinaryExp} node from {@link ASubsetBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ASubsetBinaryExp} node */ public void caseASubsetBinaryExp(ASubsetBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inASubsetBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outASubsetBinaryExp(node); }
/** * Called by the {@link AAndBooleanBinaryExp} node from {@link AAndBooleanBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AAndBooleanBinaryExp} node */ public void caseAAndBooleanBinaryExp(AAndBooleanBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inAAndBooleanBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outAAndBooleanBinaryExp(node); }
/** * Called by the {@link AGreaterEqualNumericBinaryExp} node from {@link AGreaterEqualNumericBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AGreaterEqualNumericBinaryExp} node */ public void caseAGreaterEqualNumericBinaryExp(AGreaterEqualNumericBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inAGreaterEqualNumericBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outAGreaterEqualNumericBinaryExp(node); }
/** * Called by the {@link ALessNumericBinaryExp} node from {@link ALessNumericBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ALessNumericBinaryExp} node */ public void caseALessNumericBinaryExp(ALessNumericBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inALessNumericBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outALessNumericBinaryExp(node); }
/** * Called by the {@link ACompBinaryExp} node from {@link ACompBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ACompBinaryExp} node */ public void caseACompBinaryExp(ACompBinaryExp node, Q question) throws AnalysisException { _visitedNodes.add(node); inACompBinaryExp(node, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this, question); } if(node.getOp() != null ) { node.getOp().apply(this, question); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this, question); } outACompBinaryExp(node, question); }
/** * Called by the {@link AOrBooleanBinaryExp} node from {@link AOrBooleanBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AOrBooleanBinaryExp} node */ public void caseAOrBooleanBinaryExp(AOrBooleanBinaryExp node, Q question) throws AnalysisException { _visitedNodes.add(node); inAOrBooleanBinaryExp(node, question); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this, question); } if(node.getOp() != null ) { node.getOp().apply(this, question); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this, question); } outAOrBooleanBinaryExp(node, question); }
/** * Called by the {@link ADomainResToBinaryExp} node from {@link ADomainResToBinaryExp#apply(IPOFAnalysis)}. * @param node the calling {@link ADomainResToBinaryExp} node */ public void caseADomainResToBinaryExp(ADomainResToBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inADomainResToBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outADomainResToBinaryExp(node); }
/** * Called by the {@link AEqualsBinaryExp} node from {@link AEqualsBinaryExp#apply(IPOFAnalysis)}. * @param node the calling {@link AEqualsBinaryExp} node */ public void caseAEqualsBinaryExp(AEqualsBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inAEqualsBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outAEqualsBinaryExp(node); }
/** * Called by the {@link AGreaterEqualNumericBinaryExp} node from {@link AGreaterEqualNumericBinaryExp#apply(IPOFAnalysis)}. * @param node the calling {@link AGreaterEqualNumericBinaryExp} node */ public void caseAGreaterEqualNumericBinaryExp(AGreaterEqualNumericBinaryExp node) throws AnalysisException { _visitedNodes.add(node); inAGreaterEqualNumericBinaryExp(node); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { node.getLeft().apply(this); } if(node.getOp() != null ) { node.getOp().apply(this); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { node.getRight().apply(this); } outAGreaterEqualNumericBinaryExp(node); }
/** * Called by the {@link AProperSubsetBinaryExp} node from {@link AProperSubsetBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AProperSubsetBinaryExp} node */ public A caseAProperSubsetBinaryExp(AProperSubsetBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAProperSubsetBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outAProperSubsetBinaryExp(node)); return retVal; }
/** * Called by the {@link ARangeResToBinaryExp} node from {@link ARangeResToBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ARangeResToBinaryExp} node */ public A caseARangeResToBinaryExp(ARangeResToBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inARangeResToBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outARangeResToBinaryExp(node)); return retVal; }
/** * Called by the {@link ASubsetBinaryExp} node from {@link ASubsetBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ASubsetBinaryExp} node */ public A caseASubsetBinaryExp(ASubsetBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inASubsetBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outASubsetBinaryExp(node)); return retVal; }
/** * Called by the {@link AEquivalentBooleanBinaryExp} node from {@link AEquivalentBooleanBinaryExp#apply(IAnalysis)}. * @param node the calling {@link AEquivalentBooleanBinaryExp} node */ public A caseAEquivalentBooleanBinaryExp(AEquivalentBooleanBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAEquivalentBooleanBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outAEquivalentBooleanBinaryExp(node)); return retVal; }
/** * Called by the {@link ALessEqualNumericBinaryExp} node from {@link ALessEqualNumericBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ALessEqualNumericBinaryExp} node */ public A caseALessEqualNumericBinaryExp(ALessEqualNumericBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inALessEqualNumericBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outALessEqualNumericBinaryExp(node)); return retVal; }
/** * Called by the {@link ARemNumericBinaryExp} node from {@link ARemNumericBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ARemNumericBinaryExp} node */ public A caseARemNumericBinaryExp(ARemNumericBinaryExp node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inARemNumericBinaryExp(node)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this)); } mergeReturns(retVal,outARemNumericBinaryExp(node)); return retVal; }
/** * Called by the {@link ASetDifferenceBinaryExp} node from {@link ASetDifferenceBinaryExp#apply(IAnalysis)}. * @param node the calling {@link ASetDifferenceBinaryExp} node */ public A caseASetDifferenceBinaryExp(ASetDifferenceBinaryExp node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inASetDifferenceBinaryExp(node, question)); if(node.getType() != null && !_visitedNodes.contains(node.getType())) { mergeReturns(retVal,node.getType().apply(this, question)); } if(node.getLeft() != null && !_visitedNodes.contains(node.getLeft())) { mergeReturns(retVal,node.getLeft().apply(this, question)); } if(node.getOp() != null ) { mergeReturns(retVal,node.getOp().apply(this, question)); } if(node.getRight() != null && !_visitedNodes.contains(node.getRight())) { mergeReturns(retVal,node.getRight().apply(this, question)); } mergeReturns(retVal,outASetDifferenceBinaryExp(node, question)); return retVal; }