/** * Called by the {@link AIntIsExpIR} node from {@link AIntIsExpIR#apply(IAnalysis)}. * @param node the calling {@link AIntIsExpIR} node */ public void caseAIntIsExpIR(AIntIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ARealIsExpIR} node from {@link ARealIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ARealIsExpIR} node */ public void caseARealIsExpIR(ARealIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ANatIsExpIR} node from {@link ANatIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ANatIsExpIR} node */ public void caseANatIsExpIR(ANatIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ANat1IsExpIR} node from {@link ANat1IsExpIR#apply(IAnalysis)}. * @param node the calling {@link ANat1IsExpIR} node */ public void caseANat1IsExpIR(ANat1IsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ARatIsExpIR} node from {@link ARatIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ARatIsExpIR} node */ public void caseARatIsExpIR(ARatIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ACharIsExpIR} node from {@link ACharIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ACharIsExpIR} node */ public void caseACharIsExpIR(ACharIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ATokenIsExpIR} node from {@link ATokenIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ATokenIsExpIR} node */ public void caseATokenIsExpIR(ATokenIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ABoolIsExpIR} node from {@link ABoolIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ABoolIsExpIR} node */ public void caseABoolIsExpIR(ABoolIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link ATupleIsExpIR} node from {@link ATupleIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ATupleIsExpIR} node */ public void caseATupleIsExpIR(ATupleIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }
/** * Called by the {@link AGeneralIsExpIR} node from {@link AGeneralIsExpIR#apply(IAnalysis)}. * @param node the calling {@link AGeneralIsExpIR} node */ public void caseAGeneralIsExpIR(AGeneralIsExpIR node, Q question) throws AnalysisException { defaultSIsExpIR(node, question); }