Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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

Some tokens are easy:

...