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

original.name="ConstrainedRecord_Valid_6"
======
>>> main.whiley


type state is ({int[] input, int pos} s) where (s.pos >= 0) && (s.pos <= |s.input|)

function parseWhiteSpace(state st) -> state:
    if (st.pos < |st.input|) && (st.input[st.pos] == ' '):
        return parseWhiteSpace({input: st.input, pos: st.pos + 1})
    else:
        return st

function parseTerm(state st) -> state:
    st = parseWhiteSpace(st)
    return st

public export method test() :
    state st = {input: "  Hello", pos: 0}
    assume parseTerm(st) == {input:[32, 32, 72, 101, 108, 108, 111],pos:2}

---