Package "rtchecks"

Title:	Run-Time Checker for Assertions
Rating:	Not rated. Create the first rating!
Latest version:	0.0.1
SHA1 sum:	fa934adcf4e6b4c95038bd2ee38430274cdc9c41
Author:	Edison Mera Menendez http://www.edisonm.com/
Maintainer:	Edison Mera Menendez http://www.edisonm.com/
Packager:	Edison Mera Menendez http://www.edisonm.com/
Home page:	https://github.com/edisonm/rtchecks
Download URL:	https://github.com/edisonm/rtchecks.git
Requires:	assertions

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
0.0.1	1395d309ebff7267788b8030507de8882d345bb3	1	https://github.com/edisonm/rtchecks.git
	1886f557590bc9bc73143c4c7797b7b78f27a7bb	1	https://github.com/edisonm/rtchecks.git
	1f77a83f739b710e47359398802d61e079cbdaf1	1	https://github.com/edisonm/rtchecks.git
	2affbb2404a53133b5af2ac287956770249a7395	1	https://github.com/edisonm/rtchecks.git
	3be55886858306d88d1a38f9f144a5cb167d0324	1	https://github.com/edisonm/rtchecks.git
	46624e6b699baf27bf4ae5a45957fa36ad7c10ca	1	https://github.com/edisonm/rtchecks.git
	5236b068813a95c8fe3dde011aa08269c7c3d59f	4	https://github.com/edisonm/rtchecks.git
	53a8bd1326b858b39f6df485935bbe7640a0cf44	4	https://github.com/edisonm/rtchecks.git
	5aa7bda06b148eb3dac65649898df3e45d370071	3	https://github.com/edisonm/rtchecks.git
	7218f6a988b30089757ea91ec670411c1b9498bd	1	https://github.com/edisonm/rtchecks.git
	77b4499f4ea0e1df77a678269cba62570525de4e	2	https://github.com/edisonm/rtchecks.git
	77dd8f9d6275336e4d0effc9b0824ae68faf3429	1	https://github.com/edisonm/rtchecks.git
	7f311777e045bc3929673c6df4ed086cf82e9fd7	1	https://github.com/edisonm/rtchecks.git
	82ad79a00925be9b066880aee5de875c35067dda	1	https://github.com/edisonm/rtchecks.git
	886dfae030252e670e57d1b5eb9be8332222712a	1	https://github.com/edisonm/rtchecks.git
	8daa9d1c76b8233abc6b03aadf56098071adde31	1	https://github.com/edisonm/rtchecks.git
	92a97fcaeff9d06a70f6387df3a97c4b9d1d666b	2	https://github.com/edisonm/rtchecks.git
	94917a83c0059fb2ed3584b90142a9c27da27784	1	https://github.com/edisonm/rtchecks.git
	9714c8856364a90efe5410f6e96bdbec7942f203	1	https://github.com/edisonm/rtchecks.git
	9867b86f71e0cdbda67ee6ac7fbd82ce487dba59	2	https://github.com/edisonm/rtchecks.git
	9b0ffa2c09227deba213b0371738e1ac7c96b4d2	1	https://github.com/edisonm/rtchecks.git
	a5b0d1b27e4b2702c4401bb960e14cbd7d4fe4df	3	https://github.com/edisonm/rtchecks.git
	a874149f0690d905360ff665b325399a027cca84	1	https://github.com/edisonm/rtchecks.git
	b0fb43fe48939720248e83af6aaea073bf02dc14	1	https://github.com/edisonm/rtchecks.git
	ccc56d9c11c4b4a7604e1bef71b2a1b99990458d	1	https://github.com/edisonm/rtchecks.git
	d2d0947528e939dbcb51d3b4fb1112f55004c225	1	https://github.com/edisonm/rtchecks.git
	d671341e8b29479b8aefcd3e81ccc6156e3eccc3	3	https://github.com/edisonm/rtchecks.git
	d6fc86cf8ea86ea52e7dff09f4fdea306b43add2	2	https://github.com/edisonm/rtchecks.git
	e359ff6d75bc43904484f28722d72ce7b65729c1	1	https://github.com/edisonm/rtchecks.git
	e9a4920c62a84dc8b5428aae825a65c05fbd1473	3	https://github.com/edisonm/rtchecks.git
	ed56dc8f5aa39517ddc46204d36ed46b49e19ddd	1	https://github.com/edisonm/rtchecks.git
	fa934adcf4e6b4c95038bd2ee38430274cdc9c41	1	https://github.com/edisonm/rtchecks.git

rtchecks

Run-Time Checking of Assertions for SWI-Prolog

Installation

To install the Run-Time checker of assertions, just follow the next sequence of commands in your SWI-Prolog shell:

  $ swipl
  
  ?- pack_install('https://github.com/edisonm/rtchecks.git').
  true.

Based on the run-time checker of Ciao Prolog.

The semantic of run-time checks is explained in the paper, although is out of date:

http://clip.dia.fi.upm.es/papers/assert-lang-disciplbook_bitmap.pdf

Overview

This package provides a complete implementation of run-time checks of predicate assertions. The program is instrumented to check such assertions at run time, or during debugging, and any unsatisfied property is reported.

There are two main applications of run-time checks:

• To improve debugging of certain predicates, specifying some expected behavior that is checked at run-time with the assertions.
• To avoid manual implementation of checks that should be done in some predicates, leaving the code clean and understandable.

  The run-time checks can be configured using prolog flags. Below we list the valid prolog flags with its values and a brief explanation of the meaning:

• rtchecks_level
  • exports: Only use rtchecks for external calls of the exported predicates.
  • inner : Use also rtchecks for internal calls. Default.
• rtchecks_status Contains a list of the assertion statuses to be checked, could be a list of [true, false, check, debug, static]. Default value is [check, static].
• rtchecks_static Contains a list of the assertion statuses to be instrumented statically, could be a list of [true, false, check, debug, static]. Default value is [static].
• rtchecks_entry
  • no : Disable rtchecks for entry assertions.
  • yes : Enable rtchecks for entry assertions. Default.
• rtchecks_exit
  • no : Disable rtchecks for exit assertions.
  • yes : Enable rtchecks for exit assertions. Default.
• rtchecks_abort_on_error Controls if run time checks must abort the execution of a program (by raising an exception), or if the execution of the program have to continue.

  Note that this option only affect the default handler and the predicate @pred{call_rtc/1}, so if you use your own handler it will not have effect.

  • yes : Raising a run time error will abort the program.
  • no : Raising a run time error will not stop the execution, but a message will be shown. Default.

Contents of pack "rtchecks"

Pack contains 18 files holding a total of 60.5K bytes.