Examples with ClassicalPositionPrinter de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter used on opensource projects

Example 11 with ClassicalPositionPrinter

use of de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter in project probparsers by bendisposto.

the class ClassicalBParser method printAst.

private void printAst(final IPrologTermOutput pto, Start ast, final boolean wrap, final String wrapper) {
    NodeIdAssignment na = new NodeIdAssignment();
    ast.apply(na);
    ClassicalPositionPrinter pprinter = new ClassicalPositionPrinter(na, -1, 0);
    final ASTProlog prologPrinter = new ASTProlog(pto, pprinter);
    if (wrap) {
        pto.openTerm(wrapper);
    }
    ast.apply(prologPrinter);
    if (wrap) {
        pto.closeTerm();
    }
}