public class PushedLocation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
col |
private int |
colPrev |
private int |
line |
private int |
linePrev |
private PushedLocation |
next |
private boolean |
nextCharOnNewLine |
private java.lang.String |
publicId |
private java.lang.String |
systemId |
Constructor and Description |
---|
PushedLocation(int line,
int linePrev,
int col,
int colPrev,
boolean nextCharOnNewLine,
java.lang.String publicId,
java.lang.String systemId,
PushedLocation next) |
Modifier and Type | Method and Description |
---|---|
int |
getCol()
Returns the col.
|
int |
getColPrev()
Returns the colPrev.
|
int |
getLine()
Returns the line.
|
int |
getLinePrev()
Returns the linePrev.
|
PushedLocation |
getNext()
Returns the next.
|
java.lang.String |
getPublicId()
Returns the publicId.
|
java.lang.String |
getSystemId()
Returns the systemId.
|
boolean |
isNextCharOnNewLine()
Returns the nextCharOnNewLine.
|
private final int line
private final int linePrev
private final int col
private final int colPrev
private final boolean nextCharOnNewLine
private final java.lang.String publicId
private final java.lang.String systemId
private final PushedLocation next
public PushedLocation(int line, int linePrev, int col, int colPrev, boolean nextCharOnNewLine, java.lang.String publicId, java.lang.String systemId, PushedLocation next)
line
- linePrev
- col
- colPrev
- nextCharOnNewLine
- publicId
- systemId
- next
- public int getLine()
public int getLinePrev()
public int getCol()
public int getColPrev()
public boolean isNextCharOnNewLine()
public java.lang.String getPublicId()
public java.lang.String getSystemId()
public PushedLocation getNext()