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

original.name="Lambda_Valid_24"
======
>>> main.whiley
type State is { int status }
type handler is method(State)|method(int)

type DomObject is &{
  method addEventListener(int[], handler),
  ...
}

method empty():
    skip

method register(DomObject obj):
    // Register identity
    obj->addEventListener("click",&(State s -> empty()))

public export method test() :
    DomObject obj = new { addEventListener: &(int[] k, handler h -> empty() ) }
    register(obj)
---