[ library(source_processor) | Reference Manual | Alphabetic Index ]

source_close(+SourcePos, +OptionList)

Close an open ECLiPSe source file.
Source position handle
List of options, possibly empty


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 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