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

original.name="Switch_Valid_4"
======
>>> main.whiley
final RGB Red = 1
final RGB Blue = 2
final RGB Green = 3

type RGB is (int x) where x == Red || x == Blue || x == Green

function f(RGB c) -> int:
    switch c:
        case Red:
            return 123
        case main::Blue:
            return 234
        default:
            return 456

public export method test() :
    assume f(Red) == 123
    assume f(Green) == 456
    assume f(Blue) == 234

---