[ 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