Source file sse_tokens.ml

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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

type token = 
  | ZEXT of (int)
  | XOR
  | WITH
  | WHILE
  | UNDEF
  | UMOD
  | ULT
  | ULE
  | UGT
  | UGE
  | UDIV
  | TO
  | TIMES
  | THEN
  | THAT
  | TAND
  | SYMBOL of (string * Dba.Var.Tag.attribute)
  | SUCH
  | STREAM
  | STARTING
  | SMOD
  | SLT
  | SLE
  | SGT
  | SGE
  | SEXT of (int)
  | SEMICOLON
  | SECTIONS
  | SECTION
  | SDIV
  | RPAR
  | ROR
  | ROL
  | RMEM
  | REPLACE
  | REACH
  | RARROW
  | RANGE of (int Interval.t)
  | QMARK
  | PRINT
  | PLUS
  | OR
  | NOT
  | NONDET
  | MUL
  | MODEL
  | MINUS
  | LSR
  | LSL
  | LPAR
  | LOR
  | LOAD
  | LMEM of (string option)
  | LARROW
  | LAND
  | LABEL of (string)
  | JUMP
  | IS
  | INT of (Z.t)
  | IN
  | IMPORT
  | IF
  | IDENT of (string * int)
  | HEXA
  | HALT
  | GOTO
  | FROM
  | FORMULA
  | FOR
  | FILE
  | EQUAL
  | EOF
  | ENUMERATE
  | END
  | ELSE
  | DO
  | DIFF
  | DEC
  | CUT
  | CSTRING
  | CORE
  | CONST of (Bitvector.t)
  | CONCAT
  | COMMA
  | COLON
  | CASE
  | BY
  | BIN
  | AT
  | ASSUME
  | ASSIGN
  | ASSERT
  | ASR
  | ASCII
  | AS
  | ANY
  | AND
  | ABORT