Ticket #193: shell-sorts.patch

HowTo/290-TranslatePseudoCodeToCobra1.cobra

@@ -195 +195 @@
                     result.addRange(.quickSort(more))
                     return result
 
+        def shellSort(list) as dynamic
+            test
+                .testSort(ref .shellSort)
+            body
+                top = list.count
+                nExchg = false
+                gap = Decimal.toInt32(top/2)
+                post while gap > 0
+                    post while nExchg # exchanges happened
+                        nExchg = false
+                        for i in 0 : top - gap
+                            value = list[i] to !
+                            if value > list[i+gap]
+                                list[i] = list[i+gap]
+                                list[i+gap] = value
+                                nExchg = true
+                    gap = (gap/2) to int    
+                return list
+                
         def main
             .quickSort([1,2,3,4])

HowTo/292-TranslatePseudoCodeToCobra2.cobra

@@ -188 +188 @@
                     result.addRange(.quickSort(more))
                     return result
 
+        def shellSort(list as IList) as dynamic
+            test
+                .testSort(ref .shellSort)
+            body
+                top = list.count
+                nExchg = false
+                gap = (top/2) to int
+                post while gap > 0
+                    post while nExchg # exchanges happened
+                        nExchg = false
+                        for i in 0 : top - gap
+                            value = list[i] to dynamic
+                            if value > list[i+gap]
+                                list[i] = list[i+gap]
+                                list[i+gap] = value
+                                nExchg = true
+                    gap = (gap/2) to int    
+                return list
+                
         def main
             .quickSort([1,2,3,4])