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 /*@non_null*/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     */