[ 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