use of abs.frontend.analyser.SemanticConditionList 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());
}
}
}
Aggregations