    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    /* IF THIS IS A JAVA FILE, DO NOT EDIT IT!
    004
    005       Most Java files in this directory which are part of the Javafe AST
    006       are automatically generated using the astgen comment (see
    007       ESCTools/Javafe/astgen) from the input file 'hierarchy.h'.  If you
    008       wish to modify AST classes or introduce new ones, modify
    009       'hierarchy.j.'
    010     */
    011
    012    package escjava.ast;
    013
    014    import java.util.Hashtable;
    015    import java.util.Set;
    016    import java.util.ArrayList;
    017
    018    import javafe.ast.*;
    019    import javafe.util.Assert;
    020    import javafe.util.Location;
    021    import escjava.ParsedRoutineSpecs;
    022
    023    // Convention: unless otherwise noted, integer fields named "loc" refer
    024    // to the location of the first character of the syntactic unit
    025
    026    //# TagBase javafe.tc.TagConstants.LAST_TAG + 1
    027    //# VisitorRoot javafe.ast.Visitor
    028
    029    public class GeneratedTags extends javafe.tc.TagConstants {
    030       static public final int SUBSTEXPR = javafe.tc.TagConstants.LAST_TAG + 1;
    031       static public final int TYPEEXPR = SUBSTEXPR + 1;
    032       static public final int LABELEXPR = TYPEEXPR + 1;
    033       static public final int WILDREFEXPR = LABELEXPR + 1;
    034       static public final int GUARDEXPR = WILDREFEXPR + 1;
    035       static public final int RESEXPR = GUARDEXPR + 1;
    036       static public final int SETCOMPEXPR = RESEXPR + 1;
    037       static public final int LOCKSETEXPR = SETCOMPEXPR + 1;
    038       static public final int EVERYTHINGEXPR = LOCKSETEXPR + 1;
    039       static public final int NOTHINGEXPR = EVERYTHINGEXPR + 1;
    040       static public final int NOTSPECIFIEDEXPR = NOTHINGEXPR + 1;
    041       static public final int NOTMODIFIEDEXPR = NOTSPECIFIEDEXPR + 1;
    042       static public final int ARRAYRANGEREFEXPR = NOTMODIFIEDEXPR + 1;
    043       static public final int DEFPREDLETEXPR = ARRAYRANGEREFEXPR + 1;
    044       static public final int DEFPREDAPPLEXPR = DEFPREDLETEXPR + 1;
    045       static public final int GETSCMD = DEFPREDAPPLEXPR + 1;
    046       static public final int SUBGETSCMD = GETSCMD + 1;
    047       static public final int SUBSUBGETSCMD = SUBGETSCMD + 1;
    048       static public final int RESTOREFROMCMD = SUBSUBGETSCMD + 1;
    049       static public final int VARINCMD = RESTOREFROMCMD + 1;
    050       static public final int DYNINSTCMD = VARINCMD + 1;
    051       static public final int SEQCMD = DYNINSTCMD + 1;
    052       static public final int LOOPCMD = SEQCMD + 1;
    053       static public final int CALL = LOOPCMD + 1;
    054       static public final int MODELDECLPRAGMA = CALL + 1;
    055       static public final int MODELCONSTRUCTORDECLPRAGMA = MODELDECLPRAGMA + 1;
    056       static public final int MODELTYPEPRAGMA = MODELCONSTRUCTORDECLPRAGMA + 1;
    057       static public final int MODELMETHODDECLPRAGMA = MODELTYPEPRAGMA + 1;
    058       static public final int GHOSTDECLPRAGMA = MODELMETHODDECLPRAGMA + 1;
    059       static public final int STILLDEFERREDDECLPRAGMA = GHOSTDECLPRAGMA + 1;
    060       static public final int IDENTIFIERMODIFIERPRAGMA = STILLDEFERREDDECLPRAGMA + 1;
    061       static public final int SETSTMTPRAGMA = IDENTIFIERMODIFIERPRAGMA + 1;
    062       static public final int SKOLEMCONSTANTPRAGMA = SETSTMTPRAGMA + 1;
    063       static public final int MODIFIESGROUPPRAGMA = SKOLEMCONSTANTPRAGMA + 1;
    064       static public final int REACHMODIFIERPRAGMA = MODIFIESGROUPPRAGMA + 1;
    065       static public final int NOWARNPRAGMA = REACHMODIFIERPRAGMA + 1;
    066       static public final int IMPORTPRAGMA = NOWARNPRAGMA + 1;
    067       static public final int REFINEPRAGMA = IMPORTPRAGMA + 1;
    068       static public final int SPEC = REFINEPRAGMA + 1;
    069       static public final int CONDITION = SPEC + 1;
    070       static public final int DEFPRED = CONDITION + 1;
    071       static public final int LAST_TAG = DEFPRED;
    072
    073
    074        static public /*@ non_null @*/ String toString(int tag) {
    075          switch (tag) {
    076            case SUBSTEXPR: return "SUBSTEXPR";
    077            case TYPEEXPR: return "TYPEEXPR";
    078            case LABELEXPR: return "LABELEXPR";
    079            case WILDREFEXPR: return "WILDREFEXPR";
    080            case GUARDEXPR: return "GUARDEXPR";
    081            case RESEXPR: return "RESEXPR";
    082            case SETCOMPEXPR: return "SETCOMPEXPR";
    083            case LOCKSETEXPR: return "LOCKSETEXPR";
    084            case EVERYTHINGEXPR: return "EVERYTHINGEXPR";
    085            case NOTHINGEXPR: return "NOTHINGEXPR";
    086            case NOTSPECIFIEDEXPR: return "NOTSPECIFIEDEXPR";
    087            case NOTMODIFIEDEXPR: return "NOTMODIFIEDEXPR";
    088            case ARRAYRANGEREFEXPR: return "ARRAYRANGEREFEXPR";
    089            case DEFPREDLETEXPR: return "DEFPREDLETEXPR";
    090            case DEFPREDAPPLEXPR: return "DEFPREDAPPLEXPR";
    091            case GETSCMD: return "GETSCMD";
    092            case SUBGETSCMD: return "SUBGETSCMD";
    093            case SUBSUBGETSCMD: return "SUBSUBGETSCMD";
    094            case RESTOREFROMCMD: return "RESTOREFROMCMD";
    095            case VARINCMD: return "VARINCMD";
    096            case DYNINSTCMD: return "DYNINSTCMD";
    097            case SEQCMD: return "SEQCMD";
    098            case LOOPCMD: return "LOOPCMD";
    099            case CALL: return "CALL";
    100            case MODELDECLPRAGMA: return "MODELDECLPRAGMA";
    101            case MODELCONSTRUCTORDECLPRAGMA: return "MODELCONSTRUCTORDECLPRAGMA";
    102            case MODELTYPEPRAGMA: return "MODELTYPEPRAGMA";
    103            case MODELMETHODDECLPRAGMA: return "MODELMETHODDECLPRAGMA";
    104            case GHOSTDECLPRAGMA: return "GHOSTDECLPRAGMA";
    105            case STILLDEFERREDDECLPRAGMA: return "STILLDEFERREDDECLPRAGMA";
    106            case IDENTIFIERMODIFIERPRAGMA: return "IDENTIFIERMODIFIERPRAGMA";
    107            case SETSTMTPRAGMA: return "SETSTMTPRAGMA";
    108            case SKOLEMCONSTANTPRAGMA: return "SKOLEMCONSTANTPRAGMA";
    109            case MODIFIESGROUPPRAGMA: return "MODIFIESGROUPPRAGMA";
    110            case REACHMODIFIERPRAGMA: return "REACHMODIFIERPRAGMA";
    111            case NOWARNPRAGMA: return "NOWARNPRAGMA";
    112            case IMPORTPRAGMA: return "IMPORTPRAGMA";
    113            case REFINEPRAGMA: return "REFINEPRAGMA";
    114            case SPEC: return "SPEC";
    115            case CONDITION: return "CONDITION";
    116            case DEFPRED: return "DEFPRED";
    117            default: return javafe.tc.TagConstants.toString(tag);
    118          }
    119        }
    120    }