/**
 * Simple symbols for a tokenizer.
 *
 * @author Samuel A. Rebelsky
 * @version 1.0 of October 2002
 */
public class Symbol
  extends NamedToken
{
  // +--------------+-------------------------------------------------------
  // | Constructors |
  // +--------------+

  public Symbol(String name, int toktype) {
    super(name,toktype);
  } // Symbol(String)

  // +-----------+----------------------------------------------------------
  // | Observers |
  // +-----------+

  public String toString() {
    return "SYM[" + this.name + "]";
  } // toString()

} // class Symbol