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

original.name="Template_Valid_58"
======
>>> main.whiley
public type Element<T> is { Node<T>[] children }
public type Node<T> is  Element<T> | int[]

public function h1<T>(Node<T> child) -> Node<T>:
    return { children: [child] }

public function div<T>(Node<T>[] children) -> Node<T>:
    return { children: children }

public function read<T>(Node<T> n) -> (int[] string):
    if n is int[]:
        return n
    else if |n.children| > 0:
        return read(n.children[0])
    else:
        return ""

public export method test():
    // Construct root node
    Node<int> n = div([h1("test")])
    //
    assume read(n) == "test"


---