Searched refs:TK_EXIT (Results 1 – 7 of 7) sorted by relevance
/dports/math/yices/yices-2.6.2/src/frontend/yices/ |
H A D | yices_lexer.h | 56 TK_PUSH, TK_POP, TK_RESET, TK_DUMP_CONTEXT, TK_EXIT, enumerator
|
H A D | yices_hash_keywords.h | 220 {"exit", TK_EXIT}, in in_yices_kw()
|
H A D | yices_lexer.c | 171 { "exit", TK_EXIT },
|
/dports/math/yices/yices-2.6.2/utils/ |
H A D | yices_input_tables.h | 232 { c1, TK_EXIT, "exit_next_goto_r0" }, 303 { c15, TK_EXIT, "symbol_next_goto_r0" },
|
/dports/math/libpgmath/flang-d07daf3/tools/flang1/flang1exe/ |
H A D | kwddf.h | 167 {"exit", TK_EXIT},
|
H A D | semant3.c | 5341 if (DI_ID(doif) == DI_DOCONCURRENT && scn.stmtyp == TK_EXIT) { in semant3() 5351 if (scn.stmtyp == TK_EXIT) { in semant3()
|
/dports/math/libpgmath/flang-d07daf3/tools/flang1/utils/prstab/ |
H A D | gram.tki | 226 EXIT TK_EXIT
|