public class PushedLocation extends Object
Constructor and Description |
---|
PushedLocation(int line,
int linePrev,
int col,
int colPrev,
boolean nextCharOnNewLine,
String publicId,
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.
|
String |
getPublicId()
Returns the publicId.
|
String |
getSystemId()
Returns the systemId.
|
boolean |
isNextCharOnNewLine()
Returns the nextCharOnNewLine.
|
public PushedLocation(int line, int linePrev, int col, int colPrev, boolean nextCharOnNewLine, String publicId, 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 String getPublicId()
public String getSystemId()
public PushedLocation getNext()
Copyright © 2017. All rights reserved.