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 © 2024. All rights reserved.