public int getCurrentTokenEndPosition() {
return this.currentPosition - 1;
}
+
+
public final char[] getCurrentTokenSource() {
// Return the token REAL source (aka unicodes are precomputed)
public int getCurrentTokenStartPosition() {
return this.startPosition;
}
+
+ public final char[] getCurrentStringLiteralSource() {
+ // Return the token REAL source (aka unicodes are precomputed)
+
+ char[] result;
+
+ int length;
+ System.arraycopy(source, startPosition+1, result = new char[length = currentPosition - startPosition - 2], 0, length);
+ // }
+ return result;
+ }
+
/*
* Search the source position corresponding to the end of a given line number
*