Lines Matching refs:INTEGER
62 #define INTEGER 1
172 "end-of-file","INTEGER","WORD","STRING","OPEN","CLOSE","COMMA","NEWLINE",
192 "arg1 : INTEGER",
193 "arg1 : INTEGER PERIOD INTEGER",
194 "arg1 : INTEGER EXP INTEGER",
195 "arg1 : INTEGER PERIOD INTEGER EXP INTEGER",