scanner.mll

(* Ocamllex scanner for MicroC *)

{ open Parser }

let digit = ['0' - '9']
let digits = digit+


rule token = parse
  [' ' '\t' '\r'] { token lexbuf } (* Whitespace *)
| ['''][''']['''] { comment lexbuf }           (* Comments *)
| '#'       { sl_comment lexbuf }
| '('      { LPAREN }
| ')'      { RPAREN }
| '{'      { LBRACE }
| '}'      { RBRACE }
| ['\n']+      { SEMI }
| ','      { COMMA }
| ':'      { COL }
| ';'      { SEMICOL }
| '+'      { PLUS }
| '-'      { MINUS }
| '*'      { TIMES }
| '/'      { DIVIDE }
| '='      { ASSIGN }
| '.'      { DOT }
| "=="     { EQ }
| "!="     { NEQ }
| '<'      { LT }
| "<="     { LEQ }
| ">"      { GT }
| ">="     { GEQ }
| "&&"     { AND }
| "||"     { OR }
| "["      { LBRACK }
| "]"      { RBRACK }
| "!"      { NOT }
| "if"     { IF }
| "else"   { ELSE }
| "for"    { FOR }
| "while"  { WHILE }
| "return" { RETURN }
| "int"    { INT }
| "bool"   { BOOL }
| "float"  { FLOAT }
| "void"   { VOID }
| "string" { STRING }
| "true"   { BLIT(true)  }
| "false"  { BLIT(false) }
| "Pixel"   { PIXEL }
| "Image"   { IMAGE }
| "Gradient" { GRADIENT }
| "Album"   { ALBUM }
| "arr"   { ARR }
| "preset" { PRESET }
| "pixel"  { PIXKEY }
| "in"     { IN }
| digits as lxm { LITERAL(int_of_string lxm) }
| digits '.'  digit* ( ['e' 'E'] ['+' '-']? digits )? as lxm { FLIT(lxm) }
| ['a'-'z' 'A'-'Z']['a'-'z' 'A'-'Z' '0'-'9' '_']*     as lxm { ID(lxm) }
| ['"'](['a'-'z' 'A'-'Z' '0'-'9' '!' '/' '_' ' ' '.']* as lxm)['"']  {STRLIT(lxm)}
| eof { EOF }
| _ as char { raise (Failure("illegal character " ^ Char.escaped char)) }

and comment = parse
  [''']['''][''']['\n']* { token lexbuf }
| _    { comment lexbuf }

and sl_comment = parse
  ['\n'] { token lexbuf }
| _       { sl_comment lexbuf }