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)
PositionPrinter
printPosition
in interface PositionPrinter
node
- The AST node, never null
public void setPrologTermOutput(de.prob.prolog.output.IPrologTermOutput pout)
PositionPrinter
PrologTermOutput
instance that should be used to print
the position informationsetPrologTermOutput
in interface PositionPrinter
pout
- The PrologTermOutput
, never null
.