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

original.name="Reference_Valid_9"
js.compile.ignore=true
======
>>> main.whiley
method read(int|&int p) -> (int r)
ensures (p is int) ==> (r == p)
ensures (p is &int) ==> (r == *p)
ensures (p is &int) ==> (*p == old(*p)):
    //
    if p is &int:
        return *p
    else:
        return p

public export method test():
    int i = 123
    &int ptr = new 1
    // Check integers
    i = read(i)
    assert i == 123
    // Check references
    i = read(ptr)
    assert i == 1
    *ptr = 2
    i = read(ptr)    
    assert i == 2
    // Check ptr unchanged
    assert *ptr == 2
---