| Did you know ... | Search Documentation: |
 | types.pl -- SICStus 4 library(types). |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- must_be(+Term, +Type, +Goal, +ArgNo) is det
- Similar to must_be/2. This emulation currently only accepts
types that SWI-Prolog must_be/2 understands natively.
The Goal and ArgNo arguments are currently ignored.
- illarg(+ErrorTerm, +Goal, +ArgNo) is det
- Same as illarg/4, with Culprit set to argument number ArgNo of Goal. The Goal and ArgNo arguments are otherwise not included in the thrown error.
- illarg(+ErrorTerm, +Goal, +ArgNo, +Culprit) is det
- Throw a SICStus standard error described by ErrorTerm.
If possible, errors are thrown in the corresponding SWI-Prolog
format using library(error). If a SICStus error has no
SWI-Prolog counterpart, it is thrown in the same format that
SICStus would use.
The Goal and ArgNo arguments are currently always ignored. Depending on the requested error type, Culprit and/or parts of ErrorTerm may also be ignored.