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
33
34
35
36
37

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


type RowCol is int

type Pos is {RowCol col, RowCol row}

type RankPos is {int row}

type FilePos is {int col}

type ShortPos is Pos | RankPos | FilePos | null

function pos2str(Pos p) -> int[]:
    return ['a' + p.col, '1' + p.row]

function shortPos2str(ShortPos p) -> int[]:
    if p is null:
        return ""
    else:
        if p is RankPos:
            return ['1' + p.row]
        else:
            if p is FilePos:
                return ['a' + p.col]
            else:
                return pos2str(p)

public export method test() :
    assume shortPos2str(null) == ""
    assume shortPos2str({row: 1}) == "2"
    assume shortPos2str({col: 1}) == "b"
    assume shortPos2str({col: 2, row: 1}) == "c2"

---