src/Headers/lslinit.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** lslinit.h
   8 */
   9
  10 enum e_LSLInitRuleCode {
  11   /* initFile:                              */
  12   INITFILE1,            /*    initLines EOF */
  13   /* initLines: */
  14   INITLINES1,         /*                */
  15   INITLINES2,         /*     initLine  */
  16   INITLINES3,         /*     initLines initLine */
  17
  18   /* initLine: */
  19   INITLINE1,            /*     EOL   */
  20   INITLINE2,          /*     classification EOL */
  21
  22   /* classification: */
  23   CLASSIFICATION1,    /*     charClass */
  24   CLASSIFICATION2,    /*     tokenClass */
  25   CLASSIFICATION3,    /*     synClass */
  26
  27   /* charClass: */
  28   CHARCLASS1,         /*     ENDCOMMENTCHAR endCommentChars */
  29   CHARCLASS2,         /*     IDCHAR idChars */
  30   CHARCLASS3,         /*     OPCHAR opChars */
  31   CHARCLASS4,         /*     CHC_EXTENSION extensionChar */
  32   CHARCLASS5,         /*     SINGLECHAR singChars */
  33   CHARCLASS6,         /*     WHITECHAR whiteChars */
  34
  35   /* endCommentChars: */
  36   LRC_ENDCOMMENT1,      /*     endCommentChar */
  37   LRC_ENDCOMMENT2,      /*     endCommentChars endCommentChar */
  38
  39   /* idChars: */
  40   IDCHARS1,             /*     idChar */
  41   IDCHARS2,             /*     idChars idChar */
  42
  43   /* opChars */
  44   OPCHARS1,             /*    opChar */
  45   OPCHARS2,             /*    opChars opChar */
  46
  47   /* ExtensionChar */
  48   LRC_EXTENSIONCHAR1,   /*     singleChar */
  49
  50   /* singChars */
  51   SINGCHARS1,           /*     singChar */
  52   SINGCHARS2,           /*     singChars singChar */
  53
  54   /* whiteChars */
  55   WHITECHARS1,  /*     whiteChar */
  56   WHITECHARS2,  /*     whiteChars whiteChar */
  57
  58   /* endCommentChar */
  59   LRC_ENDCOMMENTCHAR1,  /*     commentChar */
  60
  61   /* idChar */
  62   IDCHAR1,              /*     singleChar */
  63
  64   /* opChar */
  65   OPCHAR1,              /*     singleChar */
  66
  67   /* singChar */
  68   SINGCHAR1,            /*     singleChar */
  69
  70   /* whiteChar */
  71   WHITECHAR1,           /*     singleChar */
  72
  73   /* tokenClass: */
  74   TOKENCLASS1,        /*     QUANTIFIERSYM quantifierSymToks */
  75   TOKENCLASS2,        /*     LOGICALOP logicalOpToks */
  76   TOKENCLASS3,        /*     EQOP eqOpToks */
  77   TOKENCLASS4,        /*     EQUATIONSYM equationSymToks */
  78   TOKENCLASS5,        /*     EQSEPSYM eqSepSymToks */
  79   TOKENCLASS6,        /*     SELECTSYM selectSymToks */
  80   TOKENCLASS7,        /*     OPENSYM openSymToks */
  81   TOKENCLASS8,        /*     SEPSYM sepSymToks */
  82   TOKENCLASS9,        /*     CLOSESYM closeSymToks */
  83   TOKENCLASS10,       /*     SIMPLEID simpleIdToks */
  84   TOKENCLASS11,       /*     MAPSYM mapSymToks */
  85   TOKENCLASS12,       /*     MARKERSYM markerSymToks */
  86   TOKENCLASS13,       /*     COMMENTSYM commentSymToks */
  87
  88   /* quantifierSymToks */
  89   QUANTIFIERSYMTOKS1,/*     quantifierSymTok */
  90   QUANTIFIERSYMTOKS2,/*     quantifierSymToks quantifierSymTok */
  91
  92   /* logicalOpToks */
  93   LOGICALOPTOKS1,       /*     logicalOpTok */
  94   LOGICALOPTOKS2,       /*     logicalOpToks logicalOpTok */
  95
  96   /* eqOpToks */
  97   LRC_EQOPTOKS1,                /*     eqOpTok */
  98   LRC_EQOPTOKS2,                /*     eqOpToks eqOpTok */
  99
 100   /* equationSymToks */
 101   LRC_EQUATIONSYMTOKS1, /*     equationSymTok */
 102   LRC_EQUATIONSYMTOKS2, /*     equationSymToks equationSymTok */
 103
 104   /* eqSepSymToks */
 105   LRC_EQSEPSYMTOKS1,    /*     eqSepSymTok */
 106   LRC_EQSEPSYMTOKS2,    /*     eqSepSymToks eqSepSymTok */
 107
 108   /* selectSymToks */
 109   SELECTSYMTOKS1,       /*     selectSymTok */
 110   SELECTSYMTOKS2,       /*     selectSymToks selectSymTok */
 111
 112   /* openSymToks */
 113   OPENSYMTOKS1, /*     openSymTok */
 114   OPENSYMTOKS2, /*     openSymToks openSymTok */
 115
 116   /* sepSymToks */
 117   SEPSYMTOKS1,  /*     sepSymTok */
 118   SEPSYMTOKS2,  /*     sepSymToks sepSymTok */
 119
 120   /* closeSymToks */
 121   CLOSESYMTOKS1,        /*     closeSymTok */
 122   CLOSESYMTOKS2,        /*     closeSymToks closeSymTok */
 123
 124   /* simpleIdToks */
 125   SIMPLEIDTOKS1,        /*     simpleIdTok */
 126   SIMPLEIDTOKS2,        /*     simpleIdToks simpleIdTok */
 127
 128   /* mapSymToks */
 129   MAPSYMTOKS1,          /*     mapSymTok */
 130   MAPSYMTOKS2,          /*     mapSymToks mapSymTok */
 131
 132   /* markerSymToks */
 133   MARKERSYMTOKS1,       /*     markerSymTok */
 134   MARKERSYMTOKS2,       /*     markerSymToks markerSymTok */
 135
 136   /* commentSymToks */
 137   COMMENTSYMTOKS1,      /*     commentSymTok */
 138   COMMENTSYMTOKS2,      /*     commentSymToks commentSymTok */
 139
 140   /* quantifierSymTok */
 141   QUANTIFIERSYMTOK1,    /*     token */
 142
 143   /* logicalOpTok */
 144   LOGICALOPTOK1,        /*     token */
 145
 146   /* eqOpTok */
 147   LRC_EQOPTOK1,         /*     token */
 148
 149   /* equationSymTok */
 150   LRC_EQUATIONSYMTOK1,  /*     token */
 151
 152   /* eqSepSymTok */
 153   LRC_EQSEPSYMTOK1,     /*     token */
 154
 155   /* selectSymTok */
 156   SELECTSYMTOK1,        /*     token */
 157
 158   /* openSymTok */
 159   OPENSYMTOK1,  /*     token */
 160
 161   /* sepSymTok */
 162   SEPSYMTOK1,           /*     token */
 163
 164   /* closeSymTok */
 165   CLOSESYMTOK1, /*     token */
 166
 167   /* simpleIdTok */
 168   SIMPLEIDTOK1, /*     token */
 169
 170   /* mapSymTok */
 171   MAPSYMTOK1,           /*     token */
 172
 173   /* markerSymTok */
 174   MARKERSYMTOK1,        /*     token */
 175
 176   /* commentSymTok */
 177   COMMENTSYMTOK1,       /*     token */
 178
 179   /* synClass: */
 180   SYNCLASS1,          /*     SYNONYM oldToken newToken */
 181
 182   /* oldToken: */
 183   OLDTOKEN1,          /*     token */
 184
 185   /* newToken: */
 186   NEWTOKEN1           /*     token */
 187 } ;
 188
 189 extern void lslinit_setInitFile (/*@only@*/ inputStream p_s)
 190      /*@modifies internalState@*/ ;
 191
 192 extern void lslinit_process (void)
 193      /*@globals undef g_symtab; @*/
 194      /*@modifies g_symtab, internalState, fileSystem; @*/ ;