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