object
expected
¶
Constructors for expected term references. An expected reference contains either a term or an unexpected term. Expected references should be regarded as opaque terms and always used with the “expected(_)” object by passing the reference as a parameter.
Author: Paulo Moura
Version: 1.0
Date: 2017/12/16
Compilation flags:
static, context_switching_calls
Provides:
Public interface¶
of_unexpected/2
¶
Constructs an expected reference from an unexpected term.
Compilation flags:
static
Template:
of_unexpected(Unexpected,Reference)
Mode and number of proofs:
of_unexpected(@term,--nonvar)
- one
of_expected/2
¶
Constructs an expected reference from a term.
Compilation flags:
static
Template:
of_expected(Expected,Reference)
Mode and number of proofs:
of_expected(@term,--nonvar)
- one
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
- Type-checking support: This object also defines a type “expected” for use with the “type” library object.
See also