public class ClassicalPositionPrinter extends java.lang.Object implements PositionPrinter
| Modifier and Type | Field and Description |
|---|---|
NodeIdAssignment |
nodeIds |
| Constructor and Description |
|---|
ClassicalPositionPrinter(NodeIdAssignment nodeIds) |
| 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 |
setSourcePositions(SourcePositions positions) |
public final NodeIdAssignment nodeIds
public ClassicalPositionPrinter(NodeIdAssignment nodeIds)
public void setSourcePositions(SourcePositions positions)
public void printPosition(Node node)
PositionPrinterprintPosition in interface PositionPrinternode - The AST node, never nullpublic void setPrologTermOutput(de.prob.prolog.output.IPrologTermOutput pout)
PositionPrinterPrologTermOutput instance that should be used to print
the position informationsetPrologTermOutput in interface PositionPrinterpout - The PrologTermOutput, never null.