|
|||||
Referents: final destinations | |||||
Prerequisite Concepts | Related Syntax |
The following are the possible final destinations for which all referents written to them must be resolvable:
file
buffer
attached to a stream, the scope of whose name is more global than the referent set of the buffer
In the last case, the buffer
loses its referents-allowed
property. It will become either referents-not-allowed
or referents-displayed
. There are two cases in which a stream's attachment is not written to its final destination:
referents-allowed
, attached to a stream declared in a local scope, and if the referent set of that stream is more global than the scope of the stream's name, then no attempt is made to write the buffer's contents to its "final destination", either at the end of the scope of the stream's name or at the end of the referent scope of the stream. The stream and the buffer attached to it are discarded at the end of the scope of the stream's name without "collapsing" it.
Both these cases are characterized by the fact that they both become "invisible" outside of their local scope or referent set -- and there is therefore no need to resolve them. A referent's contents (a.k.a. "effective value") may be used in the resolution of some other stream, but a referent itself ceases to exist outside of its own scope.
Prerequisite Concepts Referents |
Related Syntax file referents-allowed referents-displayed referents-not-allowed |
---- |