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