add call of varying1 and varying2 to test them in simulation

lenaRB · Dec 21, 2023 · b2846a8 · b2846a8
1 parent 59f0b24
commit b2846a8
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/src/test/resources/testModels/libraries/ETL_test/Varying1_no_ext.crml b/src/test/resources/testModels/libraries/ETL_test/Varying1_no_ext.crml
@@ -2,4 +2,16 @@ model Varying1_no_ext is {
 	Category varying1 = { ('id', 'cte_false') };
 	Operator [ Boolean ]  'id'  Boolean b = b;
 	Operator [ Boolean ]  'cte_false'  Boolean b = false;
+
+	Operator [ Boolean ] 'set to false' Boolean b = apply varying1 on ( 'id' b ); 
+
+	Boolean b_true is true;
+	Boolean b_false is false;
+	Boolean b_undecided is undecided;
+	Boolean b_undefined is undefined;
+	Boolean b_id_true is 'set to false' b_true; // value should be false
+	Boolean b_id_false is 'set to false' b_false; // value should be false
+	Boolean b_id_undecided is 'set to false' b_undecided; // value should be false
+	Boolean b_id_undefined is 'set to false' b_undefined; // value should be false
+
 };
diff --git a/src/test/resources/testModels/libraries/ETL_test/Varying2_no_ext.crml b/src/test/resources/testModels/libraries/ETL_test/Varying2_no_ext.crml
@@ -2,4 +2,15 @@ model Varying2_no_ext is {
 	Category varying2 = { ('id', 'cte_true') };
 	Operator [ Boolean ]  'id'  Boolean b = b;
 	Operator [ Boolean ]  'cte_true'  Boolean b = true;
+
+	Operator [ Boolean ] 'set to true' Boolean b = apply varying2 on ( 'id' b ); 
+
+	Boolean b_true is true;
+	Boolean b_false is false;
+	Boolean b_undecided is undecided;
+	Boolean b_undefined is undefined;
+	Boolean b_id_true is 'set to true' b_true; // value should be true
+	Boolean b_id_false is 'set to true' b_false; // value should be true
+	Boolean b_id_undecided is 'set to true' b_undecided; // value should be true
+	Boolean b_id_undefined is 'set to true' b_undefined; // value should be true
 };