Examples with ProverExpressionsCheck de.be4.classicalb.core.parser.analysis.checking.ProverExpressionsCheck used on opensource projects

Example 1 with ProverExpressionsCheck

use of de.be4.classicalb.core.parser.analysis.checking.ProverExpressionsCheck in project probparsers by bendisposto.

the class BParser method performSemanticChecks.

private List<CheckException> performSemanticChecks(final Start rootNode) {
    final List<CheckException> list = new ArrayList<>();
    final SemanticCheck[] checks = { new ClausesCheck(), new SemicolonCheck(), new IdentListCheck(), new DefinitionUsageCheck(getDefinitions()), new PrimedIdentifierCheck(), new ProverExpressionsCheck() };
    for (SemanticCheck check : checks) {
        check.setOptions(parseOptions);
        check.runChecks(rootNode);
        list.addAll(check.getCheckExceptions());
    }
    return list;
}