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

original.name="Template_Valid_47"
======
>>> main.whiley
type Handler<T> is { function handler(T)->T }
type nHandler<T> is null | Handler<T>

function instanceof<T>(nHandler<T> attr) -> bool:
    if attr is Handler<T>:
        return true
    else:
        return false

function id(int x) -> (int y):
    return x

public export method test():
    assume instanceof<int>(null) == false
    assume instanceof<int>({handler: &id}) == true
---