Fixed scanner bug causing .id=*nn values not to be scanned correctly.
This commit is contained in:
parent
bd08b964ee
commit
16eb6cb17e
|
|
@ -95,7 +95,7 @@ class Scanner {
|
||||||
/** process 'name' tokens which could be key words or text */
|
/** process 'name' tokens which could be key words or text */
|
||||||
private Token name() throws ScanException {
|
private Token name() throws ScanException {
|
||||||
text = new StringBuilder();
|
text = new StringBuilder();
|
||||||
while (in(c,"[A-Za-z0-9-\\.]")) {
|
while (in(c,"[A-Za-z0-9-\\.\\*]")) {
|
||||||
text.append(c);
|
text.append(c);
|
||||||
nextChar();
|
nextChar();
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue