2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
10 enum e_LSLInitRuleCode {
12 INITFILE1, /* initLines EOF */
15 INITLINES2, /* initLine */
16 INITLINES3, /* initLines initLine */
20 INITLINE2, /* classification EOL */
23 CLASSIFICATION1, /* charClass */
24 CLASSIFICATION2, /* tokenClass */
25 CLASSIFICATION3, /* synClass */
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 */
35 /* endCommentChars: */
36 LRC_ENDCOMMENT1, /* endCommentChar */
37 LRC_ENDCOMMENT2, /* endCommentChars endCommentChar */
40 IDCHARS1, /* idChar */
41 IDCHARS2, /* idChars idChar */
44 OPCHARS1, /* opChar */
45 OPCHARS2, /* opChars opChar */
48 LRC_EXTENSIONCHAR1, /* singleChar */
51 SINGCHARS1, /* singChar */
52 SINGCHARS2, /* singChars singChar */
55 WHITECHARS1, /* whiteChar */
56 WHITECHARS2, /* whiteChars whiteChar */
59 LRC_ENDCOMMENTCHAR1, /* commentChar */
62 IDCHAR1, /* singleChar */
65 OPCHAR1, /* singleChar */
68 SINGCHAR1, /* singleChar */
71 WHITECHAR1, /* singleChar */
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 */
88 /* quantifierSymToks */
89 QUANTIFIERSYMTOKS1,/* quantifierSymTok */
90 QUANTIFIERSYMTOKS2,/* quantifierSymToks quantifierSymTok */
93 LOGICALOPTOKS1, /* logicalOpTok */
94 LOGICALOPTOKS2, /* logicalOpToks logicalOpTok */
97 LRC_EQOPTOKS1, /* eqOpTok */
98 LRC_EQOPTOKS2, /* eqOpToks eqOpTok */
100 /* equationSymToks */
101 LRC_EQUATIONSYMTOKS1, /* equationSymTok */
102 LRC_EQUATIONSYMTOKS2, /* equationSymToks equationSymTok */
105 LRC_EQSEPSYMTOKS1, /* eqSepSymTok */
106 LRC_EQSEPSYMTOKS2, /* eqSepSymToks eqSepSymTok */
109 SELECTSYMTOKS1, /* selectSymTok */
110 SELECTSYMTOKS2, /* selectSymToks selectSymTok */
113 OPENSYMTOKS1, /* openSymTok */
114 OPENSYMTOKS2, /* openSymToks openSymTok */
117 SEPSYMTOKS1, /* sepSymTok */
118 SEPSYMTOKS2, /* sepSymToks sepSymTok */
121 CLOSESYMTOKS1, /* closeSymTok */
122 CLOSESYMTOKS2, /* closeSymToks closeSymTok */
125 SIMPLEIDTOKS1, /* simpleIdTok */
126 SIMPLEIDTOKS2, /* simpleIdToks simpleIdTok */
129 MAPSYMTOKS1, /* mapSymTok */
130 MAPSYMTOKS2, /* mapSymToks mapSymTok */
133 MARKERSYMTOKS1, /* markerSymTok */
134 MARKERSYMTOKS2, /* markerSymToks markerSymTok */
137 COMMENTSYMTOKS1, /* commentSymTok */
138 COMMENTSYMTOKS2, /* commentSymToks commentSymTok */
140 /* quantifierSymTok */
141 QUANTIFIERSYMTOK1, /* token */
144 LOGICALOPTOK1, /* token */
147 LRC_EQOPTOK1, /* token */
150 LRC_EQUATIONSYMTOK1, /* token */
153 LRC_EQSEPSYMTOK1, /* token */
156 SELECTSYMTOK1, /* token */
159 OPENSYMTOK1, /* token */
162 SEPSYMTOK1, /* token */
165 CLOSESYMTOK1, /* token */
168 SIMPLEIDTOK1, /* token */
171 MAPSYMTOK1, /* token */
174 MARKERSYMTOK1, /* token */
177 COMMENTSYMTOK1, /* token */
180 SYNCLASS1, /* SYNONYM oldToken newToken */
183 OLDTOKEN1, /* token */
186 NEWTOKEN1 /* token */
189 extern void lslinit_setInitFile (/*@only@*/ inputStream p_s)
190 /*@modifies internalState@*/ ;
192 extern void lslinit_process (void)
193 /*@globals undef g_symtab; @*/
194 /*@modifies g_symtab, internalState, fileSystem; @*/ ;