@Override public PDefinition caseAMultiBindListDefinition( AMultiBindListDefinition node, Newquestion question) throws AnalysisException { if (node.getDefs() != null) { PDefinition def = af.createPDefinitionListAssistant().findName(node.getDefs(), question.sought, question.scope); if (def != null) { return def; } } return null; }
@Override public PType caseAMultiBindListDefinition(AMultiBindListDefinition node) throws AnalysisException { PTypeList types = new PTypeList(); for (PDefinition definition : node.getDefs()) { types.add(definition.getType()); } AUnionType result = AstFactory.newAUnionType(node.getLocation(), types); return result; }
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefs()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefs()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefs()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefs()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefs()); for( PDefinition e : copy)
@Override public void caseALetBeStExp(ALetBeStExp node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getSuchThat() != null) { node.getSuchThat().apply(this); } node.getValue().apply(this); endScope(defInfo); }
@Override public void caseALetBeStStm(ALetBeStStm node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getSuchThat() != null) { node.getSuchThat().apply(this); } node.getStatement().apply(this); endScope(defInfo); }
@Override public void caseALetBeStBindingTraceDefinition( ALetBeStBindingTraceDefinition node) throws AnalysisException { if (!proceed(node)) { return; } node.getDef().apply(this); DefinitionInfo defInfo = new DefinitionInfo(node.getDef().getDefs(), af); openScope(defInfo, node); if (node.getStexp() != null) { node.getStexp().apply(this); } node.getBody().apply(this); endScope(defInfo); }