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

original.name="MethodRef_Valid_4"
======
>>> main.whiley
final int SUBTRACT = 1

public type OtherState is { int mode, int accumulator }

function push(int mode, OtherState s) -> (OtherState r):
    s.mode = SUBTRACT
    return s

public type Transformer is function(OtherState)->(OtherState)
public final Transformer ADDER = &(OtherState s -> push(1,s))

public export method test():
    OtherState s = { mode: 0, accumulator: 0}
    Transformer t = ADDER
    assume t(s) == { mode: 1, accumulator: 0}
---