...
No Format |
---|
STRING: '\"' CHARS '\"' {setText(getText().substring(1, getText().length()-1));} ;
|
Some tokens are easy:
...
...
No Format |
---|
STRING: '\"' CHARS '\"' {setText(getText().substring(1, getText().length()-1));} ;
|
Some tokens are easy:
...