/** * Called by the {@link AMapMapTypeIR} node from {@link AMapMapTypeIR#apply(IAnalysis)}. * @param node the calling {@link AMapMapTypeIR} node */ public void caseAMapMapTypeIR(AMapMapTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); inAMapMapTypeIR(node, question); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this, question); } if(node.getFrom() != null && !_visitedNodes.contains(node.getFrom())) { node.getFrom().apply(this, question); } if(node.getTo() != null && !_visitedNodes.contains(node.getTo())) { node.getTo().apply(this, question); } outAMapMapTypeIR(node, question); }
/** * Called by the {@link AMapMapTypeIR} node from {@link AMapMapTypeIR#apply(IAnalysis)}. * @param node the calling {@link AMapMapTypeIR} node */ public void caseAMapMapTypeIR(AMapMapTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAMapMapTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } if(node.getFrom() != null && !_visitedNodes.contains(node.getFrom())) { node.getFrom().apply(this); } if(node.getTo() != null && !_visitedNodes.contains(node.getTo())) { node.getTo().apply(this); } outAMapMapTypeIR(node); }
/** * Called by the {@link AMapMapTypeIR} node from {@link AMapMapTypeIR#apply(IIsaAnalysis)}. * @param node the calling {@link AMapMapTypeIR} node */ public void caseAMapMapTypeIR(AMapMapTypeIR node) throws AnalysisException { _visitedNodes.add(node); inAMapMapTypeIR(node); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { node.getNamedInvType().apply(this); } if(node.getFrom() != null && !_visitedNodes.contains(node.getFrom())) { node.getFrom().apply(this); } if(node.getTo() != null && !_visitedNodes.contains(node.getTo())) { node.getTo().apply(this); } outAMapMapTypeIR(node); }
/** * Called by the {@link AMapMapTypeIR} node from {@link AMapMapTypeIR#apply(IAnalysis)}. * @param node the calling {@link AMapMapTypeIR} node */ public A caseAMapMapTypeIR(AMapMapTypeIR node, Q question) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node, question); mergeReturns(retVal,inAMapMapTypeIR(node, question)); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { mergeReturns(retVal,node.getNamedInvType().apply(this, question)); } if(node.getFrom() != null && !_visitedNodes.contains(node.getFrom())) { mergeReturns(retVal,node.getFrom().apply(this, question)); } if(node.getTo() != null && !_visitedNodes.contains(node.getTo())) { mergeReturns(retVal,node.getTo().apply(this, question)); } mergeReturns(retVal,outAMapMapTypeIR(node, question)); return retVal; }
/** * Called by the {@link AMapMapTypeIR} node from {@link AMapMapTypeIR#apply(IAnalysis)}. * @param node the calling {@link AMapMapTypeIR} node */ public A caseAMapMapTypeIR(AMapMapTypeIR node) throws AnalysisException { _visitedNodes.add(node); A retVal = createNewReturnValue(node); mergeReturns(retVal,inAMapMapTypeIR(node)); if(node.getNamedInvType() != null && !_visitedNodes.contains(node.getNamedInvType())) { mergeReturns(retVal,node.getNamedInvType().apply(this)); } if(node.getFrom() != null && !_visitedNodes.contains(node.getFrom())) { mergeReturns(retVal,node.getFrom().apply(this)); } if(node.getTo() != null && !_visitedNodes.contains(node.getTo())) { mergeReturns(retVal,node.getTo().apply(this)); } mergeReturns(retVal,outAMapMapTypeIR(node)); return retVal; }
AbstractTypeInfo rngInfo = findTypeInfo(mapType.getTo());
&& mapType.getTo() instanceof AUnknownTypeIR)