whiley_test_file 0.6.2

An API for manipulating test files for the Whiley Programming Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

original.name="OpenRecord_Valid_6"
======
>>> main.whiley


type Point is {int y, int x, ...}

type VecPoint is Point[] | Point

function sum(VecPoint vp) -> int:
    if vp is Point[]:
        int r = 0
        int i = 0
        while i < |vp| where i >= 0:
            r = r + sum(vp[i])
            i = i + 1
        return r
    else:
        return vp.x + vp.y

public export method test() :
    VecPoint vp = {y: 2, x: 1}
    assume sum(vp) == 3
    vp = [{y: 2, x: 1}, {y: 5, x: -10}]
    assume sum(vp) == -2

---