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_parser.mly;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fapplications%2Fradtest%2Fload_parser.mly;h=0000000000000000000000000000000000000000;hp=09c7b7bf763321e047b4ae21bcb1be5e2297a5f5;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_parser.mly b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_parser.mly
deleted file mode 100644
index 09c7b7bf7..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/load_parser.mly
+++ /dev/null
@@ -1,56 +0,0 @@
-%{
-open Utils
-%}
-
-%token EOF NAME EQUAL SUP WINDOW_START WINDOW_END
-%token <string> WIDGET_START WIDGET_END IDENT
-
-%type <string> window_start
-%type <string * string> property widget_start
-%type <(string * string) list> property_list
-%type <Utils.yywidget_tree> widget window
-%type <Utils.yywidget_tree list> children window_list project
-
-%start project
-%start window
-%start widget
-
-%%
-
-project : window_list EOF        { List.rev $1 }
-
-window_list :                    { [] }
-            | window_list window { $2 :: $1 }
-; 
-
-window : window_start property_list children WINDOW_END 
-  { 
-    Node (("window", $1, List.rev $2), $3)
-  } 
-;
-
-window_start : WINDOW_START NAME EQUAL IDENT SUP   { $4 }
-;
-
-children  :                  { [] }
-	  | children widget   { $2 :: $1 }
-;
-
-widget : widget_start property_list children WIDGET_END
-  { 
-    let classe, name = $1 in
-    if classe <> $4 then raise Parsing.Parse_error;
-    Node ((classe, name, List.rev $2), $3)
-  } 
-;
-
-widget_start  : WIDGET_START NAME EQUAL IDENT SUP   { $1, $4 }
-;
-
-property_list :                         { [] }
-              | property_list property  { $2 :: $1 }
-;
-
-property      : IDENT EQUAL IDENT       { $1, $3 }
-;
-