Search in sources :

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;
}
Also used : SemicolonCheck(de.be4.classicalb.core.parser.analysis.checking.SemicolonCheck) IdentListCheck(de.be4.classicalb.core.parser.analysis.checking.IdentListCheck) SemanticCheck(de.be4.classicalb.core.parser.analysis.checking.SemanticCheck) ArrayList(java.util.ArrayList) ProverExpressionsCheck(de.be4.classicalb.core.parser.analysis.checking.ProverExpressionsCheck) ClausesCheck(de.be4.classicalb.core.parser.analysis.checking.ClausesCheck) PrimedIdentifierCheck(de.be4.classicalb.core.parser.analysis.checking.PrimedIdentifierCheck) DefinitionUsageCheck(de.be4.classicalb.core.parser.analysis.checking.DefinitionUsageCheck)

Aggregations

ClausesCheck (de.be4.classicalb.core.parser.analysis.checking.ClausesCheck)1 DefinitionUsageCheck (de.be4.classicalb.core.parser.analysis.checking.DefinitionUsageCheck)1 IdentListCheck (de.be4.classicalb.core.parser.analysis.checking.IdentListCheck)1 PrimedIdentifierCheck (de.be4.classicalb.core.parser.analysis.checking.PrimedIdentifierCheck)1 ProverExpressionsCheck (de.be4.classicalb.core.parser.analysis.checking.ProverExpressionsCheck)1 SemanticCheck (de.be4.classicalb.core.parser.analysis.checking.SemanticCheck)1 SemicolonCheck (de.be4.classicalb.core.parser.analysis.checking.SemicolonCheck)1 ArrayList (java.util.ArrayList)1