Ensures
"Design by contract" helpers for post-conditions.
Static members
| Static member | Description |
NotEmpty(s)
Signature: s:string -> unit
|
|
NotEmpty(s, description, args)
Signature: (s:string * description:string * args:obj []) -> unit
|
|
NotNull(o)
Signature: o:obj -> unit
|
|
NotNull(o)
Signature: (o:obj []) -> unit
|
|
NotNull(o, description, args)
Signature: (o:obj * description:string * args:obj []) -> unit
|
|
That(ok)
Signature: ok:bool -> unit
|
|
That(ok, description, args)
Signature: (ok:bool * description:string * args:obj []) -> unit
|
