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