Newer
Older
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
Package Standard {
//TODO: extract to standard library
Constraint length
Constraint minLength
Constraint maxLength
Constraint range
Constraint format
Constraint union
Constraint uniontype
Type Boolean
Type Integer
Type String
Type Verdict
//TODO: these do not work at present -> literal values take precedence?
// Boolean true
// Boolean false
Boolean True
Boolean False
Verdict pass
Verdict fail
Verdict inconclusive
Time second
Annotation Master
Annotation MappingName
//standard annotations for STO
Annotation Initial conditions
Annotation Expected behaviour
Annotation Final conditions
Annotation Test Purpose Description
Annotation when
Annotation then
Predefined == returns Boolean
Predefined != returns Boolean
Predefined and returns Boolean
Predefined or returns Boolean
Predefined xor returns Boolean
Predefined not returns Boolean
Predefined < returns Boolean
Predefined > returns Boolean
Predefined <= returns Boolean
Predefined >= returns Boolean
Predefined +
Predefined -
Predefined *
Predefined /
Predefined mod
Predefined size returns Integer
}