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
28
29
30
31
32
33

original.name="Process_Valid_6"
======
>>> main.whiley
type Actor is {int data}

method get(&Actor _this) -> int:
    return _this->data

method createActor(int n) -> &Actor:
    return new {data: n}

method createActors(int n) -> ((&Actor)[] r)
requires n >= 0:
    (&Actor)[] row = [createActor(0); n]
    int j = 1
    while j < n where j >= 0 && |row| == n:
        &Actor m = createActor(j)
        row[j] = m
        j = j + 1
    return row

public export method test() :
    (&Actor)[] actors = createActors(10)
    int r = 0
    //
    int i = 0
    while i < |actors| where i >= 0:
        r = r + get(actors[i])
        i = i + 1
    //
    assume r == 45

---