[ library(instrument) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

erase_file_templates(+File)

Erase the file local instrument template store for a specific file.
File
Atom or string

Description

This predicate erases all templates associated with the named file that was compiled into the the calling module context and persisted by (successive) calls to instrument/2 and instrument/3. The predicate is a tool and the file local templates of a module other than the current calling module context can be erased by invoking erase_file_templates(File)@Module.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

No instrumentation templates exist for the file in the calling module context.

Resatisfiable

no

See Also

erase_all_templates / 0, erase_module_templates / 0, instrument / 2, instrument / 3, library(instrument), struct(itemplate), defined_modules / 2