Examples with Model abs.frontend.ast.Model used on opensource projects

Example 81 with Model

use of abs.frontend.ast.Model in project abstools by abstools.

the class JavaJob method generateJavaCode.

/**
 * Generates .java files (no .class files).
 * If 'product' is set, will flatten accordingly.
 * @param monitor - must not be null
 * @param path - where to add the modules / java-files
 * @param project - the ABS project
 * @throws IOException, if unable to create java files
 * @throws AbsJobException, if unable to generate java files
 * @throws JavaCodeGenerationException, if unable to generate java files
 * @throws CoreException
 * @throws NoModelException
 */
private void generateJavaCode(IProgressMonitor monitor, Path path, IProject project) throws AbsJobException, IOException, JavaCodeGenerationException, CoreException, NoModelException {
    assert monitor != null;
    monitor.subTask("Creating java source files");
    AbsNature nat = UtilityFunctions.getAbsNature(project);
    synchronized (nat.modelLock) {
        Model model = nat.getCompleteModel();
        if (model == null)
            throw new NoModelException();
        JavaCode javaCode = new JavaCode(path.toFile());
        if (product != null) {
            /* [stolz] Flattening for a product will mangle the model according to [ramus]...
                 */
            // work on a copy:
            model = model.treeCopyNoTransform();
            model.flushTreeCache();
            String productN = product.getName();
            try {
                model.flattenForProduct(productN);
                model.flushCache();
                if (model.hasErrors() || model.hasTypeErrors()) {
                    nat.createMarkers(model);
                    throw new AbsJobException("An ABS file in the project has type errors after applying deltas");
                }
            } catch (WrongProgramArgumentException e) {
                throw new AbsJobException(e);
            } catch (DeltaModellingException e) {
                throw new AbsJobException(e);
            }
        }
        // TODO: the second parameter toggles listener code creation (3
        // Java method calls per ABS statement); make this configurable
        model.generateJavaCode(javaCode, true);
        int countUnits = model.getNumCompilationUnit();
        if (countUnits == 0)
            throw new AbsJobException("No compilation unit found");
    }
}

Example 82 with Model

use of abs.frontend.ast.Model in project abstools by abstools.

the class JavaJob method getModelFromProject.

/**
 * @Deprecated According to Yannick, you need to hold {@link AbsNature#modelLock} to safely do anything with the model,
 * which means you need the nature first, and then this helper is just a fancy wrapper around {@link AbsNature#getCompleteModel()}...
 * @see AbsNature#getCompleteModel()
 */
public static Model getModelFromProject(IProject project) throws AbsJobException {
    AbsNature nature = UtilityFunctions.getAbsNature(project);
    if (nature == null) {
        throw new AbsJobException("The file is not in an ABS project!");
    }
    Model model = nature.getCompleteModel();
    // if (model==null && curFile!=null ) model = abs.frontend.parser.Main.parse(new File(curFile.getLocation().toString()), withStdLib);
    if (model == null) {
        throw new AbsJobException("No ABS model found");
    }
    if (model.hasParserErrors() || model.hasErrors() || model.hasTypeErrors()) {
        // just to be sure
        throw new AbsJobException("An ABS file in the project has type or parser errors");
    }
    return model;
}

Example 83 with Model

use of abs.frontend.ast.Model in project abstools by abstools.

the class AbstractTab method fillProductDropDownMenue.

/**
 * Lists all products in the current project's module, incl. a "<base>" product if
 * no particular product is selected.
 * @param preSelected The product that should be preselected, or null for <base>.
 */
protected void fillProductDropDownMenue(String preSelected) {
    productDropDown.removeAll();
    productDropDown.add("<base>");
    IProject proj = getSelectedProject();
    if (proj == null) {
        return;
    }
    AbsNature n = UtilityFunctions.getAbsNature(proj);
    Model m = n.getCompleteModel();
    if (m == null)
        return;
    Collection<ProductDecl> prods = m.getProductDecls();
    if (prods == null)
        return;
    int i = 1;
    /* base comes first */
    int selected = 0;
    for (ProductDecl p : prods) {
        final String name = p.getName();
        productDropDown.add(name);
        if (name.equals(preSelected)) {
            selected = i;
        }
        i++;
    }
    productDropDown.select(selected);
}

Example 84 with Model

use of abs.frontend.ast.Model in project abstools by abstools.

the class CoreAbsBackend method mainMethod.

public int mainMethod(final String... args) {
    try {
        Model m = new CoreAbsBackend().parse(args);
        PrintStream stream = System.out;
        m.generateCoreABS(stream);
        return 0;
    } catch (Exception e) {
        printError(e.getMessage());
        return 1;
    }
}

Example 85 with Model

use of abs.frontend.ast.Model in project abstools by abstools.

the class Tester method compile.

private void compile(String[] args) throws DeltaModellingException, IOException, WrongProgramArgumentException, ParserConfigurationException, FileNotFoundException, InternalBackendException {
    final Model model = this.parse(args);
    // added later with a delta).
    if (model.hasParserErrors() || model.hasErrors())
        return;
    if (verbose) {
        System.out.println("Starting Dependency information extraction...");
    }
    DeployInformation di = new DeployInformation();
    di.extractInformation(model);
    if (verbose) {
        System.out.println("Starting JSON generation...");
    }
    PrintWriter f = new PrintWriter(new File(_JSONName));
    di.generateJSON(f);
    f.close();
}