Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
b0b4a9e7
Commit
b0b4a9e7
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-11-16 22:37:05 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-16 22:37:05+00:00
parent
dee8ef32
Changes
3
Hide whitespace changes
Inline
Side-by-side
parser/wlexer.ml
View file @
b0b4a9e7
...
...
@@ -98,7 +98,7 @@ let lex_tables = {
\005\000\254\255\014\000\013\000\001\000\004\000\253\255\255\255
\
\247\255\246\255\019\000\047\000\051\000\017\000\043\000\250\255
\
\027\000\010\000\001\000\022\000\016\000\249\255\248\255\250\255
\
\05
6
\000\0
58
\000\0
60
\000\06
3
\000\0
67
\000\07
2
\000
"
;
\05
8
\000\0
61
\000\0
53
\000\06
5
\000\0
81
\000\07
0
\000
"
;
Lexing
.
lex_backtrk
=
"
\255\255\255\255\255\255\255\255\255\255\255\255\004\000\255\255
\
\002\000\255\255\004\000\002\000\004\000\004\000\255\255\255\255
\
...
...
@@ -119,13 +119,14 @@ let lex_tables = {
\029\000\030\000\013\000\009\000\009\000\031\000\031\000\014\000
\
\031\000\014\000\007\000\010\000\009\000\009\000\032\000\033\000
\
\033\000\006\000\007\000\036\000\036\000\036\000\036\000\035\000
\
\035\000\035\000\035\000\032\000\033\000\033\000\033\000\033\000
\
\033\000\033\000\034\000\035\000\035\000\035\000\035\000\036\000
\
\036\000\036\000\036\000\037\000\000\000\000\000\000\000\036\000
\
\000\000\000\000\000\000\035\000\000\000\000\000\000\000\000\000
\
\000\000\000\000\033\000\000\000\000\000\000\000\000\000\035\000
\
\000\000\000\000\000\000\036\000\000\000\000\000\000\000\000\000
\
\000\000\000\000
"
;
\035\000\035\000\035\000\034\000\036\000\032\000\033\000\033\000
\
\035\000\033\000\033\000\033\000\033\000\035\000\035\000\035\000
\
\035\000\037\000\033\000\000\000\000\000\000\000\035\000\036\000
\
\000\000\000\000\000\000\035\000\000\000\036\000\036\000\036\000
\
\036\000\000\000\000\000\000\000\000\000\033\000\036\000\000\000
\
\000\000\035\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\036\000\000\000
"
;
Lexing
.
lex_check
=
"
\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000
\
\000\000\001\000\006\000\008\000\002\000\000\000\000\000\000\000
\
...
...
@@ -134,13 +135,14 @@ let lex_tables = {
\000\000\028\000\001\000\006\000\006\000\024\000\027\000\001\000
\
\024\000\001\000\002\000\002\000\010\000\010\000\022\000\022\000
\
\022\000\003\000\003\000\019\000\019\000\019\000\019\000\020\000
\
\020\000\020\000\020\000\032\000\032\000\032\000\033\000\033\000
\
\033\000\033\000\034\000\035\000\035\000\035\000\035\000\036\000
\
\036\000\036\000\036\000\037\000\255\255\255\255\255\255\019\000
\
\255\255\255\255\255\255\020\000\255\255\255\255\255\255\255\255
\
\255\255\255\255\033\000\255\255\255\255\255\255\255\255\035\000
\
\255\255\255\255\255\255\036\000\255\255\255\255\255\255\255\255
\
\255\255\255\255
"
\020\000\020\000\020\000\034\000\019\000\032\000\032\000\032\000
\
\020\000\033\000\033\000\033\000\033\000\035\000\035\000\035\000
\
\035\000\037\000\033\000\255\255\255\255\255\255\035\000\019\000
\
\255\255\255\255\255\255\020\000\255\255\036\000\036\000\036\000
\
\036\000\255\255\255\255\255\255\255\255\033\000\036\000\255\255
\
\255\255\035\000\255\255\255\255\255\255\255\255\255\255\255\255
\
\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255
\
\255\255\036\000\255\255
"
}
let
rec
token
engine
lexbuf
=
...
...
parser/wlexer.mll
View file @
b0b4a9e7
...
...
@@ -38,7 +38,7 @@ classes
}
let
identchar
=
lowercase
|
uppercase
|
ascii_digit
|
'
_'
|
'\''
let
identchar
=
lowercase
|
uppercase
|
ascii_digit
|
'
_'
|
'\''
|
'
:
'
rule
token
=
parse
blank
+
{
token
engine
lexbuf
}
...
...
tools/dtd2cduce.ml
View file @
b0b4a9e7
...
...
@@ -45,7 +45,10 @@ let import_dtd ppf name filename =
let
handle
=
function
|
E_start_doc
(
_
,_,
dtd
)
->
List
.
iter
(
fun
x
->
elt
ppf
(
dtd
#
element
x
))
(
dtd
#
element_names
);
exit
1
exit
0
|
E_error
e
->
printf
"Error: %s
\n
"
(
Pxp_types
.
string_of_exn
e
);
exit
2
|
_
->
()
in
...
...
@@ -62,7 +65,7 @@ let import_dtd ppf name filename =
let
rec
loop
()
=
match
next_event
()
with
|
None
->
()
|
None
->
failwith
"End of file reached before DTD definition"
|
Some
e
->
handle
e
;
loop
()
in
loop
()
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment