
erase_file_templates(+File)

   Erase the file local instrument template store for a
   specific file.

Arguments
   File                Atom or string

Type
   library(instrument)

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
