X-Git-Url: http://matita.cs.unibo.it/gitweb/?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;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=46aa5acc2717f02cc6cf6a300ff04a7122bbc5bd;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

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 }