/** * Called by the {@link AForLoopStmIR} node from {@link AForLoopStmIR#apply(IAnalysis)}. * @param node the calling {@link AForLoopStmIR} node */ public void caseAForLoopStmIR(AForLoopStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AContinueStmIR} node from {@link AContinueStmIR#apply(IAnalysis)}. * @param node the calling {@link AContinueStmIR} node */ public void caseAContinueStmIR(AContinueStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ATryStmIR} node from {@link ATryStmIR#apply(IAnalysis)}. * @param node the calling {@link ATryStmIR} node */ public void caseATryStmIR(ATryStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ACyclesStmIR} node from {@link ACyclesStmIR#apply(IAnalysis)}. * @param node the calling {@link ACyclesStmIR} node */ public void caseACyclesStmIR(ACyclesStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ADurationStmIR} node from {@link ADurationStmIR#apply(IAnalysis)}. * @param node the calling {@link ADurationStmIR} node */ public void caseADurationStmIR(ADurationStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ABlockStmIR} node from {@link ABlockStmIR#apply(IAnalysis)}. * @param node the calling {@link ABlockStmIR} node */ public void caseABlockStmIR(ABlockStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ANonDeterministicBlockStmIR} node from {@link ANonDeterministicBlockStmIR#apply(IAnalysis)}. * @param node the calling {@link ANonDeterministicBlockStmIR} node */ public void caseANonDeterministicBlockStmIR(ANonDeterministicBlockStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link SCallStmIR} node from {@link SCallStmIR#apply(IAnalysis)}. * @param node the calling {@link SCallStmIR} node */ public void defaultSCallStmIR(SCallStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AForAllStmIR} node from {@link AForAllStmIR#apply(IAnalysis)}. * @param node the calling {@link AForAllStmIR} node */ public void caseAForAllStmIR(AForAllStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AIncrementStmIR} node from {@link AIncrementStmIR#apply(IAnalysis)}. * @param node the calling {@link AIncrementStmIR} node */ public void caseAIncrementStmIR(AIncrementStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AErrorStmIR} node from {@link AErrorStmIR#apply(IAnalysis)}. * @param node the calling {@link AErrorStmIR} node */ public void caseAErrorStmIR(AErrorStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AInvCheckStmIR} node from {@link AInvCheckStmIR#apply(IAnalysis)}. * @param node the calling {@link AInvCheckStmIR} node */ public void caseAInvCheckStmIR(AInvCheckStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ASeqCompAddStmIR} node from {@link ASeqCompAddStmIR#apply(IAnalysis)}. * @param node the calling {@link ASeqCompAddStmIR} node */ public void caseASeqCompAddStmIR(ASeqCompAddStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AWhileStmIR} node from {@link AWhileStmIR#apply(IAnalysis)}. * @param node the calling {@link AWhileStmIR} node */ public void caseAWhileStmIR(AWhileStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ALetBeStStmIR} node from {@link ALetBeStStmIR#apply(IAnalysis)}. * @param node the calling {@link ALetBeStStmIR} node */ public void caseALetBeStStmIR(ALetBeStStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link ACasesStmIR} node from {@link ACasesStmIR#apply(IAnalysis)}. * @param node the calling {@link ACasesStmIR} node */ public void caseACasesStmIR(ACasesStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link SAltStmStmIR} node from {@link SAltStmStmIR#apply(IAnalysis)}. * @param node the calling {@link SAltStmStmIR} node */ public void defaultSAltStmStmIR(SAltStmStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AExitStmIR} node from {@link AExitStmIR#apply(IAnalysis)}. * @param node the calling {@link AExitStmIR} node */ public void caseAExitStmIR(AExitStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AStartlistStmIR} node from {@link AStartlistStmIR#apply(IAnalysis)}. * @param node the calling {@link AStartlistStmIR} node */ public void caseAStartlistStmIR(AStartlistStmIR node) throws AnalysisException { defaultSStmIR(node); }
/** * Called by the {@link AMapSeqUpdateStmIR} node from {@link AMapSeqUpdateStmIR#apply(IAnalysis)}. * @param node the calling {@link AMapSeqUpdateStmIR} node */ public void caseAMapSeqUpdateStmIR(AMapSeqUpdateStmIR node) throws AnalysisException { defaultSStmIR(node); }