X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2Fload_lexer.mll;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2Fload_lexer.mll;h=0000000000000000000000000000000000000000;hp=46aa5acc2717f02cc6cf6a300ff04a7122bbc5bd;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_lexer.mll b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_lexer.mll
deleted file mode 100644
index 46aa5acc2..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_lexer.mll
+++ /dev/null
@@ -1,46 +0,0 @@
-{
-open Load_parser
-} 
-
-rule token = parse
-  [ ' ' '\t' '\n']+     { token lexbuf }
-| "<window"             { WINDOW_START }
-| "</window>"           { WINDOW_END }
-| "name"                { NAME }
-|  '='                  { EQUAL }
-|  '>'                  { SUP }
-
-| "<" ['A'-'Z' 'a'-'z' '0'-'9' '_']+
-  {
-    let l = Lexing.lexeme lexbuf in
-    let s = String.sub l ~pos:1 ~len:(String.length l - 1) in
-    WIDGET_START s
-  }
-
-| "</" ['A'-'Z' 'a'-'z' '0'-'9' '_']+ '>'
-  {
-    let l = Lexing.lexeme lexbuf in
-    let s = String.sub l ~pos:2 ~len:(String.length l - 3) in
-    WIDGET_END s
-  }
-
-| '"' [^ '"']* '"'
-  {
-    let l = Lexing.lexeme lexbuf in
-    let s = String.sub l ~pos:1 ~len:(String.length l - 2) in
-    IDENT s
-  }
-
-| '\'' [^ '\'']* '\''
-  {
-    let l = Lexing.lexeme lexbuf in
-    let s = String.sub l ~pos:1 ~len:(String.length l - 2) in
-    IDENT s
-  }
-
-| ['A'-'Z' 'a'-'z' '0'-'9' '_' '.']+
-  {
-    let s = Lexing.lexeme lexbuf in IDENT s
-  }
-
-| eof               { EOF }