Examples with EOF de.be4.eventb.core.parser.node.EOF used on opensource projects

Example 11 with EOF

use of de.be4.eventb.core.parser.node.EOF in project prob2 by bendisposto.

the class DomBuilder method createSubstitutionAST.

private Start createSubstitutionAST(final PSubstitution pSub) {
    Start start = new Start();
    ASubstitutionParseUnit node2 = new ASubstitutionParseUnit();
    start.setPParseUnit(node2);
    start.setEOF(EOF);
    node2.setSubstitution((PSubstitution) pSub.clone());
    node2.getSubstitution().apply(new RenameIdentifiers());
    return start;
}