Control Flow Abstraction Funcers
fatal
Aborts with an error message
| Type | Value | |
|---|---|---|
| Input | Any | any value |
| Output | Void | does not return |
Examples
| Program | Type | Value | Error |
|---|---|---|---|
1 if ==1 then fatal else true ok | Bool | {"Code":"UnexpectedValue","GotValue":"1","Kind":"Value","Pos":"1:15"} |
must
Aborts with an error message if input is null
| Type | Value | |
|---|---|---|
| Input | Null|<A Any> | a value that you want to be sure is not null |
| Output | <A Any> | the input value, unless it is null |
Examples
| Program | Type | Value | Error |
|---|---|---|---|
null must | Null | {"Code":"UnexpectedValue","GotValue":"null","Kind":"Value","Pos":"1:6"} |