@Override public List<PExp> caseAClassClassDefinition(AClassClassDefinition node) throws AnalysisException { List<PExp> r = new LinkedList<PExp>(); for (PDefinition p : node.getDefinitions()) { r.addAll(p.apply(mainVisitor)); } return r; }
@Override public void caseAClassClassDefinition(AClassClassDefinition node) throws AnalysisException { if (enclosingDef != null) { return; } visitModuleDefs(node.getDefinitions(), node); }
private List<LexNameTokenWrapper> getMethodNames( AClassClassDefinition classDef) { List<LexNameTokenWrapper> methodNames = new LinkedList<LexNameTokenWrapper>(); List<PDefinition> allDefs = new LinkedList<PDefinition>(); LinkedList<PDefinition> defs = classDef.getDefinitions(); LinkedList<PDefinition> inheritedDefs = classDef.getAllInheritedDefinitions(); allDefs.addAll(defs); allDefs.addAll(inheritedDefs); for (PDefinition def : allDefs) { if (def instanceof SOperationDefinition || def instanceof SFunctionDefinition) { methodNames.add(new LexNameTokenWrapper(def.getName())); } } return methodNames; }
Class<? extends PDefinition> pDefClass) throws AnalysisException List<PDefinition> defs = getDefinitions(node.getDefinitions(), pDefClass);
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy)
@Override public IProofObligationList caseAClassClassDefinition( AClassClassDefinition node, IPOContextStack question) throws AnalysisException { try { IProofObligationList proofObligationList = new ProofObligationList(); question.setGenerator(new UniqueNameGenerator(node)); for (PDefinition def : node.getDefinitions()) { question.push(new PONameContext(assistantFactory.createPDefinitionAssistant().getVariableNames(def))); proofObligationList.addAll(def.apply(mainVisitor, question)); question.pop(); question.clearStateContexts(); } return proofObligationList; } catch (Exception e) { throw new POException(node, e.getMessage()); } }
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy)
List<PDefinition> copy = new ArrayList<PDefinition>(node.getDefinitions()); for( PDefinition e : copy)