/** * Called by the {@link SNumericBinaryExpIR} node from {@link SNumericBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SNumericBinaryExpIR} node */ public A defaultInSNumericBinaryExpIR(SNumericBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AAddrNotEqualsBinaryExpIR} node from {@link AAddrNotEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrNotEqualsBinaryExpIR} node */ public A inAAddrNotEqualsBinaryExpIR(AAddrNotEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ARangeResToBinaryExpIR} node from {@link ARangeResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ARangeResToBinaryExpIR} node */ public A inARangeResToBinaryExpIR(ARangeResToBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASeqConcatBinaryExpIR} node from {@link ASeqConcatBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqConcatBinaryExpIR} node */ public A inASeqConcatBinaryExpIR(ASeqConcatBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AMapOverrideBinaryExpIR} node from {@link AMapOverrideBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapOverrideBinaryExpIR} node */ public A inAMapOverrideBinaryExpIR(AMapOverrideBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ADomainResToBinaryExpIR} node from {@link ADomainResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResToBinaryExpIR} node */ public A inADomainResToBinaryExpIR(ADomainResToBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AAddrEqualsBinaryExpIR} node from {@link AAddrEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrEqualsBinaryExpIR} node */ public A inAAddrEqualsBinaryExpIR(AAddrEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASeqModificationBinaryExpIR} node from {@link ASeqModificationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqModificationBinaryExpIR} node */ public A inASeqModificationBinaryExpIR(ASeqModificationBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASetUnionBinaryExpIR} node from {@link ASetUnionBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetUnionBinaryExpIR} node */ public A inASetUnionBinaryExpIR(ASetUnionBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AFuncIterationBinaryExpIR} node from {@link AFuncIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AFuncIterationBinaryExpIR} node */ public A inAFuncIterationBinaryExpIR(AFuncIterationBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link SBoolBinaryExpIR} node from {@link SBoolBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SBoolBinaryExpIR} node */ public A defaultInSBoolBinaryExpIR(SBoolBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AEqualsBinaryExpIR} node from {@link AEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AEqualsBinaryExpIR} node */ public A inAEqualsBinaryExpIR(AEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ANotEqualsBinaryExpIR} node from {@link ANotEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ANotEqualsBinaryExpIR} node */ public A inANotEqualsBinaryExpIR(ANotEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASetDifferenceBinaryExpIR} node from {@link ASetDifferenceBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetDifferenceBinaryExpIR} node */ public A inASetDifferenceBinaryExpIR(ASetDifferenceBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASetSubsetBinaryExpIR} node from {@link ASetSubsetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetSubsetBinaryExpIR} node */ public A inASetSubsetBinaryExpIR(ASetSubsetBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AMapUnionBinaryExpIR} node from {@link AMapUnionBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapUnionBinaryExpIR} node */ public A inAMapUnionBinaryExpIR(AMapUnionBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AMapIterationBinaryExpIR} node from {@link AMapIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapIterationBinaryExpIR} node */ public A inAMapIterationBinaryExpIR(AMapIterationBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link AInSetBinaryExpIR} node from {@link AInSetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AInSetBinaryExpIR} node */ public A inAInSetBinaryExpIR(AInSetBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ASetIntersectBinaryExpIR} node from {@link ASetIntersectBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetIntersectBinaryExpIR} node */ public A inASetIntersectBinaryExpIR(ASetIntersectBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }
/** * Called by the {@link ADomainResByBinaryExpIR} node from {@link ADomainResByBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResByBinaryExpIR} node */ public A inADomainResByBinaryExpIR(ADomainResByBinaryExpIR node, Q question) throws AnalysisException { return defaultInSBinaryExpIR(node, question); }