[ library(source_processor) | Reference Manual | Alphabetic Index ]
source_close(+SourcePos, +OptionList)
Close an open ECLiPSe source file.
- SourcePos
- Source position handle
- OptionList
- List of options, possibly empty
Description
This is used to close an ECLiPSe source file that was
previously opened with source_open/3. It is possible to close
before the end of the source is reached. Nesting of included
files is properly handled.
OptionList can contain the following:
- keep_modules
- keep the modules that have been created implicitly during
source processing (by default they are erased to restore the
original state)
Note that if source_open/3 had been called on an already open stream
with a stream(Stream) argument, then Stream will not be closed by
source_close/2.
See Also
source_open / 3