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

Example 86 with Model

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

the class ModuleDecorator method checkModulePath.

private void checkModulePath(IDecoration decoration, ModulePath m) {
    AbsNature nature = m.getNature();
    Model model = nature.getCompleteModel();
    if (model != null) {
        for (ModuleDecl mod : model.getModuleDecls()) {
            if (mod.getName().startsWith(m.getModulePath() + ".")) {
                if (hasModuleDeclErrors(mod, nature)) {
                    addErrorOverlay(decoration);
                    return;
                }
            }
        }
    }
}

Example 87 with Model

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

the class IncrementalModelBuilder method typeCheckModel.

public synchronized SemanticConditionList typeCheckModel(IProgressMonitor monitor, boolean locationTypeChecking, String defaultloctype, String locationTypePrecision, boolean checkProducts) throws NoModelException, TypecheckInternalException {
    if (model == null)
        throw new NoModelException();
    if (model.hasParserErrors())
        // don't typecheck if the model has parsererrors
        return new SemanticConditionList();
    // throw new TypecheckInternalException(new Exception("Model has parser errors!"));
    // model.flushCache();
    flushAll(model);
    model.getTypeExt().clearTypeSystemExtensions();
    if (locationTypeChecking) {
        LocationType defaultLocType = LocationType.createFromName(defaultloctype);
        LocationTypeInferrerExtension ltie = new LocationTypeInferrerExtension(model);
        this.ltie = ltie;
        ltie.setDefaultType(defaultLocType);
        ltie.setLocationTypingPrecision(LocationTypingPrecision.valueOf(locationTypePrecision));
        model.registerTypeSystemExtension(ltie);
    }
    try {
        SemanticConditionList semerrors = model.getErrors();
        /* Don't typecheck with semerrors, it might trip up. */
        if (!semerrors.containsErrors())
            semerrors = model.typeCheck();
        /* Check products for errors.
			 * Only the first error is reported (if any), on the product AST-node.
			 * TODO: May be time-consuming for large projects, hence the checkProducts-switch.
			 *       Also could use a timer to switch off if it becomes excessive.
			 * TODO: Use Eclipse's nested markers to show ALL contained errors?
			 * TODO: The outline could indicate the broken product as well.
			 */
        if (!semerrors.containsErrors() && checkProducts) {
            // arbitrary value
            monitor = new SubProgressMonitor(monitor, 10);
            monitor.beginTask("Checking products", model.getProductDecls().size());
            for (ProductDecl p : model.getProductDecls()) {
                monitor.subTask("Checking " + p.getName());
                Model m2 = model.treeCopyNoTransform();
                m2.flushTreeCache();
                try {
                    m2.flattenForProduct(p);
                    SemanticConditionList p_errs = m2.typeCheck();
                    if (p_errs.containsErrors()) {
                        // Only show first error, on product
                        semerrors.add(new SemanticError(p, ErrorMessage.ERROR_IN_PRODUCT, p.getName(), p_errs.getFirstError().getMessage()));
                    }
                } catch (WrongProgramArgumentException e) {
                    semerrors.add(new SemanticError(p, ErrorMessage.ERROR_IN_PRODUCT, p.getName(), e.getMessage()));
                } catch (DeltaModellingException e) {
                    /* We we have a better location for error reporting? */
                    final ASTNode<?> loc;
                    if (e instanceof DeltaModellingWithNodeException)
                        loc = ((DeltaModellingWithNodeException) e).getNode();
                    else
                        loc = p;
                    if (e.getDelta() == null)
                        semerrors.add(new SemanticError(loc, ErrorMessage.ERROR_IN_PRODUCT, p.getName(), e.getMessage()));
                    else
                        semerrors.add(new SemanticError(loc, ErrorMessage.ERROR_IN_PRODUCT_WITH_DELTA, p.getName(), e.getDelta().getName(), e.getMessage()));
                }
            }
            monitor.done();
        }
        return semerrors;
    } catch (TypeCheckerException e) {
        return new SemanticConditionList(e);
    } catch (RuntimeException e) {
        throw new TypecheckInternalException(e);
    }
}

Example 88 with Model

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

the class IncrementalModelBuilder method addCompilationUnit.

/**
 * Creates an empty model with only the stdlib when you pass null.
 */
public synchronized void addCompilationUnit(CompilationUnit cu) {
    if (model == null) {
        model = new Model();
        model.addCompilationUnit(getStdLibCompilationUnit());
        if (// just give us the stdlib
        cu != null)
            model.addCompilationUnit(cu);
        return;
    }
    if (cu == null)
        return;
    String filename = cu.getFileName();
    assert filename != null;
    CompilationUnit cuold = null;
    try {
        cuold = getCompilationUnit(filename);
    } catch (NoModelException e) {
        // we're pretty sure there's a model.
        assert false;
    }
    List<CompilationUnit> culist = model.getCompilationUnitList();
    int cindex = culist.getIndexOfChild(cuold);
    if (cindex > 0) {
        model.setCompilationUnit(cu, cindex);
    } else {
        model.addCompilationUnit(cu);
    }
    // model.flushCache();
    flushAll(model);
}

Example 89 with Model

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

the class ABSUnitRunner method compile.

public void compile() throws Exception {
    final Model model = parseFiles(modelDir);
    if (model.hasParserErrors() || model.hasErrors() || model.hasTypeErrors())
        return;
    compile(model, new File(destDir));
    analyzeModelUnit(model);
}

Example 90 with Model

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

the class ASTBasedABSTestRunnerGeneratorTest method testHasUnitTest.

@Test
public final void testHasUnitTest() {
    Model model = new Model();
    ABSTestRunnerGenerator generator = new ASTBasedABSTestRunnerGenerator(model);
    generator = setField(generator, AbstractABSTestRunnerGenerator.class, "isEmpty", Boolean.TRUE);
    assertFalse(generator.hasUnitTest());
    generator = setField(generator, AbstractABSTestRunnerGenerator.class, "isEmpty", Boolean.FALSE);
    assertTrue(generator.hasUnitTest());
}