@Override public PType caseARenamedDefinition(ARenamedDefinition node, TypeCheckInfo question) throws AnalysisException { node.setType(node.getDef().apply(THIS, question)); return node.getType(); }
/** * Called by the {@link ARenamedDefinition} node from {@link ARenamedDefinition#apply(IPOFAnalysis)}. * @param node the calling {@link ARenamedDefinition} node */ public void caseARenamedDefinition(ARenamedDefinition node) throws AnalysisException { _visitedNodes.add(node); inARenamedDefinition(node); if(node.getName() != null ) { node.getName().apply(this); } if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) { node.getClassDefinition().apply(this); } if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) { node.getAccess().apply(this); } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outARenamedDefinition(node); }
/** * Called by the {@link ARenamedDefinition} node from {@link ARenamedDefinition#apply(IAnalysis)}. * @param node the calling {@link ARenamedDefinition} node */ public void caseARenamedDefinition(ARenamedDefinition node) throws AnalysisException { _visitedNodes.add(node); inARenamedDefinition(node); if(node.getName() != null ) { node.getName().apply(this); } if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) { node.getClassDefinition().apply(this); } if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) { node.getAccess().apply(this); } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this); } outARenamedDefinition(node); }
/** * Called by the {@link ARenamedDefinition} node from {@link ARenamedDefinition#apply(IAnalysis)}. * @param node the calling {@link ARenamedDefinition} node */ public void caseARenamedDefinition(ARenamedDefinition node, Q question) throws AnalysisException { _visitedNodes.add(node); inARenamedDefinition(node, question); if(node.getName() != null ) { node.getName().apply(this, question); } if(node.getClassDefinition() != null && !_visitedNodes.contains(node.getClassDefinition())) { node.getClassDefinition().apply(this, question); } if(node.getAccess() != null && !_visitedNodes.contains(node.getAccess())) { node.getAccess().apply(this, question); } if(node.getType() != null && !_visitedNodes.contains(node.getType())) { node.getType().apply(this, question); } if(node.getDef() != null && !_visitedNodes.contains(node.getDef())) { node.getDef().apply(this, question); } outARenamedDefinition(node, question); }