let rec token lexbuf =
__ocaml_lex_token_rec lexbuf 0
and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
| 0 ->
# 59 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_TRUE )
# 1198 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 1 ->
# 60 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_NEVER )
# 1203 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 2 ->
# 61 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_IF )
# 1208 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 3 ->
# 62 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_FI )
# 1213 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 4 ->
# 63 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_GOTO )
# 1218 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 5 ->
# 64 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_SKIP )
# 1223 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 6 ->
# 65 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_DOUBLE_COLON )
# 1228 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 7 ->
# 66 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_COLON )
# 1233 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 8 ->
# 67 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_SEMICOLON )
# 1238 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 9 ->
# 68 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_LPAREN )
# 1243 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 10 ->
# 69 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_RPAREN )
# 1248 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 11 ->
# 70 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_LBRACE )
# 1253 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 12 ->
# 71 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_RBRACE )
# 1258 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 13 ->
# 72 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_RIGHT_ARROW )
# 1263 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 14 ->
# 73 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_FALSE )
# 1268 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 15 ->
# 74 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_OR )
# 1273 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 16 ->
# 75 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_AND )
# 1278 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 17 ->
# 76 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_NOT )
# 1283 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 18 ->
# 77 "src/ltl_to_acsl/promelalexer_withexps.mll"
( token lexbuf )
# 1288 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 19 ->
# 78 "src/ltl_to_acsl/promelalexer_withexps.mll"
( newline lexbuf; token lexbuf )
# 1293 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 20 ->
# 79 "src/ltl_to_acsl/promelalexer_withexps.mll"
( comment lexbuf; token lexbuf )
# 1298 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 21 ->
# 80 "src/ltl_to_acsl/promelalexer_withexps.mll"
( newline lexbuf; token lexbuf )
# 1303 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 22 ->
# 83 "src/ltl_to_acsl/promelalexer_withexps.mll"
( let s=(lexeme lexbuf) in
let s=String.sub s 7 ((String.length s)-7) in
PROMELA_CALLOF s )
# 1310 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 23 ->
# 87 "src/ltl_to_acsl/promelalexer_withexps.mll"
( let s=(lexeme lexbuf) in
let s=String.sub s 9 ((String.length s)-9) in
PROMELA_RETURNOF s )
# 1317 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 24 ->
# 91 "src/ltl_to_acsl/promelalexer_withexps.mll"
( let s=(lexeme lexbuf) in
let s=String.sub s 15 ((String.length s)-15) in
PROMELA_CALLORRETURNOF s )
# 1324 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 25 ->
# 96 "src/ltl_to_acsl/promelalexer_withexps.mll"
( raise_located (loc lexbuf) "Illegal fonction name in Promela file." )
# 1329 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 26 ->
# 97 "src/ltl_to_acsl/promelalexer_withexps.mll"
( raise_located (loc lexbuf) "Illegal fonction name in Promela file." )
# 1334 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 27 ->
# 98 "src/ltl_to_acsl/promelalexer_withexps.mll"
( raise_located (loc lexbuf) "Illegal fonction name in Promela file." )
# 1339 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 28 ->
# 101 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_INT (lexeme lexbuf) )
# 1344 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 29 ->
# 105 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_EQ )
# 1349 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 30 ->
# 106 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_LT )
# 1354 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 31 ->
# 107 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_GT )
# 1359 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 32 ->
# 108 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_LE )
# 1364 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 33 ->
# 109 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_GE )
# 1369 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 34 ->
# 110 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_NEQ )
# 1374 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 35 ->
# 113 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_PLUS )
# 1379 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 36 ->
# 114 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_MINUS )
# 1384 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 37 ->
# 115 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_DIV )
# 1389 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 38 ->
# 116 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_STAR )
# 1394 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 39 ->
# 117 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_MODULO)
# 1399 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 40 ->
# 121 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_DOT )
# 1404 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 41 ->
# 122 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_LEFT_SQUARE)
# 1409 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 42 ->
# 123 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_RIGHT_SQUARE)
# 1414 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 43 ->
# 129 "src/ltl_to_acsl/promelalexer_withexps.mll"
( let s = lexeme lexbuf in
PROMELA_LABEL s )
# 1420 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 44 ->
# 131 "src/ltl_to_acsl/promelalexer_withexps.mll"
( EOF )
# 1425 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 45 ->
# 133 "src/ltl_to_acsl/promelalexer_withexps.mll"
( PROMELA_TRUE )
# 1430 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 46 ->
# 134 "src/ltl_to_acsl/promelalexer_withexps.mll"
( Ltl_to_acsl_option.error "Illegal_character : '%s'\n" (lexeme lexbuf);
raise Parsing.Parse_error)
# 1436 "src/ltl_to_acsl/promelalexer_withexps.ml"
| __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state
and comment lexbuf =
__ocaml_lex_comment_rec lexbuf 93
and __ocaml_lex_comment_rec lexbuf __ocaml_lex_state =
match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
| 0 ->
# 141 "src/ltl_to_acsl/promelalexer_withexps.mll"
( () )
# 1447 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 1 ->
# 142 "src/ltl_to_acsl/promelalexer_withexps.mll"
( Ltl_to_acsl_option.warning "Unterminated_comment\n" )
# 1452 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 2 ->
# 143 "src/ltl_to_acsl/promelalexer_withexps.mll"
( newline lexbuf; comment lexbuf )
# 1457 "src/ltl_to_acsl/promelalexer_withexps.ml"
| 3 ->
# 144 "src/ltl_to_acsl/promelalexer_withexps.mll"
( comment lexbuf )
# 1462 "src/ltl_to_acsl/promelalexer_withexps.ml"
| __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_comment_rec lexbuf __ocaml_lex_state