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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

original.name="BoolList_Valid_4"
======
>>> main.whiley
type Board is (bool[][] flags)
where |flags| == 3
where all { k in 0 .. |flags| | |flags[k]| == 3 }

function update(Board board) -> Board:
    Board nboard = board
    int i = 0
    while i < 3 
        where i >= 0:
        int j = 0
        while j < 3 
            where j >= 0:
            int c = countLiving(board, i, j)
            if board[i][j]:
                switch c:
                    case 0, 1:
                        nboard[i][j] = false
                    case 2, 3:
            j = j + 1
        i = i + 1
    return nboard

function countLiving(Board board, int row, int col) -> int:
    int count = isAlive(board, row - 1, col - 1)
    count = count + isAlive(board, row - 1, col)
    count = count + isAlive(board, row - 1, col + 1)
    count = count + isAlive(board, row, col - 1)
    count = count + isAlive(board, row, col + 1)
    count = count + isAlive(board, row + 1, col - 1)
    count = count + isAlive(board, row + 1, col)
    count = count + isAlive(board, row + 1, col + 1)
    return count

function isAlive(Board board, int row, int col) -> int:
    int nrows = |board|
    if (row < 0) || (row >= nrows):
        return 0
    int ncols = |board[0]|
    if (col < 0) || (col >= ncols):
        return 0
    if board[row][col]:
        return 1
    else:
        return 0

public export method test() :
    Board board = [[false, true, false], [false, true, false], [false, true, false]]
    Board nboard = update(board)
    assume board == [[false, true, false], [false, true, false], [false, true, false]]
    assume nboard == [[false, false, false], [false, true, false], [false, false, false]]

---