Examples with SemanticCondition - abs.frontend.analyser.SemanticCondition

Example 11 with SemanticCondition

use of abs.frontend.analyser.SemanticCondition in project abstools by abstools.

the class Main method typeCheckModel.

private void typeCheckModel(Model m) {
    if (typecheck) {
        if (verbose)
            System.out.println("Typechecking Model...");
        registerLocationTypeChecking(m);
        SemanticConditionList typeerrors = m.typeCheck();
        for (SemanticCondition se : typeerrors) {
            System.err.println(se.getHelpMessage());
        }
    }
}

Also used : SemanticConditionList(abs.frontend.analyser.SemanticConditionList) SemanticCondition(abs.frontend.analyser.SemanticCondition)

Aggregations

SemanticCondition (abs.frontend.analyser.SemanticCondition)11 SemanticConditionList (abs.frontend.analyser.SemanticConditionList)7 Model (abs.frontend.ast.Model)3 CompilationUnit (abs.frontend.ast.CompilationUnit)1 Main (abs.frontend.parser.Main)1 ParserError (abs.frontend.parser.ParserError)1 Constraint (choco.kernel.model.constraints.Constraint)1 ByteArrayOutputStream (java.io.ByteArrayOutputStream)1 File (java.io.File)1 FileNotFoundException (java.io.FileNotFoundException)1 PrintStream (java.io.PrintStream)1 Test (org.junit.Test)1