/** * Called by the {@link SBinaryExpIR} node from {@link SBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SBinaryExpIR} node */ public A defaultSBinaryExpIR(SBinaryExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ATupleSizeExpIR} node from {@link ATupleSizeExpIR#apply(IAnalysis)}. * @param node the calling {@link ATupleSizeExpIR} node */ public A caseATupleSizeExpIR(ATupleSizeExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link SSetExpIR} node from {@link SSetExpIR#apply(IAnalysis)}. * @param node the calling {@link SSetExpIR} node */ public A defaultSSetExpIR(SSetExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AMkBasicExpIR} node from {@link AMkBasicExpIR#apply(IAnalysis)}. * @param node the calling {@link AMkBasicExpIR} node */ public A caseAMkBasicExpIR(AMkBasicExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ACasesExpIR} node from {@link ACasesExpIR#apply(IAnalysis)}. * @param node the calling {@link ACasesExpIR} node */ public A caseACasesExpIR(ACasesExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ASubSeqExpIR} node from {@link ASubSeqExpIR#apply(IAnalysis)}. * @param node the calling {@link ASubSeqExpIR} node */ public A caseASubSeqExpIR(ASubSeqExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AMapSeqGetExpIR} node from {@link AMapSeqGetExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapSeqGetExpIR} node */ public A caseAMapSeqGetExpIR(AMapSeqGetExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link SQuantifierExpIR} node from {@link SQuantifierExpIR#apply(IAnalysis)}. * @param node the calling {@link SQuantifierExpIR} node */ public A defaultSQuantifierExpIR(SQuantifierExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ADeRefExpIR} node from {@link ADeRefExpIR#apply(IAnalysis)}. * @param node the calling {@link ADeRefExpIR} node */ public A caseADeRefExpIR(ADeRefExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AAnonymousClassExpIR} node from {@link AAnonymousClassExpIR#apply(IAnalysis)}. * @param node the calling {@link AAnonymousClassExpIR} node */ public A caseAAnonymousClassExpIR(AAnonymousClassExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AThreadIdExpIR} node from {@link AThreadIdExpIR#apply(IAnalysis)}. * @param node the calling {@link AThreadIdExpIR} node */ public A caseAThreadIdExpIR(AThreadIdExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ATimeExpIR} node from {@link ATimeExpIR#apply(IAnalysis)}. * @param node the calling {@link ATimeExpIR} node */ public A caseATimeExpIR(ATimeExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AAssignExpExpIR} node from {@link AAssignExpExpIR#apply(IAnalysis)}. * @param node the calling {@link AAssignExpExpIR} node */ public A caseAAssignExpExpIR(AAssignExpExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ASameClassExpIR} node from {@link ASameClassExpIR#apply(IAnalysis)}. * @param node the calling {@link ASameClassExpIR} node */ public A caseASameClassExpIR(ASameClassExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link AFieldExpIR} node from {@link AFieldExpIR#apply(IAnalysis)}. * @param node the calling {@link AFieldExpIR} node */ public A caseAFieldExpIR(AFieldExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ASelfExpIR} node from {@link ASelfExpIR#apply(IAnalysis)}. * @param node the calling {@link ASelfExpIR} node */ public A caseASelfExpIR(ASelfExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ANullExpIR} node from {@link ANullExpIR#apply(IAnalysis)}. * @param node the calling {@link ANullExpIR} node */ public A caseANullExpIR(ANullExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ALetBeStExpIR} node from {@link ALetBeStExpIR#apply(IAnalysis)}. * @param node the calling {@link ALetBeStExpIR} node */ public A caseALetBeStExpIR(ALetBeStExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link APostDecExpIR} node from {@link APostDecExpIR#apply(IAnalysis)}. * @param node the calling {@link APostDecExpIR} node */ public A caseAPostDecExpIR(APostDecExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }
/** * Called by the {@link ANotImplementedExpIR} node from {@link ANotImplementedExpIR#apply(IAnalysis)}. * @param node the calling {@link ANotImplementedExpIR} node */ public A caseANotImplementedExpIR(ANotImplementedExpIR node, Q question) throws AnalysisException { return defaultSExpIR(node, question); }