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

=====
>>> main.whiley
import string from js::core

type Box1 is {
    string field
} where true

type Box2 is {
    int field
} where true

function get(bool f) -> (Box1|Box2 r)
ensures f ==> (r is Box1)
ensures !f ==> (r is Box2):
    if f:
        return {field: "hello"}
    else:
        return {field: 1}

public export method test():
    Box1|Box2 bs = get(true)
    // Must be true
    assert bs is Box1
    // Let's try again
    Box1|Box2 cs = get(false)
    // Must be true
    assert !(cs is Box1)    
>>> js/core.whiley
package js

public type string is int[] where true
---