/*
 * Created on Jan 9, 2006
 */

public enum Type {
    /**
     * A Token that begins with a letter, and may contain any number of
     *  letters, digits, and/or underscores.
     */
    NAME,
    
    /**
     * A Token that consists of one or more digits. A sign (+ or -),
     * if present, is <i>not</i> part of a number.
     */
    NUMBER,
    
    /**
     * Any single character that isn't whitespace and isn't part
     * of a name or a number.
     */
    SYMBOL,
    
    /**
     * Denotes the end of the input String. For this type, the value is
     * the empty string.
     */
    EOL
}