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

original.name="MethodRef_Valid_5"
======
>>> main.whiley
type string is int[]
type handler is method()

method bind(string p, method(string) handler) -> (method() r):
    return &( -> handler(p))

method consume(string s):
    skip

public export method test():
    handler m = bind("empty",&(string s -> consume(s)))
    // Execute the method
    m()
    // Done
    assume 1 == 1
---