Make system definition richer

The system definition may now be the same as any file.

diff --git a/grammar b/grammar
index f7697b7287487d05a9ab3c0e21e49aff34d9197c..ce7932010be7b0f2b899675c8d21cddd834e41e6 100644 (file)
--- a/grammar
+++ b/grammar
@@ -4,9 +4,7 @@ statement -> atom
 statement -> system
 statement -> instantiation
 instantiation -> INSTANTIATE classname objectname
-system -> SYSTEM classname LEFT_PARA system_def RIGHT_PARA
-system_def -> instantiation system_def
-system_def -> fta_logic
+system -> SYSTEM classname LEFT_PARA fault_tree RIGHT_PARA
 fta_logic -> fta_sum
 fta_sum -> fta_product PLUS fta_sum
 fta_sum -> fta_product