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

Example 11 with ASTProlog

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

the class PragmaTest method printAST.

private String printAST(final Node node) {
    final StringWriter swriter = new StringWriter();
    NodeIdAssignment nodeids = new NodeIdAssignment();
    node.apply(nodeids);
    IPrologTermOutput pout = new PrologTermOutput(new PrintWriter(swriter), false);
    PositionPrinter pprinter = new ClassicalPositionPrinter(nodeids);
    ASTProlog prolog = new ASTProlog(pout, pprinter);
    node.apply(prolog);
    swriter.flush();
    return swriter.toString();
}

Example 12 with ASTProlog

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

the class Helpers method printAsProlog.

public static void printAsProlog(final Start start, final IPrologTermOutput pout) {
    final NodeIdAssignment nodeIds = new NodeIdAssignment();
    nodeIds.assignIdentifiers(1, start);
    final ClassicalPositionPrinter pprinter = new ClassicalPositionPrinter(nodeIds);
    final ASTProlog prolog = new ASTProlog(pout, pprinter);
    pout.openTerm("machine");
    start.apply(prolog);
    pout.closeTerm();
    pout.fullstop();
    pout.flush();
}

Example 13 with ASTProlog

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

the class UnitPragmaTest method printAST.

private String printAST(final Node node) {
    final StringWriter swriter = new StringWriter();
    NodeIdAssignment nodeids = new NodeIdAssignment();
    node.apply(nodeids);
    IPrologTermOutput pout = new PrologTermOutput(new PrintWriter(swriter), false);
    PositionPrinter pprinter = new ClassicalPositionPrinter(nodeids);
    ASTProlog prolog = new ASTProlog(pout, pprinter);
    node.apply(prolog);
    swriter.flush();
    return swriter.toString();
}

Example 14 with ASTProlog

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

the class BMachine method printAsProlog.

public void printAsProlog(final IPrologTermOutput pout, NodeIdAssignment nodeIdMapping) {
    assert start != null;
    final ClassicalPositionPrinter pprinter = new ClassicalPositionPrinter(nodeIdMapping);
    pprinter.printSourcePositions(parsingBehaviour.isAddLineNumbers());
    final ASTProlog prolog = new ASTProlog(pout, pprinter);
    pout.openTerm("machine");
    // if (parsingBehaviour.isAddLineNumbers()) {
    // pprinter.setSourcePositions(
    // new SourcePositions(new ArrayList<IToken>(), new HashMap<PositionedNode, SourcecodeRange>()));
    // }
    start.apply(prolog);
    pout.closeTerm();
    pout.fullstop();
}

Example 15 with ASTProlog

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

the class RulesParseUnit method printAsProlog.

@Override
public void printAsProlog(final IPrologTermOutput pout, NodeIdAssignment nodeIdMapping) {
    assert start != null;
    final ClassicalPositionPrinter pprinter = new ClassicalPositionPrinter(nodeIdMapping);
    pprinter.printSourcePositions(parsingBehaviour.isAddLineNumbers());
    final ASTProlog prolog = new ASTProlog(pout, pprinter);
    pout.openTerm("machine");
    start.apply(prolog);
    pout.closeTerm();
    pout.fullstop();
}