Source file filesystems_064.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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
let tree = Conan.Tree.Unsafe.node
             [(Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                 ?line:(Some 2002)
                 (let ty = Conan.Ty.search ~compact_whitespaces:false
                             ~optional_blank:false
                             ~lower_case_insensitive:false
                             ~upper_case_insensitive:false `Text ~trim:false
                             30L
                             ~pattern:"\000CD001\001EL TORITO SPECIFICATION" in
                  Conan.Tree.Unsafe.rule
                    ~offset:(Conan.Offset.Absolute
                             (Conan.Offset.Value 34816L))
                    ty
                    (Conan.Test.string
                       (Conan.Comparison.equal_to
                          "\000CD001\001EL TORITO SPECIFICATION"))
                    (`Space "(bootable)")),
               Conan.Tree.Unsafe.leaf);
              (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                 ?line:(Some 2001)
                 (let ty = Conan.Ty.search ~compact_whitespaces:false
                             ~optional_blank:false
                             ~lower_case_insensitive:false
                             ~upper_case_insensitive:false `Text ~trim:true
                             32L ~pattern:"\000" in
                  Conan.Tree.Unsafe.rule
                    ~offset:(Conan.Offset.Absolute
                             (Conan.Offset.Value 32808L))
                    ty
                    (Conan.Test.string (Conan.Comparison.greater_than "\000"))
                    (`Space "'%.32s'")),
               Conan.Tree.Unsafe.leaf);
              (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                 ?line:(Some 1999)
                 (let ty = Conan.Ty.numeric ~unsigned:false ~endian:`LE
                             Conan.Integer.short (Conan.Arithmetic.Add 0) in
                  Conan.Tree.Unsafe.rule
                    ~offset:(Conan.Offset.Absolute (Conan.Offset.Value 510L))
                    ty
                    (Conan.Test.numeric Conan.Integer.short
                       (Conan.Comparison.equal_to 43605))
                    (`Space "(DOS/MBR boot sector)")),
               Conan.Tree.Unsafe.leaf);
              (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                 ?line:(Some 1990)
                 (let ty = Conan.Ty.search ~compact_whitespaces:false
                             ~optional_blank:false
                             ~lower_case_insensitive:false
                             ~upper_case_insensitive:false `Text ~trim:false
                             4L ~pattern:"NSR0" in
                  Conan.Tree.Unsafe.rule
                    ~offset:(Conan.Offset.Absolute
                             (Conan.Offset.Value 38913L))
                    ty (Conan.Test.string (Conan.Comparison.equal_to "NSR0"))
                    (`Space "UDF filesystem data")),
               Conan.Tree.Unsafe.node
                 [(Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1997)
                     (let ty = Conan.Ty.numeric ~unsigned:false
                                 Conan.Integer.byte
                                 (Conan.Arithmetic.Add '\000') in
                      Conan.Tree.Unsafe.rule
                        ~offset:(Conan.Offset.Absolute
                                 (Conan.Offset.Value 38917L))
                        ty
                        (Conan.Test.numeric Conan.Integer.byte
                           (Conan.Comparison.lower_than '\049'))
                        (`Space "(unknown version, ID %#X)")),
                   Conan.Tree.Unsafe.leaf);
                  (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1996)
                     (let ty = Conan.Ty.numeric ~unsigned:false
                                 Conan.Integer.byte
                                 (Conan.Arithmetic.Add '\000') in
                      Conan.Tree.Unsafe.rule
                        ~offset:(Conan.Offset.Absolute
                                 (Conan.Offset.Value 38917L))
                        ty
                        (Conan.Test.numeric Conan.Integer.byte
                           (Conan.Comparison.greater_than '\051'))
                        (`Space "(unknown version, ID %#X)")),
                   Conan.Tree.Unsafe.leaf);
                  (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1995)
                     (let ty = Conan.Ty.search ~compact_whitespaces:false
                                 ~optional_blank:false
                                 ~lower_case_insensitive:false
                                 ~upper_case_insensitive:false `Text
                                 ~trim:false 1L ~pattern:"3" in
                      Conan.Tree.Unsafe.rule
                        ~offset:(Conan.Offset.Absolute
                                 (Conan.Offset.Value 38917L))
                        ty
                        (Conan.Test.string (Conan.Comparison.equal_to "3"))
                        (`Space "(version 2.0)")),
                   Conan.Tree.Unsafe.leaf);
                  (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1994)
                     (let ty = Conan.Ty.search ~compact_whitespaces:false
                                 ~optional_blank:false
                                 ~lower_case_insensitive:false
                                 ~upper_case_insensitive:false `Text
                                 ~trim:false 1L ~pattern:"2" in
                      Conan.Tree.Unsafe.rule
                        ~offset:(Conan.Offset.Absolute
                                 (Conan.Offset.Value 38917L))
                        ty
                        (Conan.Test.string (Conan.Comparison.equal_to "2"))
                        (`Space "(version 1.5)")),
                   Conan.Tree.Unsafe.leaf);
                  (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1993)
                     (let ty = Conan.Ty.search ~compact_whitespaces:false
                                 ~optional_blank:false
                                 ~lower_case_insensitive:false
                                 ~upper_case_insensitive:false `Text
                                 ~trim:false 1L ~pattern:"1" in
                      Conan.Tree.Unsafe.rule
                        ~offset:(Conan.Offset.Absolute
                                 (Conan.Offset.Value 38917L))
                        ty
                        (Conan.Test.string (Conan.Comparison.equal_to "1"))
                        (`Space "(version 1.0)")),
                   Conan.Tree.Unsafe.leaf);
                  (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1991)
                     (Conan.Tree.Unsafe.mime "application/x-iso9660-image"),
                   Conan.Tree.Unsafe.leaf)]);
              (Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                 ?line:(Some 1987)
                 (let ty = Conan.Ty.search ~compact_whitespaces:false
                             ~optional_blank:false
                             ~lower_case_insensitive:false
                             ~upper_case_insensitive:false `Text ~trim:false
                             4L ~pattern:"NSR0" in
                  Conan.Tree.Unsafe.rule
                    ~offset:(Conan.Offset.Absolute
                             (Conan.Offset.Value 38913L))
                    ty
                    (Conan.Test.string (Conan.Comparison.different_to "NSR0"))
                    (`Space "ISO 9660 CD-ROM filesystem data")),
               Conan.Tree.Unsafe.node
                 [(Conan.Tree.Unsafe.elt ?filename:(Some "filesystems")
                     ?line:(Some 1988)
                     (Conan.Tree.Unsafe.mime "application/x-iso9660-image"),
                   Conan.Tree.Unsafe.leaf)])]