/** * Called by the {@link ANullExpIR} node from {@link ANullExpIR#apply(IAnalysis)}. * @param node the calling {@link ANullExpIR} node */ public A inANullExpIR(ANullExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ATupleSizeExpIR} node from {@link ATupleSizeExpIR#apply(IAnalysis)}. * @param node the calling {@link ATupleSizeExpIR} node */ public A inATupleSizeExpIR(ATupleSizeExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SSeqExpIR} node from {@link SSeqExpIR#apply(IAnalysis)}. * @param node the calling {@link SSeqExpIR} node */ public A defaultInSSeqExpIR(SSeqExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link APreIncExpIR} node from {@link APreIncExpIR#apply(IAnalysis)}. * @param node the calling {@link APreIncExpIR} node */ public A inAPreIncExpIR(APreIncExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ATypeArgExpIR} node from {@link ATypeArgExpIR#apply(IAnalysis)}. * @param node the calling {@link ATypeArgExpIR} node */ public A inATypeArgExpIR(ATypeArgExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link AAssignExpExpIR} node from {@link AAssignExpExpIR#apply(IAnalysis)}. * @param node the calling {@link AAssignExpExpIR} node */ public A inAAssignExpExpIR(AAssignExpExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SUnaryExpIR} node from {@link SUnaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SUnaryExpIR} node */ public A inSUnaryExpIR(SUnaryExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ALetDefExpIR} node from {@link ALetDefExpIR#apply(IAnalysis)}. * @param node the calling {@link ALetDefExpIR} node */ public A inALetDefExpIR(ALetDefExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link AIotaExpIR} node from {@link AIotaExpIR#apply(IAnalysis)}. * @param node the calling {@link AIotaExpIR} node */ public A inAIotaExpIR(AIotaExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SSetExpIR} node from {@link SSetExpIR#apply(IAnalysis)}. * @param node the calling {@link SSetExpIR} node */ public A inSSetExpIR(SSetExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link AMkBasicExpIR} node from {@link AMkBasicExpIR#apply(IAnalysis)}. * @param node the calling {@link AMkBasicExpIR} node */ public A inAMkBasicExpIR(AMkBasicExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ARecordModExpIR} node from {@link ARecordModExpIR#apply(IAnalysis)}. * @param node the calling {@link ARecordModExpIR} node */ public A inARecordModExpIR(ARecordModExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SRuntimeErrorExpIR} node from {@link SRuntimeErrorExpIR#apply(IAnalysis)}. * @param node the calling {@link SRuntimeErrorExpIR} node */ public A inSRuntimeErrorExpIR(SRuntimeErrorExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link AExternalExpIR} node from {@link AExternalExpIR#apply(IAnalysis)}. * @param node the calling {@link AExternalExpIR} node */ public A inAExternalExpIR(AExternalExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link AHistoryExpIR} node from {@link AHistoryExpIR#apply(IAnalysis)}. * @param node the calling {@link AHistoryExpIR} node */ public A inAHistoryExpIR(AHistoryExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SBinaryExpIR} node from {@link SBinaryExpIR#apply(IAnalysis)}. * @param node the calling {@link SBinaryExpIR} node */ public A inSBinaryExpIR(SBinaryExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SIsExpIR} node from {@link SIsExpIR#apply(IAnalysis)}. * @param node the calling {@link SIsExpIR} node */ public A defaultInSIsExpIR(SIsExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link SLiteralExpIR} node from {@link SLiteralExpIR#apply(IAnalysis)}. * @param node the calling {@link SLiteralExpIR} node */ public A inSLiteralExpIR(SLiteralExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ASelfExpIR} node from {@link ASelfExpIR#apply(IAnalysis)}. * @param node the calling {@link ASelfExpIR} node */ public A inASelfExpIR(ASelfExpIR node) throws AnalysisException { return defaultInSExpIR(node); }
/** * Called by the {@link ACasesExpIR} node from {@link ACasesExpIR#apply(IAnalysis)}. * @param node the calling {@link ACasesExpIR} node */ public A inACasesExpIR(ACasesExpIR node) throws AnalysisException { return defaultInSExpIR(node); }