This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.
Source for wiki StandardConditionPredicatesCowan version 5
author
cowan
comment
Removed warning and serious predicates
ipnr
98.14.172.204
name
StandardConditionPredicatesCowan
readonly
0
text
= Standard condition predicates and accessors =
Conditions created by an implementation are opaque objects as far as
this standard is concerned; they may be any Scheme object such as a list, a vector, or a
record. However, a variety of predicates and accessors
are provided in order to help programs
examine implementation-specific conditions.
If a predicate returns `#t` on a particular condition, the related accessor(s)
will return information, hopefully meaningful and useful. Otherwise, calling the accessors
has undefined effect.
It is common for more than one predicate to return `#t` on a particular condition.
* `(message-condition? `''condition''`)`
Returns `#t` iff ''condition'' contains a string message describing the condition to humans, otherwise `#f`.
* `(condition-message `''message-condition''`)`
Returns the message associated with ''message-condition''.
* `(who-condition? `''condition''`)`
Returns `#t` iff ''condition'' contains a string or symbol describing the object which is the
source of the exception, otherwise `#f`.
* `(condition-who `''who-condition''`)`
Returns the ''who'' object associated with ''who-condition''.
* `(irritants-condition? `''condition''`)`
Returns `#t` iff ''condition'' contains a list of objects providing additional information
about the condition, otherwise `#f`.
* `(condition-irritants `''irritants-condition''`)`
Returns the list of irritants (possibly empty) associated with ''message-condition''.
* `(external-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an exceptional situation that is
caused by something that has gone wrong in the interaction
of the program with the external world or the user, otherwise `#f`.
* `(violation-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an exceptional situation that is
a violation of the language standard or a library standard,
typically caused by a programming error, otherwise `#f`.
* `(invocation-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an invalid call to a procedure,
such as passing an invalid number of arguments or passing an argument of the wrong type, otherwise `#f`.
* `(implementation-restriction-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes a violation of an implementation restriction
that is allowed by the specification, otherwise `#f`.
* `(storage-exhausted-condition? `''condition''`)`
Returns `#t` iff ''condition'' is reporting that storage is exhausted, otherwise `#f`.
* `(parse-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes a lexical syntax error
or an error in parsing a datum, otherwise `#f`.
* `(condition-parse-string `''parse-condition''`)`
Returns the string which could not be parsed.
* `(syntax-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes a syntax error, otherwise `#f`.
* `(condition-form `''syntax-condition''`)`
Returns the form containing a syntax error.
* `(condition-subform `''syntax-condition''`)`
Returns the subform which more precisely locates the syntax error.
* `(identifier-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an undefined identifier, otherwise `#f`.
* `(condition-identifier `''identifier-condition''`)`
Returns the identifier which is undefined as a symbol.
* `(port-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes a problem with a port, otherwise `#f`.
* `(condition-port `''port-condition''`)`
Returns the port associated with ''port-condition''.
* `(i/o-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an exceptional situation with I/O, otherwise `#f`.
* `(read-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an exceptional situation with input, otherwise `#f`.
* `(write-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an exceptional situation with output, otherwise `#f`.
* `(position-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes an attempt
to set a port's position invalidly, otherwise `#f`.
* `(condition-position `''position-condition''`)`
Returns the position specified by the user.
* `(filename-condition? `''condition''`)`
Returns `#t` iff ''condition'' has a filename associated with it, otherwise `#f`.
* `(condition-filename `''filename-condition''`)`
Returns the filename associated with ''filename-condition'' as a string.
* `(file-protection-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes a file protection violation, otherwise `#f`.
* `(file-existence-condition? `''condition''`)`
Returns `#t` iff ''condition'' describes the existence or nonexistence of a file, otherwise `#f`.
* `(condition-file-exists? `''file-existence-condition''`)`
Returns `#t` if the filename associated with ''file-existence-condition'' exists but should not,
or `#f` if it does not exist but should.
time
2010-07-30 14:51:28
version
5