001 /* Copyright 2000, 2001, Compaq Computer Corporation */ 002 003 package javafe.tc; 004 005 public class TagConstants extends javafe.parser.TagConstants 006 { 007 public static final int TYPESIG = javafe.parser.TagConstants.LAST_TAG + 1; 008 009 public static final int LAST_TAG = TYPESIG; 010 011 //@ ensures \result != null; 012 public static String toString(int tag) { 013 switch (tag) { 014 case TYPESIG: 015 return "TYPESIG"; 016 017 default: 018 return javafe.parser.TagConstants.toString(tag); 019 } 020 } 021 } // end of class TagConstants 022 023 /* 024 * Local Variables: 025 * Mode: Java 026 * fill-column: 85 027 * End: 028 */