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

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

type Point is {int x, int y}

function get(bool f) -> (null|Point|string r)
ensures f ==> (r is string)
ensures !f ==> (r is Point):
    if f:
        return "Hello"
    else:
        return {x:0,y:0}

public export method test():
    null|Point|string xs = get(true)
    // Must be true
    assert xs is null|string
    // Must also be true
    assert xs is string    
    // Let's try again
    null|Point|string ys = get(false)
    // Must be true
    assert ys is null|Point
    // Must also be true
    assert ys is Point    
>>> js/core.whiley
package js

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