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

original.name="StaticVar_Valid_10"
======
>>> main.whiley
type State is { int mode }
type Transformer is function(State)->(State)

function set(State s, int mode) -> (State r):
    s.mode = mode
    return s

public final Transformer SET1 = &(State s -> set(s,1))
public final Transformer SET2 = &(State s -> set(s,2))

public export method test():
    State s = {mode: 0}
    Transformer[] fns = [ SET1, SET2 ]
    Transformer f = fns[0]
    s = f(s)
    assume s.mode == 1
    f = fns[1]
    s = f(s)
    assume s.mode == 2

---