Search in sources :

Example 11 with IPrologTermOutput

use of de.prob.prolog.output.IPrologTermOutput in project probparsers by bendisposto.

the class PrologExceptionPrinter method printException.

public static void printException(final OutputStream out, final IOException e, final String filename, boolean useIndentation, boolean lineOneOff) {
    IPrologTermOutput pto = new PrologTermOutput(out, useIndentation);
    pto.openTerm("io_exception");
    printMsg(pto, e, filename, useIndentation, lineOneOff, false);
    pto.closeTerm();
    pto.fullstop();
    pto.flush();
}
Also used : PrologTermOutput(de.prob.prolog.output.PrologTermOutput) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput)

Example 12 with IPrologTermOutput

use of de.prob.prolog.output.IPrologTermOutput in project probparsers by bendisposto.

the class RecursiveMachineLoader method printAsProlog.

public void printAsProlog(final PrintWriter out) {
    final IPrologTermOutput pout = new PrologTermOutput(out, parsingBehaviour.isUseIndention());
    printAsProlog(pout);
}
Also used : PrologTermOutput(de.prob.prolog.output.PrologTermOutput) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput)

Aggregations

IPrologTermOutput (de.prob.prolog.output.IPrologTermOutput)12 PrologTermOutput (de.prob.prolog.output.PrologTermOutput)11 PrintWriter (java.io.PrintWriter)6 NodeIdAssignment (de.be4.classicalb.core.parser.analysis.prolog.NodeIdAssignment)5 ASTProlog (de.be4.classicalb.core.parser.analysis.prolog.ASTProlog)4 ClassicalPositionPrinter (de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter)4 PositionPrinter (de.be4.classicalb.core.parser.analysis.prolog.PositionPrinter)4 StringWriter (java.io.StringWriter)4 BCompoundException (de.be4.classicalb.core.parser.exceptions.BCompoundException)3 IOException (java.io.IOException)2 OutputStream (java.io.OutputStream)2 Test (org.junit.Test)2 BParser (de.be4.classicalb.core.parser.BParser)1 BException (de.be4.classicalb.core.parser.exceptions.BException)1 BLexerException (de.be4.classicalb.core.parser.exceptions.BLexerException)1 BParseException (de.be4.classicalb.core.parser.exceptions.BParseException)1 CheckException (de.be4.classicalb.core.parser.exceptions.CheckException)1 PreParseException (de.be4.classicalb.core.parser.exceptions.PreParseException)1 LexerException (de.be4.classicalb.core.parser.lexer.LexerException)1 AConstructorFreetypeConstructor (de.be4.classicalb.core.parser.node.AConstructorFreetypeConstructor)1