A.39.3 Predicate reference
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(prolog_coverage): Coverage analysis tool
          • Predicate reference
            • coverage/1
            • coverage/2
            • show_coverage/1
            • report_hook/2
            • cov_save_data/2
            • cov_load_data/2
            • cov_reset/0
            • cov_property/1
    • Packages
Availability::- use_module(library(prolog_coverage)).(can be autoloaded)
Source[det]cov_load_data(+File, +Options)
Reload coverage data from File. Options:
load(true)
If specified and the file in which a clauses is expected to exist, load the file using load_files/2 with the same options as used to initially load the file.
silent(+Boolean)
When true, do not emit messages on not loaded source files.

Data is assumed to be reliable if the Nth-clause of a predicate is loaded from the same file at the same line number and has the same size. Unreliable data is ignored, silently if silent(true) is used.