/** * Called by the {@link ACompBinaryExpIR} node from {@link ACompBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ACompBinaryExpIR} node */ public A caseACompBinaryExpIR(ACompBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASetDifferenceBinaryExpIR} node from {@link ASetDifferenceBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetDifferenceBinaryExpIR} node */ public A caseASetDifferenceBinaryExpIR(ASetDifferenceBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ARangeResToBinaryExpIR} node from {@link ARangeResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ARangeResToBinaryExpIR} node */ public A caseARangeResToBinaryExpIR(ARangeResToBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AAddrNotEqualsBinaryExpIR} node from {@link AAddrNotEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrNotEqualsBinaryExpIR} node */ public A caseAAddrNotEqualsBinaryExpIR(AAddrNotEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASeqModificationBinaryExpIR} node from {@link ASeqModificationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqModificationBinaryExpIR} node */ public A caseASeqModificationBinaryExpIR(ASeqModificationBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASetProperSubsetBinaryExpIR} node from {@link ASetProperSubsetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetProperSubsetBinaryExpIR} node */ public A caseASetProperSubsetBinaryExpIR(ASetProperSubsetBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AMapUnionBinaryExpIR} node from {@link AMapUnionBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapUnionBinaryExpIR} node */ public A caseAMapUnionBinaryExpIR(AMapUnionBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AEqualsBinaryExpIR} node from {@link AEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AEqualsBinaryExpIR} node */ public A caseAEqualsBinaryExpIR(AEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASetSubsetBinaryExpIR} node from {@link ASetSubsetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetSubsetBinaryExpIR} node */ public A caseASetSubsetBinaryExpIR(ASetSubsetBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AMapIterationBinaryExpIR} node from {@link AMapIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapIterationBinaryExpIR} node */ public A caseAMapIterationBinaryExpIR(AMapIterationBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ADomainResToBinaryExpIR} node from {@link ADomainResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResToBinaryExpIR} node */ public A caseADomainResToBinaryExpIR(ADomainResToBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link SNumericBinaryExpIR} node from {@link SNumericBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SNumericBinaryExpIR} node */ public A defaultSNumericBinaryExpIR(SNumericBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link SBoolBinaryExpIR} node from {@link SBoolBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SBoolBinaryExpIR} node */ public A defaultSBoolBinaryExpIR(SBoolBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASeqConcatBinaryExpIR} node from {@link ASeqConcatBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqConcatBinaryExpIR} node */ public A caseASeqConcatBinaryExpIR(ASeqConcatBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ASetIntersectBinaryExpIR} node from {@link ASetIntersectBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetIntersectBinaryExpIR} node */ public A caseASetIntersectBinaryExpIR(ASetIntersectBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ARangeResByBinaryExpIR} node from {@link ARangeResByBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ARangeResByBinaryExpIR} node */ public A caseARangeResByBinaryExpIR(ARangeResByBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AAddrEqualsBinaryExpIR} node from {@link AAddrEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrEqualsBinaryExpIR} node */ public A caseAAddrEqualsBinaryExpIR(AAddrEqualsBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AInSetBinaryExpIR} node from {@link AInSetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AInSetBinaryExpIR} node */ public A caseAInSetBinaryExpIR(AInSetBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link AFuncIterationBinaryExpIR} node from {@link AFuncIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AFuncIterationBinaryExpIR} node */ public A caseAFuncIterationBinaryExpIR(AFuncIterationBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }
/** * Called by the {@link ADomainResByBinaryExpIR} node from {@link ADomainResByBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResByBinaryExpIR} node */ public A caseADomainResByBinaryExpIR(ADomainResByBinaryExpIR node, Q question) throws AnalysisException { return defaultSBinaryExpIR(node, question); }