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

original.name="Template_Valid_60"
======
>>> main.whiley
type Box<T> is null | { T value }

function empty<T>() -> (Box<T> r)
ensures r is null:
    return null

function box<T>(T value) -> (Box<T> r)
ensures !(r is null) && r.value == value:
    return { value: value }

function get<T>(Box<T> box, T dEfault) -> (T r)
ensures (box is null) ==> (r == dEfault)
ensures !(box is null) ==> (r == box.value):
   if box is null:
      return dEfault
   else:
      return box.value

public export method test():
    Box<int> b1 = empty()
    Box<int> b2 = box(1)
    //
    assert get(b1,0) == 0
    assert get(b2,0) == 1

---