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

original.name="Switch_Valid_5"
======
>>> main.whiley
final int IHDR_TYPE = 1380206665
final int IEND_TYPE = 1145980233
final int IDAT_TYPE = 1413563465
final int PLTE_TYPE = 1163152464
final int PHYS_TYPE = 1935231088
final int TIME_TYPE = 1162692980

public function f(int type) -> int:
    switch type:
        case IHDR_TYPE:
            return 1
        case IEND_TYPE:
            return 2
        case PLTE_TYPE:
            return 3
        case PHYS_TYPE:
            return 4
        case TIME_TYPE:
            return 5
        default:
            return 6

public export method test() :
    assume f(IHDR_TYPE) == 1
    assume f(IEND_TYPE) == 2
    assume f(PLTE_TYPE) == 3
    assume f(PHYS_TYPE) == 4
    assume f(TIME_TYPE) == 5

---