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_46"
======
>>> main.whiley
public type Event is { int timeStamp }
public type MouseEvent is { bool altKey }
public type iohandler<E,T> is function(E,T)->(T)

public type MouseEventAttribute<T> is {
    iohandler<MouseEvent,T> handler
}

public type Attribute<T> is null | MouseEventAttribute<T>

function f<T>(Attribute<T> attr) -> int:
    if attr is MouseEventAttribute<T>:
        return 0
    else:
        return 1

function h(MouseEvent e, int t) -> int:
    if e.altKey:
        return t + 1
    else:
        return t - 1

public export method test():
    assume f<int>(null) == 1
    assume f<int>({handler: &h}) == 0
---