[ library(instrument) | 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