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 }