forked from dextercallender/blur
-
Notifications
You must be signed in to change notification settings - Fork 0
/
scanner.mll
63 lines (56 loc) · 1.58 KB
/
scanner.mll
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
(* Ocammlex scanner for Blur lang
* authored by Melissa Kaufman-Gomez-mhk2149, Dexter Callender-dec2148, Timothy Goodwin-tlg2132, Daniel Hong-sh3266 *)
{ open Parser }
let character = ['a'-'z' 'A'-'Z' '$' '@' '%' '&' '#' '*' '/' '|' '(' ')' '{' '}' '[' ']' '?' '-' '_' '+' '~' '<' '>' '!' ';' ':' '^' ',' '.' ' ' ]
let number = ['0'-'9']
let double = ((number+ '.' number*) | ('.' number+))
rule token = parse
[' ' '\t' '\r' '\n'] { token lexbuf }
| "/*" { comment lexbuf }
| '(' { LPAREN }
| ')' { RPAREN }
| '{' { LBRACE }
| '}' { RBRACE }
| '[' { LBRACK }
| ']' { RBRACK }
| ';' { SEMI }
| ',' { COMMA }
| '+' { PLUS }
| '-' { MINUS }
| '*' { TIMES }
| '/' { DIVIDE }
| '%' { MOD }
| '=' { ASSIGN }
| "==" { EQUAL }
| "!=" { NEQUAL }
| '<' { LT }
| "<=" { LEQ }
| '>' { GT }
| ">=" { GEQ }
| "and" { AND }
| "or" { OR }
| '!' { NOT }
| '|' { BAR }
| "int" { INT }
| "double" { DOUBLE }
| "string" { STRING }
| "char" { CHAR }
| "bool" { BOOL }
| "for" { FOR }
| "while" { WHILE }
| "if" { IF }
| "else" { ELSE }
| "void" { VOID }
| "return" { RETURN }
(* literals for each data type *)
| "true" { BOOL_LITERAL(true) }
| "false" { BOOL_LITERAL(false) }
| number+ as lxm { INT_LITERAL(int_of_string lxm) }
| number* '.' number+ as lxm { DOUBLE_LITERAL(float_of_string lxm) }
| '"' (([^ '"'] | "\\\"")* as lxm) '"' { STRING_LITERAL(lxm) }
| '\'' ([' '-'&' '('-'[' ']'-'~'] as lxm) '\'' { CHAR_LITERAL(lxm) }
| '_'?['a'-'z' 'A'-'Z']['a'-'z' 'A'-'Z' '0'-'9' '_']* as lxm { ID(lxm) }
| eof { EOF }
and comment = parse
"*/" { token lexbuf }
| _ { comment lexbuf }