From 38bb0d1b1ce50b30910fc026d2e4a1ba659dc344 Mon Sep 17 00:00:00 2001 From: rakhimov Date: Mon, 8 Jan 2018 09:12:05 -0800 Subject: [PATCH] Disallow variable redefinition in fault trees This is inconsistent with the rest of the language. --- mef/fault_tree_layer.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mef/fault_tree_layer.rst b/mef/fault_tree_layer.rst index f13b40c..d947daf 100644 --- a/mef/fault_tree_layer.rst +++ b/mef/fault_tree_layer.rst @@ -60,8 +60,7 @@ This description allows loops (in the sense defined above), multiple definitions and trees with multiple top events. The presence of loops must be detected by a specific check procedure. If a variable or a parameter is declared more than once, -tools should emit a warning -and consider only the last definition as the good one (the previous ones are just ignored). +tools should emit an error (consistent with the declarative nature of the language). In some circumstances, it is of interest to define several fault trees at once by means of a unique set of declarations. Therefore, the presence of multiple top events should not be prevented.