/** * Called by the {@link ARealBasicTypeWrappersTypeIR} node from {@link ARealBasicTypeWrappersTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARealBasicTypeWrappersTypeIR} node */ public void caseARealBasicTypeWrappersTypeIR(ARealBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inARealBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outARealBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ACharBasicTypeWrappersTypeIR} node from {@link ACharBasicTypeWrappersTypeIR#apply(IAnalysis)}. * @param node the calling {@link ACharBasicTypeWrappersTypeIR} node */ public void caseACharBasicTypeWrappersTypeIR(ACharBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inACharBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outACharBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ABoolBasicTypeWrappersTypeIR} node from {@link ABoolBasicTypeWrappersTypeIR#apply(IAnalysis)}. * @param node the calling {@link ABoolBasicTypeWrappersTypeIR} node */ public void caseABoolBasicTypeWrappersTypeIR(ABoolBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inABoolBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outABoolBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link AObjectTypeIR} node from {@link AObjectTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link AObjectTypeIR} node */ public void caseAObjectTypeIR(AObjectTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAObjectTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outAObjectTypeIR(node); }
/** * Called by the {@link AUnknownTypeIR} node from {@link AUnknownTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link AUnknownTypeIR} node */ public void caseAUnknownTypeIR(AUnknownTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAUnknownTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outAUnknownTypeIR(node); }
/** * Called by the {@link ARatBasicTypeWrappersTypeIR} node from {@link ARatBasicTypeWrappersTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link ARatBasicTypeWrappersTypeIR} node */ public void caseARatBasicTypeWrappersTypeIR(ARatBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inARatBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outARatBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ABoolBasicTypeIR} node from {@link ABoolBasicTypeIR#apply(IAnalysis)}. * @param node the calling {@link ABoolBasicTypeIR} node */ public void caseABoolBasicTypeIR(ABoolBasicTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inABoolBasicTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } outABoolBasicTypeIR(node, question); }
/** * Called by the {@link ARatNumericBasicTypeIR} node from {@link ARatNumericBasicTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARatNumericBasicTypeIR} node */ public void caseARatNumericBasicTypeIR(ARatNumericBasicTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inARatNumericBasicTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } outARatNumericBasicTypeIR(node, question); }
/** * Called by the {@link AStringTypeIR} node from {@link AStringTypeIR#apply(IAnalysis)}. * @param node the calling {@link AStringTypeIR} node */ public void caseAStringTypeIR(AStringTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAStringTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outAStringTypeIR(node); }
/** * Called by the {@link ATemplateTypeIR} node from {@link ATemplateTypeIR#apply(IAnalysis)}. * @param node the calling {@link ATemplateTypeIR} node */ public void caseATemplateTypeIR(ATemplateTypeIR node) throws AnalysisException { _visitedNodes.add(node); inATemplateTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outATemplateTypeIR(node); }
/** * Called by the {@link ANat1BasicTypeWrappersTypeIR} node from {@link ANat1BasicTypeWrappersTypeIR#apply(IAnalysis)}. * @param node the calling {@link ANat1BasicTypeWrappersTypeIR} node */ public void caseANat1BasicTypeWrappersTypeIR(ANat1BasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inANat1BasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outANat1BasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ANatBasicTypeWrappersTypeIR} node from {@link ANatBasicTypeWrappersTypeIR#apply(IAnalysis)}. * @param node the calling {@link ANatBasicTypeWrappersTypeIR} node */ public void caseANatBasicTypeWrappersTypeIR(ANatBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inANatBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outANatBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ACharBasicTypeIR} node from {@link ACharBasicTypeIR#apply(IAnalysis)}. * @param node the calling {@link ACharBasicTypeIR} node */ public void caseACharBasicTypeIR(ACharBasicTypeIR node) throws AnalysisException { _visitedNodes.add(node); inACharBasicTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outACharBasicTypeIR(node); }
/** * Called by the {@link ANat1NumericBasicTypeIR} node from {@link ANat1NumericBasicTypeIR#apply(IAnalysis)}. * @param node the calling {@link ANat1NumericBasicTypeIR} node */ public void caseANat1NumericBasicTypeIR(ANat1NumericBasicTypeIR node) throws AnalysisException { _visitedNodes.add(node); inANat1NumericBasicTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outANat1NumericBasicTypeIR(node); }
/** * Called by the {@link AErrorTypeIR} node from {@link AErrorTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link AErrorTypeIR} node */ public void caseAErrorTypeIR(AErrorTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAErrorTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outAErrorTypeIR(node); }
/** * Called by the {@link AIntBasicTypeWrappersTypeIR} node from {@link AIntBasicTypeWrappersTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link AIntBasicTypeWrappersTypeIR} node */ public void caseAIntBasicTypeWrappersTypeIR(AIntBasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAIntBasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outAIntBasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ANat1BasicTypeWrappersTypeIR} node from {@link ANat1BasicTypeWrappersTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link ANat1BasicTypeWrappersTypeIR} node */ public void caseANat1BasicTypeWrappersTypeIR(ANat1BasicTypeWrappersTypeIR node) throws AnalysisException { _visitedNodes.add(node); inANat1BasicTypeWrappersTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outANat1BasicTypeWrappersTypeIR(node); }
/** * Called by the {@link ARatNumericBasicTypeIR} node from {@link ARatNumericBasicTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link ARatNumericBasicTypeIR} node */ public void caseARatNumericBasicTypeIR(ARatNumericBasicTypeIR node) throws AnalysisException { _visitedNodes.add(node); inARatNumericBasicTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } outARatNumericBasicTypeIR(node); }
/** * Called by the {@link AVoidTypeIR} node from {@link AVoidTypeIR#apply(IAnalysis)}. * @param node the calling {@link AVoidTypeIR} node */ public void caseAVoidTypeIR(AVoidTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAVoidTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } outAVoidTypeIR(node, question); }
/** * Called by the {@link ARealNumericBasicTypeIR} node from {@link ARealNumericBasicTypeIR#apply(IAnalysis)}. * @param node the calling {@link ARealNumericBasicTypeIR} node */ public void caseARealNumericBasicTypeIR(ARealNumericBasicTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inARealNumericBasicTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } outARealNumericBasicTypeIR(node, question); }