/usr/local/lib/swipl/library/prolog_coverage.pl
All Application Manual Name SummaryHelp

  • swipl
    • library
      • error.pl
      • debug.pl -- Print debug messages and test assertions
      • apply.pl -- Apply predicates on a list
      • lists.pl -- List Manipulation
      • broadcast.pl -- Event service
      • shlib.pl
      • option.pl -- Option list processing
      • thread_pool.pl -- Resource bounded thread management
      • gensym.pl -- Generate unique symbols
      • settings.pl -- Setting management
      • arithmetic.pl -- Extensible arithmetic
      • main.pl -- Provide entry point for scripts
      • readutil.pl
      • operators.pl -- Manage operators
      • pairs.pl
      • prolog_source.pl -- Examine Prolog source-files
      • record.pl -- Access compound arguments by name
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl
      • solution_sequences.pl
      • ordsets.pl -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl
      • yall.pl -- Lambda expressions
      • sandbox.pl -- Sandboxed Prolog code
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl -- Binary associations
      • prolog_format.pl -- Analyse format specifications
      • predicate_options.pl
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • atom.pl -- Operations on atoms
      • modules.pl
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl -- Prolog syntax colouring support.
      • lazy_lists.pl -- Lazy list handling
      • ugraphs.pl
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl
      • git.pl -- Run GIT commands
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • dialect.pl
      • system.pl -- System utilities
      • terms.pl -- Term manipulation
      • date.pl -- Process dates and times
      • persistency.pl -- Provide persistent dynamic predicates
      • iostream.pl -- Utilities to deal with streams
      • prolog_stack.pl -- Examine the Prolog stack
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • dicts.pl
      • dif.pl -- The dif/2 constraint
      • varnumbers.pl -- Utilities for numbered terms
      • pio.pl -- Pure I/O
      • quintus.pl -- Quintus compatibility
      • optparse.pl -- command line parsing
      • backcomp.pl -- Backward compatibility
      • charsio.pl
      • heaps.pl
      • listing.pl -- List programs and pretty print clauses
      • base32.pl
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • rbtrees.pl
      • statistics.pl
      • when.pl -- Conditional coroutining
      • strings.pl -- String utilities
      • threadutil.pl -- Interactive thread utilities
      • prolog_coverage.pl -- Coverage analysis tool
        • coverage/1
        • coverage/2
        • show_coverage/1
        • report_hook/2
        • cov_save_data/2
        • cov_load_data/2
        • cov_reset/0
        • cov_property/1
      • ctypes.pl
      • readln.pl
      • prolog_codewalk.pl
      • prolog_metainference.pl
      • nb_set.pl -- Non-backtrackable sets
      • zip.pl -- Access resource ZIP archives
      • prolog_autoload.pl
      • check.pl
      • make.pl
      • thread.pl -- High level thread primitives
      • hashtable.pl -- Hash tables
      • tables.pl
      • help.pl -- Text based manual
      • prolog_debug.pl -- User level debugging tools
      • prolog_profile.pl -- Execution profiler
      • portray_text.pl
      • rwlocks.pl -- Read/write locks
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • explain.pl -- Describe Prolog Terms
      • tty.pl
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • increval.pl
      • exceptions.pl
      • shell.pl -- Elementary shell commands
      • writef.pl
      • edit.pl
 coverage(:Goal, +Options) is semidet
Collect and optionally report coverage by Goal. Goal is executed as in once/1. Options processed:
show(+Boolean)
When true (default), call show_coverage/1 passing Options to show the collected coverage data and reset the data. When false, collect the data but do not reset it. If there is already existing data the new data is added.