updated vdm model to match model description types

INTO-CPS-Association · Jul 19, 2016 · d59a88e · d59a88e
1 parent a643257
commit d59a88e
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/cascading-watertankcontroller-overture/sources/LowerValveActuator.vdmrt b/cascading-watertankcontroller-overture/sources/LowerValveActuator.vdmrt
@@ -7,17 +7,17 @@ class LowerValveActuator
 
 instance variables
 
-  public static valveState : real := 0.0;
+  public static valveState : bool := false;
 
 values
 
-  public open  : real = 1.0;
-  public close : real = 0.0;
+  public open  : bool = true;
+  public close : bool = false;
 
 operations
 
-public setValveState : real ==> ()
+public setValveState : bool ==> ()
 setValveState (state) == 
   valveState := state;
 
-end LowerValveActuator
+end LowerValveActuator
diff --git a/cascading-watertankcontroller-overture/sources/UpperValveActuator.vdmrt b/cascading-watertankcontroller-overture/sources/UpperValveActuator.vdmrt
@@ -7,17 +7,17 @@ class UpperValveActuator
 
 instance variables
 
-  public static valveState : real := 0.0;
+  public static valveState : bool :=false;
 
 values
 
-  public open  : real = 1.0;
-  public close : real = 0.0;
+  public open  : bool = true;
+  public close : bool = false;
 
 operations
 
-public setValveState : real ==> ()
+public setValveState : bool ==> ()
 setValveState (state) == 
   valveState := state;
 
-end UpperValveActuator
+end UpperValveActuator