public interface SourcePosition
Modifier and Type | Method and Description |
---|---|
int |
getColumn()
Get the column number of the position.
|
Identifier |
getIdentifier()
Get identifier registered with denoted position.
|
int |
getLength()
Get number of characters from current position to end of line.
|
int |
getLine()
Get the line number of the position.
|
int |
getOffset()
Get offset of denoted position
|
Source |
getSource()
Get the source file.
|
java.lang.String |
getSourceLine()
Get source line corresponding to position.
|
void |
setIdentifier(Identifier ident)
Register identifier with denoted position.
|
java.lang.String |
toString()
Get printable text representation of position.
|
Source getSource()
int getLine()
int getColumn()
int getOffset()
int getLength()
java.lang.String toString()
toString
in class java.lang.Object
java.lang.String getSourceLine()
void setIdentifier(Identifier ident)
ident
- the identifier to be registered.Identifier getIdentifier()