aboutsummaryrefslogtreecommitdiff
path: root/src/expressionLexer.mll
blob: 2d2f87e9b36f4136fb6dfd412b2b7a740ad70265 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
{
  open ExpressionParser
  open Lexing

  exception SyntaxError of string
}

let digit = ['0'-'9']
let real = digit+ '.'? | digit* '.' digit+


let newline = "\r\n" | '\n' | '\r'
let space = ['\t' ' '] | newline

let letters = ['A'-'Z' 'a'-'z']

let text = letters | digit 

let cell = letters+ digit+

rule read = parse
  | space+   { read lexbuf }

  | digit+ as _1 { NUM _1}
  | real as _1  { REAL(Tools.String.filter_float _1)}
  | '$'         { DOLLAR }

  | '='         { EQ }
  | "<>"        { NEQ }
  | '<'         { LT }
  | "<="        { LE }
  | '>'         { GT }
  | ">="        { GE }
  | '*'         { TIMES }
  | '+'         { PLUS }
  | '-'         { MINUS }
  | '/'         { DIVIDE }
  | '"'         { read_string (Buffer.create 17) lexbuf }
  | ';'         { SEMICOLON }
  | ':'         { COLON }
  | '('         { LPAREN }
  | ')'         { RPAREN }
  | '^'         { POW }

  | letters+ as _1   { LETTERS _1}

  | '\000'      { EOF }
  | eof         { EOF }

and read_string buf = parse
  | '"'       { STR (Buffer.contents buf) }
  | '\\' '/'  { Buffer.add_char buf '/'; read_string buf lexbuf }
  | '\\' '\\' { Buffer.add_char buf '\\'; read_string buf lexbuf }
  | '\\' 'b'  { Buffer.add_char buf '\b'; read_string buf lexbuf }
  | '\\' 'f'  { Buffer.add_char buf '\012'; read_string buf lexbuf }
  | '\\' 'n'  { Buffer.add_char buf '\n'; read_string buf lexbuf }
  | '\\' 'r'  { Buffer.add_char buf '\r'; read_string buf lexbuf }
  | '\\' 't'  { Buffer.add_char buf '\t'; read_string buf lexbuf }
  | '\\' '"'  { Buffer.add_char buf '"'; read_string buf lexbuf }
  | [^ '"' '\\' '\000']+
    { Buffer.add_string buf (Lexing.lexeme lexbuf);
      read_string buf lexbuf
    }
  | '\000'  { STR (Buffer.contents buf) }
  | _ { raise (SyntaxError ("Illegal string character: " ^ Lexing.lexeme lexbuf)) }
  | eof { STR ( Buffer.contents buf) }

and quoteless_string buf = parse
  | '\\' '/'  { Buffer.add_char buf '/';    quoteless_string buf lexbuf }
  | '\\' '\\' { Buffer.add_char buf '\\';   quoteless_string buf lexbuf }
  | '\\' 'b'  { Buffer.add_char buf '\b';   quoteless_string buf lexbuf }
  | '\\' 'f'  { Buffer.add_char buf '\012'; quoteless_string buf lexbuf }
  | '\\' 'n'  { Buffer.add_char buf '\n';   quoteless_string buf lexbuf }
  | '\\' 'r'  { Buffer.add_char buf '\r';   quoteless_string buf lexbuf }
  | '\\' 't'  { Buffer.add_char buf '\t';   quoteless_string buf lexbuf }
  | '\\' '"'  { Buffer.add_char buf '"';    quoteless_string buf lexbuf }
  | [^ '\\' '\000']+
    { Buffer.add_string buf (Lexing.lexeme lexbuf);
      quoteless_string buf lexbuf
    }
  | '\000'  { STR (Buffer.contents buf) }
  | _ { raise (SyntaxError ("Illegal string character: " ^ Lexing.lexeme lexbuf)) }
  | eof { STR (Buffer.contents buf) }