kalzium/src/solver/lexer.ml

   1 # 22 "lexer.mll"
   2
   3         open Parser;;
   4         exception IllegalChar
   5
   6 # 7 "lexer.ml"
   7 let __ocaml_lex_tables = {
   8   Lexing.lex_base =
   9    "\000\000\244\255\255\255\075\000\253\255\036\000\251\255\249\255\
  10     \248\255\247\255\246\255\000\000\243\255\245\255";
  11   Lexing.lex_backtrk =
  12    "\255\255\255\255\255\255\001\000\255\255\003\000\255\255\255\255\
  13     \255\255\255\255\255\255\005\000\255\255\255\255";
  14   Lexing.lex_default =
  15    "\001\000\000\000\000\000\255\255\000\000\255\255\000\000\000\000\
  16     \000\000\000\000\000\000\255\255\000\000\000\000";
  17   Lexing.lex_trans =
  18    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  19     \000\000\002\000\002\000\000\000\000\000\000\000\000\000\000\000\
  20     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  21     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  22     \002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  23     \007\000\008\000\000\000\006\000\000\000\011\000\000\000\000\000\
  24     \003\000\003\000\003\000\003\000\003\000\003\000\003\000\003\000\
  25     \003\000\003\000\000\000\000\000\000\000\000\000\013\000\000\000\
  26     \000\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
  27     \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
  28     \004\000\004\000\004\000\004\000\004\000\004\000\004\000\004\000\
  29     \004\000\004\000\004\000\009\000\000\000\010\000\000\000\000\000\
  30     \000\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  31     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  32     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  33     \005\000\005\000\005\000\003\000\003\000\003\000\003\000\003\000\
  34     \003\000\003\000\003\000\003\000\003\000\005\000\005\000\005\000\
  35     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  36     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  37     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\000\000\
  38     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  39     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  40     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  41     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  42     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  43     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  44     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  45     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  46     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  47     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  48     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  49     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  50     \012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  51     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  52     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  53     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  54     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  55     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  56     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  57     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  58     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  59     \000\000\000\000\000\000\000\000";
  60   Lexing.lex_check =
  61    "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  62     \255\255\000\000\000\000\255\255\255\255\255\255\255\255\255\255\
  63     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  64     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  65     \000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  66     \000\000\000\000\255\255\000\000\255\255\000\000\255\255\255\255\
  67     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  68     \000\000\000\000\255\255\255\255\255\255\255\255\011\000\255\255\
  69     \255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  70     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  71     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  72     \000\000\000\000\000\000\000\000\255\255\000\000\255\255\255\255\
  73     \255\255\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  74     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  75     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
  76     \000\000\000\000\000\000\003\000\003\000\003\000\003\000\003\000\
  77     \003\000\003\000\003\000\003\000\003\000\005\000\005\000\005\000\
  78     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  79     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\005\000\
  80     \005\000\005\000\005\000\005\000\005\000\005\000\005\000\255\255\
  81     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  82     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  83     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  84     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  85     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  86     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  87     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  88     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  89     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  90     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  91     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  92     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  93     \000\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  94     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  95     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  96     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  97     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  98     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
  99     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
 100     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
 101     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
 102     \255\255\255\255\255\255\255\255";
 103   Lexing.lex_base_code =
 104    "";
 105   Lexing.lex_backtrk_code =
 106    "";
 107   Lexing.lex_default_code =
 108    "";
 109   Lexing.lex_trans_code =
 110    "";
 111   Lexing.lex_check_code =
 112    "";
 113   Lexing.lex_code =
 114    "";
 115 }
 116
 117 let rec token lexbuf =
 118     __ocaml_lex_token_rec lexbuf 0
 119 and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
 120   match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
 121       | 0 ->
 122 # 28 "lexer.mll"
 123                   (token lexbuf)
 124 # 125 "lexer.ml"
 125
 126   | 1 ->
 127 # 29 "lexer.mll"
 128                   ( INT(int_of_string(Lexing.lexeme lexbuf)) )
 129 # 130 "lexer.ml"
 130
 131   | 2 ->
 132 # 30 "lexer.mll"
 133                   ( CAPITAL(Lexing.lexeme lexbuf) )
 134 # 135 "lexer.ml"
 135
 136   | 3 ->
 137 # 31 "lexer.mll"
 138                   ( MINOR(Lexing.lexeme lexbuf) )
 139 # 140 "lexer.ml"
 140
 141   | 4 ->
 142 # 32 "lexer.mll"
 143                   ( PLUS )
 144 # 145 "lexer.ml"
 145
 146   | 5 ->
 147 # 33 "lexer.mll"
 148                   ( MINUS )
 149 # 150 "lexer.ml"
 150
 151   | 6 ->
 152 # 34 "lexer.mll"
 153                   ( LPAREN )
 154 # 155 "lexer.ml"
 155
 156   | 7 ->
 157 # 35 "lexer.mll"
 158                   ( RPAREN )
 159 # 160 "lexer.ml"
 160
 161   | 8 ->
 162 # 36 "lexer.mll"
 163                   ( LBRACKET )
 164 # 165 "lexer.ml"
 165
 166   | 9 ->
 167 # 37 "lexer.mll"
 168                   ( RBRACKET )
 169 # 170 "lexer.ml"
 170
 171   | 10 ->
 172 # 38 "lexer.mll"
 173                   ( ARROW )
 174 # 175 "lexer.ml"
 175
 176   | 11 ->
 177 # 39 "lexer.mll"
 178                   ( raise IllegalChar; )
 179 # 180 "lexer.ml"
 180
 181   | 12 ->
 182 # 40 "lexer.mll"
 183                   ( EOF )
 184 # 185 "lexer.ml"
 185
 186   | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state
 187
 188 ;;
 189