Lines Matching refs:INTEGER
69 #define INTEGER 1
179 "end-of-file","INTEGER","WORD","STRING","OPEN","CLOSE","COMMA","NEWLINE",
199 "arg1 : INTEGER",
200 "arg1 : INTEGER PERIOD INTEGER",
201 "arg1 : INTEGER EXP INTEGER",
202 "arg1 : INTEGER PERIOD INTEGER EXP INTEGER",