Warning, /education/kalzium/src/solver/lexer.ml is written in an unsupported language. File is not indexed.
0001 # 22 "lexer.mll"
0002
0003 open Parser;;
0004 exception IllegalChar
0005
0006 # 7 "lexer.ml"
0007 let __ocaml_lex_tables = {
0008 Lexing.lex_base =
0009 "\000\000\244\255\255\255\075\000\253\255\036\000\251\255\249\255\
0010 \248\255\247\255\246\255\000\000\243\255\245\255";
0011 Lexing.lex_backtrk =
0012 "\255\255\255\255\255\255\001\000\255\255\003\000\255\255\255\255\
0013 \255\255\255\255\255\255\005\000\255\255\255\255";
0014 Lexing.lex_default =
0015 "\001\000\000\000\000\000\255\255\000\000\255\255\000\000\000\000\
0016 \000\000\000\000\000\000\255\255\000\000\000\000";
0017 Lexing.lex_trans =
0018 "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0019 \000\000\002\000\002\000\000\000\000\000\000\000\000\000\000\000\
0020 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0021 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0022 \002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0023 \007\000\008\000\000\000\006\000\000\000\011\000\000\000\000\000\
0024 \003\000\003\000\003\000\003\000\003\000\003\000\003\000\003\000\
0025 \003\000\003\000\000\000\000\000\000\000\000\000\013\000\000\000\
0026 \000\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
0027 \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
0028 \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
0029 \004\000\004\000\004\000\009\000\000\000\010\000\000\000\000\000\
0030 \000\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0031 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0032 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0033 \005\000\005\000\005\000\003\000\003\000\003\000\003\000\003\000\
0034 \003\000\003\000\003\000\003\000\003\000\005\000\005\000\005\000\
0035 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0036 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0037 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\000\000\
0038 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0039 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0040 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0041 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0042 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0043 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0044 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0045 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0046 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0047 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0048 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0049 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0050 \012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0051 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0052 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0053 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0054 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0055 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0056 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0057 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0058 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0059 \000\000\000\000\000\000\000\000";
0060 Lexing.lex_check =
0061 "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0062 \255\255\000\000\000\000\255\255\255\255\255\255\255\255\255\255\
0063 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0064 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0065 \000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0066 \000\000\000\000\255\255\000\000\255\255\000\000\255\255\255\255\
0067 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0068 \000\000\000\000\255\255\255\255\255\255\255\255\011\000\255\255\
0069 \255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0070 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0071 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0072 \000\000\000\000\000\000\000\000\255\255\000\000\255\255\255\255\
0073 \255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0074 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0075 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
0076 \000\000\000\000\000\000\003\000\003\000\003\000\003\000\003\000\
0077 \003\000\003\000\003\000\003\000\003\000\005\000\005\000\005\000\
0078 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0079 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
0080 \005\000\005\000\005\000\005\000\005\000\005\000\005\000\255\255\
0081 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0082 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0083 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0084 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0085 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0086 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0087 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0088 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0089 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0090 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0091 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0092 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0093 \000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0094 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0095 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0096 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0097 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0098 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0099 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0100 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0101 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
0102 \255\255\255\255\255\255\255\255";
0103 Lexing.lex_base_code =
0104 "";
0105 Lexing.lex_backtrk_code =
0106 "";
0107 Lexing.lex_default_code =
0108 "";
0109 Lexing.lex_trans_code =
0110 "";
0111 Lexing.lex_check_code =
0112 "";
0113 Lexing.lex_code =
0114 "";
0115 }
0116
0117 let rec token lexbuf =
0118 __ocaml_lex_token_rec lexbuf 0
0119 and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
0120 match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
0121 | 0 ->
0122 # 28 "lexer.mll"
0123 (token lexbuf)
0124 # 125 "lexer.ml"
0125
0126 | 1 ->
0127 # 29 "lexer.mll"
0128 ( INT(int_of_string(Lexing.lexeme lexbuf)) )
0129 # 130 "lexer.ml"
0130
0131 | 2 ->
0132 # 30 "lexer.mll"
0133 ( CAPITAL(Lexing.lexeme lexbuf) )
0134 # 135 "lexer.ml"
0135
0136 | 3 ->
0137 # 31 "lexer.mll"
0138 ( MINOR(Lexing.lexeme lexbuf) )
0139 # 140 "lexer.ml"
0140
0141 | 4 ->
0142 # 32 "lexer.mll"
0143 ( PLUS )
0144 # 145 "lexer.ml"
0145
0146 | 5 ->
0147 # 33 "lexer.mll"
0148 ( MINUS )
0149 # 150 "lexer.ml"
0150
0151 | 6 ->
0152 # 34 "lexer.mll"
0153 ( LPAREN )
0154 # 155 "lexer.ml"
0155
0156 | 7 ->
0157 # 35 "lexer.mll"
0158 ( RPAREN )
0159 # 160 "lexer.ml"
0160
0161 | 8 ->
0162 # 36 "lexer.mll"
0163 ( LBRACKET )
0164 # 165 "lexer.ml"
0165
0166 | 9 ->
0167 # 37 "lexer.mll"
0168 ( RBRACKET )
0169 # 170 "lexer.ml"
0170
0171 | 10 ->
0172 # 38 "lexer.mll"
0173 ( ARROW )
0174 # 175 "lexer.ml"
0175
0176 | 11 ->
0177 # 39 "lexer.mll"
0178 ( raise IllegalChar; )
0179 # 180 "lexer.ml"
0180
0181 | 12 ->
0182 # 40 "lexer.mll"
0183 ( EOF )
0184 # 185 "lexer.ml"
0185
0186 | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state
0187
0188 ;;