/** * Called by the {@link ATokenIsExpIR} node from {@link ATokenIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ATokenIsExpIR} node */ public void inATokenIsExpIR(ATokenIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link AGeneralIsExpIR} node from {@link AGeneralIsExpIR#apply(IAnalysis)}. * @param node the calling {@link AGeneralIsExpIR} node */ public void inAGeneralIsExpIR(AGeneralIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ANat1IsExpIR} node from {@link ANat1IsExpIR#apply(IAnalysis)}. * @param node the calling {@link ANat1IsExpIR} node */ public void inANat1IsExpIR(ANat1IsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ACharIsExpIR} node from {@link ACharIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ACharIsExpIR} node */ public void inACharIsExpIR(ACharIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ARatIsExpIR} node from {@link ARatIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ARatIsExpIR} node */ public void inARatIsExpIR(ARatIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ATupleIsExpIR} node from {@link ATupleIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ATupleIsExpIR} node */ public void inATupleIsExpIR(ATupleIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ABoolIsExpIR} node from {@link ABoolIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ABoolIsExpIR} node */ public void inABoolIsExpIR(ABoolIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ANatIsExpIR} node from {@link ANatIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ANatIsExpIR} node */ public void inANatIsExpIR(ANatIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link AIntIsExpIR} node from {@link AIntIsExpIR#apply(IAnalysis)}. * @param node the calling {@link AIntIsExpIR} node */ public void inAIntIsExpIR(AIntIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }
/** * Called by the {@link ARealIsExpIR} node from {@link ARealIsExpIR#apply(IAnalysis)}. * @param node the calling {@link ARealIsExpIR} node */ public void inARealIsExpIR(ARealIsExpIR node, Q question) throws AnalysisException { defaultInSIsExpIR(node, question); }