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
32

original.name="Lambda_Valid_9"
======
>>> main.whiley


type Point is {
    int x,
    int y,
    function toString(Point)->(int),
    function getX(Point)->(int)
}

function toString(Point p) -> int:
    return p.x + p.y

function getX(Point p) -> int:
    return p.x

function Point(int x, int y) -> Point:
    return {
        x: x,
        y: y,
        toString: &toString,
        getX: &getX
    }

public export method test():
    Point p = Point(1,2)
    assume p.getX(p) == 1
    assume p.toString(p) == 3

---