Examples with AEventBContextParseUnit de.be4.classicalb.core.parser.node.AEventBContextParseUnit used on opensource projects

Example 1 with AEventBContextParseUnit

use of de.be4.classicalb.core.parser.node.AEventBContextParseUnit in project prob2 by bendisposto.

the class ContextTranslator method translateContext.

public Node translateContext() {
    AEventBContextParseUnit ast = new AEventBContextParseUnit();
    ast.setName(new TIdentifierLiteral(context.getName()));
    List<PContextClause> clauses = new ArrayList<>();
    clauses.add(processExtends());
    clauses.addAll(processConstants());
    clauses.addAll(processAxiomsAndTheorems());
    clauses.add(processSets());
    ast.setContextClauses(clauses);
    return ast;
}