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