/** * Called by the {@link ADomainResByBinaryExpIR} node from {@link ADomainResByBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResByBinaryExpIR} node */ public void caseADomainResByBinaryExpIR(ADomainResByBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AAddrEqualsBinaryExpIR} node from {@link AAddrEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrEqualsBinaryExpIR} node */ public void caseAAddrEqualsBinaryExpIR(AAddrEqualsBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASeqConcatBinaryExpIR} node from {@link ASeqConcatBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqConcatBinaryExpIR} node */ public void caseASeqConcatBinaryExpIR(ASeqConcatBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASetUnionBinaryExpIR} node from {@link ASetUnionBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetUnionBinaryExpIR} node */ public void caseASetUnionBinaryExpIR(ASetUnionBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASetSubsetBinaryExpIR} node from {@link ASetSubsetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetSubsetBinaryExpIR} node */ public void caseASetSubsetBinaryExpIR(ASetSubsetBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASeqModificationBinaryExpIR} node from {@link ASeqModificationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASeqModificationBinaryExpIR} node */ public void caseASeqModificationBinaryExpIR(ASeqModificationBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AInSetBinaryExpIR} node from {@link AInSetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AInSetBinaryExpIR} node */ public void caseAInSetBinaryExpIR(AInSetBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASetProperSubsetBinaryExpIR} node from {@link ASetProperSubsetBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetProperSubsetBinaryExpIR} node */ public void caseASetProperSubsetBinaryExpIR(ASetProperSubsetBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AMapOverrideBinaryExpIR} node from {@link AMapOverrideBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapOverrideBinaryExpIR} node */ public void caseAMapOverrideBinaryExpIR(AMapOverrideBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ARangeResToBinaryExpIR} node from {@link ARangeResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ARangeResToBinaryExpIR} node */ public void caseARangeResToBinaryExpIR(ARangeResToBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ACompBinaryExpIR} node from {@link ACompBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ACompBinaryExpIR} node */ public void caseACompBinaryExpIR(ACompBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AEqualsBinaryExpIR} node from {@link AEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AEqualsBinaryExpIR} node */ public void caseAEqualsBinaryExpIR(AEqualsBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASetIntersectBinaryExpIR} node from {@link ASetIntersectBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetIntersectBinaryExpIR} node */ public void caseASetIntersectBinaryExpIR(ASetIntersectBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AMapIterationBinaryExpIR} node from {@link AMapIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AMapIterationBinaryExpIR} node */ public void caseAMapIterationBinaryExpIR(AMapIterationBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AFuncIterationBinaryExpIR} node from {@link AFuncIterationBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AFuncIterationBinaryExpIR} node */ public void caseAFuncIterationBinaryExpIR(AFuncIterationBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ARangeResByBinaryExpIR} node from {@link ARangeResByBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ARangeResByBinaryExpIR} node */ public void caseARangeResByBinaryExpIR(ARangeResByBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link AAddrNotEqualsBinaryExpIR} node from {@link AAddrNotEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link AAddrNotEqualsBinaryExpIR} node */ public void caseAAddrNotEqualsBinaryExpIR(AAddrNotEqualsBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ANotEqualsBinaryExpIR} node from {@link ANotEqualsBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ANotEqualsBinaryExpIR} node */ public void caseANotEqualsBinaryExpIR(ANotEqualsBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ASetDifferenceBinaryExpIR} node from {@link ASetDifferenceBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ASetDifferenceBinaryExpIR} node */ public void caseASetDifferenceBinaryExpIR(ASetDifferenceBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }
/** * Called by the {@link ADomainResToBinaryExpIR} node from {@link ADomainResToBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link ADomainResToBinaryExpIR} node */ public void caseADomainResToBinaryExpIR(ADomainResToBinaryExpIR node) throws AnalysisException { defaultSBinaryExpIR(node); }