Functions
assert
- assert(condition: boolean, errorMsg: string): void
-
Parameters
-
condition: boolean
-
errorMsg: string
Returns void
Const invariant
- invariant(condition: boolean, errorMsg: string): void
-
Parameters
-
condition: boolean
-
errorMsg: string
Returns void
Const postCondition
- postCondition(condition: boolean, errorMsg: string): void
-
Parameters
-
condition: boolean
-
errorMsg: string
Returns void
Const preCondition
- preCondition(condition: boolean, errorMsg: string): void
-
Parameters
-
condition: boolean
-
errorMsg: string
Returns void