External module "utils/assertions"

Index

Interfaces

ErrorConstructor

Functions

Functions

assert

assert(err: ErrorConstructor, condition: boolean): void

- Defined in utils/assertions.ts:13
Checks for a condition; if the condition is false, follows the escalation policy set for the analyzer.

Parameters
- err: ErrorConstructor
- condition: boolean
  
  The condition to check.
Returns void

requires

requires(name: string, value: any): void

- Defined in utils/assertions.ts:25
Specifies a precondition contract for the enclosing method or property, and displays a message if the condition for the contract fails.

Parameters
- name: string
  
  The method / property name to display if the condition is false.
- value: any
  
  The conditional expression to test.
Returns void

Generated using TypeDoc