public class ResourcePointer
extends java.lang.Object
Constructor and Description |
---|
ResourcePointer(ResourceName resourceName) |
ResourcePointer(ResourceName resourceName,
java.lang.String line,
int lineNo,
int col) |
Modifier and Type | Method and Description |
---|---|
int |
getLineNo() |
ResourcePointer |
nextCol() |
ResourcePointer |
nextLine(java.lang.String line) |
java.lang.String |
toString() |
public ResourcePointer(ResourceName resourceName)
public ResourcePointer(ResourceName resourceName, java.lang.String line, int lineNo, int col)
public ResourcePointer nextCol()
public ResourcePointer nextLine(java.lang.String line)
public int getLineNo()
public java.lang.String toString()
toString
in class java.lang.Object