private boolean moduleNeedsHandling(SClassDefinition enclosingClass) { return enclosingClass != null && !assistantManager.getDeclAssistant().isLibrary(enclosingClass); }
/** * This method extracts the user modules or classes from a VDM AST. * * @param ast * The VDM AST. * @return A list of user modules or classes. */ protected List<INode> getUserModules(List<? extends INode> ast) { List<INode> userModules = new LinkedList<INode>(); for (INode node : ast) { if (!getInfo().getDeclAssistant().isLibrary(node)) { userModules.add(node); } } return userModules; }
/** * Determines whether a VDM module or class should be code generated or not. * * @param vdmNode * The node to be checked. * @return True if <code>node</code> should be code generated - false otherwise. */ protected boolean shouldGenerateVdmNode(INode vdmNode) { DeclAssistantIR declAssistant = getInfo().getDeclAssistant(); if (declAssistant.isLibrary(vdmNode)) { return false; } else { return true; } }
public void computeDefTable( List<? extends org.overture.ast.node.INode> mergedParseLists) throws AnalysisException { List<org.overture.ast.node.INode> classesToConsider = new LinkedList<>(); for (org.overture.ast.node.INode node : mergedParseLists) { if (!codeGenInfo.getDeclAssistant().isLibrary(node)) { classesToConsider.add(node); } } Map<AIdentifierStateDesignator, PDefinition> idDefs = IdStateDesignatorDefCollector.getIdDefs(classesToConsider, codeGenInfo.getTcFactory()); codeGenInfo.setIdStateDesignatorDefs(idDefs); }
private void computeNamedTypeInvInfo(List<AModuleModules> ast) throws AnalysisException { NamedTypeInvDepCalculator depCalc = new NamedTypeInvDepCalculator(this.getJavaGen().getInfo()); for (AModuleModules m : ast) { if (!javaGen.getInfo().getDeclAssistant().isLibrary(m)) { m.apply(depCalc); } } this.typeInfoList = depCalc.getTypeDataList(); }
if (getInfo().getAssistantManager().getDeclAssistant().isLibrary(node))