gui.highlighting
Class Token

java.lang.Object
  extended by gui.highlighting.Token

public class Token
extends java.lang.Object

A token represents a smallest meaningful fragment of text, such as a word, recognised by a scanner.


Field Summary
 int position
          The token's position is given by an index into the document text.
 Symbol symbol
          The symbol contains all the properties shared with similar tokens.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

symbol

public Symbol symbol
The symbol contains all the properties shared with similar tokens.


position

public int position
The token's position is given by an index into the document text.