/**
 * This trivially extends @{link BaseToken} by adding a punctuation class.
 *
 * @author Terran Lane
 * @version 1.0
 */
public class WPIToken extends BaseToken {
  public WPIToken(String tstr, int ttype) {
    super(tstr,ttype);
  }
  public static final int T_PUNCT=3;
}