public class ClassicalPositionPrinter extends java.lang.Object implements PositionPrinter
| Modifier and Type | Field and Description |
|---|---|
NodeIdAssignment |
nodeIds |
| Constructor and Description |
|---|
ClassicalPositionPrinter(NodeIdAssignment nodeIds) |
ClassicalPositionPrinter(NodeIdAssignment nodeIds,
int lineOffset,
int columnOffset) |
| Modifier and Type | Method and Description |
|---|---|
void |
printPosition(Node node)
Prints the position info of an AST node as exactly one Prolog term.
|
void |
printSourcePositions(boolean b) |
void |
setColumnOffset(int columnOffset) |
void |
setLineOffset(int lineOffset) |
void |
setPrologTermOutput(de.prob.prolog.output.IPrologTermOutput pout)
Sets the
PrologTermOutput instance that should be used to print
the position information |
public final NodeIdAssignment nodeIds
public ClassicalPositionPrinter(NodeIdAssignment nodeIds)
public ClassicalPositionPrinter(NodeIdAssignment nodeIds, int lineOffset, int columnOffset)
public void printSourcePositions(boolean b)
public void setLineOffset(int lineOffset)
public void setColumnOffset(int columnOffset)
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.