Model code for Collatz example.

overturetool · Nov 21, 2016 · 7ce98a9 · 7ce98a9
1 parent 7438438
commit 7ce98a9
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt b/core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt
@@ -15,6 +15,22 @@ updateSeqInstanceVar () ==
 
 end ClassCollectionUpdate
 
+
+class Collatz
+instance variables
+	val : int;
+
+operations
+public run : () ==> ()
+run() ==
+	if val = 1 then
+		return
+	elseif val mod 2 = 0 then
+		val := val div 2
+	else
+		val := 3 * val + 1;
+end Collatz
+
 --class ScratchA
 --end ScratchA
 --