input_lexer.mll

{
  open Input_parser
  open Lexing

  exception SyntaxError of string

  let resolve_id =
    let table = Hashtbl.create 100 in
    let () = List.iter (fun (k, v) -> Hashtbl.add table k v) [
      "Constants", CONSTANTS;
      "constants", CONSTANTS;
      "Variables", VARIABLES;
      "variables", VARIABLES;
      "Definitions", DEFINITIONS;
      "definitions", DEFINITIONS;
      "Constraints", CONSTRAINTS;
      "constraints", CONSTRAINTS;
      "Expressions", EXPRESSIONS;
      "expressions", EXPRESSIONS;
      "IN", IN;
      "in", IN;
      "int", INT;
      "real", REAL;
      "float16", FLOAT(16);
      "float32", FLOAT(32);
      "float64", FLOAT(64);
      "float128", FLOAT(128);
      "rnd", RND;
      "no_rnd", NO_RND;
      "rnd16_ne", RND_PAR(16, "ne"); 
      "rnd16", RND_PAR(16, "ne"); 
      "rnd16_0", RND_PAR(16, "zero");
      "rnd16_down", RND_PAR(16, "down");
      "rnd16_up", RND_PAR(16, "up");
      "rnd32_ne", RND_PAR(32, "ne");
      "rnd32", RND_PAR(32, "ne");
      "rnd32_0", RND_PAR(32, "zero");
      "rnd32_down", RND_PAR(32, "down");
      "rnd32_up", RND_PAR(32, "up");
      "rnd64_ne", RND_PAR(64, "ne");
      "rnd64", RND_PAR(64, "ne");
      "rnd64_0", RND_PAR(64, "zero");
      "rnd64_down", RND_PAR(64, "down");
      "rnd64_up", RND_PAR(64, "up");
      "rnd128_ne", RND_PAR(128, "ne");
      "rnd128", RND_PAR(128, "ne");
      "rnd128_0", RND_PAR(128, "zero");
      "rnd128_down", RND_PAR(128, "down");
      "rnd128_up", RND_PAR(128, "up");
      "inv", INV;
      "abs", ABS;
      "fma", FMA;
      "sqrt", SQRT;
      "min", MIN;
      "max", MAX;
      "exp", EXP;
      "log", LOG;
      "cos", COS;
      "sin", SIN;
      "tan", TAN;
      "cosh", COSH;
      "sinh", SINH;
      "tanh", TANH;
      "acos", ACOS;
      "asin", ASIN;
      "atan", ATAN;
      "atan2", ATAN2;
      "arccos", ACOS;
      "arcsin", ASIN;
      "arctan", ATAN;
      "acosh", ACOSH;
      "asinh", ASINH;
      "atanh", ATANH;
      "arsinh", ASINH;
      "arcosh", ACOSH;
      "artanh", ATANH;
      "arcsinh", ASINH;
      "arccosh", ACOSH;
      "arctanh", ATANH;
      "argsinh", ASINH;
      "argcosh", ACOSH;
      "argtanh", ATANH;
      "sub2", SUB2;
      "floor_power2", FLOOR_POWER2;
      "interval", INTERVAL;
    ] in
  fun str ->
    try Hashtbl.find table str
    with Not_found -> ID str

}

let ws = [' ' '\t']+
let newline = '\n' | '\r' | "\r\n"
let digit = ['0'-'9']
let hex_digit = ['0'-'9' 'a'-'f' 'A'-'F']
let alpha = ['a'-'z' 'A'-'Z' '_' '$']
let id = alpha (alpha | digit)*
let numeral = (("0x" (hex_digit+ ('.' hex_digit*)?)) |
               (digit+ ('.' digit*)?)) 
              (['e' 'p'] ['-' '+']? digit+)?
let double_numeral = numeral 'd'
let single_numeral = numeral 'f'

rule token = parse
  | "//" [^ '\n']*
  | ws { token lexbuf }
  | newline { Lexing.new_line lexbuf; token lexbuf }
  | single_numeral as str { SINGLE_NUMERAL (String.sub str 0 (String.length str - 1)) }
  | double_numeral as str { DOUBLE_NUMERAL (String.sub str 0 (String.length str - 1)) }
  | numeral as str { NUMBER str }
  | '(' { LPAREN }
  | ')' { RPAREN }
  | '[' { LBRACKET }
  | ']' { RBRACKET }
  | '{' { LBRACE }
  | '}' { RBRACE }
  | ';' { SEMICOLON }
  | ':' { COLON }
  | ',' { COMMA }
  | '+' { PLUS }
  | '-' { MINUS }
  | '*' { MULT }
  | '/' { DIVIDE }
  | '^' { POW }
  | '=' { EQ }
  | "<=" { LE }
  | ">=" { GE }
  | "<" { LT }
  | ">" { GT }
  | "+/-" { PLUS_MINUS }
  | "%e" { E_CONST }
  | id as str { resolve_id str }
  | _ { raise (SyntaxError ("Unexpected char: " ^ Lexing.lexeme lexbuf)) }
  | eof { EOF }