public interface PositionPrinter
| Modifier and Type | Method and Description |
|---|---|
void |
printPosition(Node node)
Prints the position info of an AST node as exactly one Prolog term.
|
void |
setPrologTermOutput(de.prob.prolog.output.IPrologTermOutput pout)
Sets the
PrologTermOutput instance that should be used to print
the position information |
void setPrologTermOutput(de.prob.prolog.output.IPrologTermOutput pout)
PrologTermOutput instance that should be used to print
the position informationpout - The PrologTermOutput, never null.void printPosition(Node node)
node - The AST node, never null