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