11.3.187 save_modules/2

Synopsis

save_modules(+Modules, +File)

Saves all predicates in Modules in PO format to File.

Arguments

Modules

atom or list of atom, must be ground

An atom representing a current module, or a list of such atoms representing a list of modules.

File

file_spec, must be ground

A file specification, `.po' extension optional.

Description

The module declarations, predicates, multifile clauses and initializations belonging to Modules are saved in object format into the file denoted by File. Source file information and embedded directives (except initializations) are not saved.

The PO file produced can be loaded using load_files/[1,2]. When multiple modules are saved into a file, loading that file will import only the first of those modules into the module in which the load occurred.

Exceptions

instantiation_error

Modules or File is not bound.

type_error

Modules is not a valid list of module names, or a single module name, or File is not a valid file specification.

permission_error

File is not writable.

existence_error

A given module is not a current module.

See Also

load_files/[1,2], ref-sls, ref-sls-ssl.