Changeset 4224

Timestamp:

04/25/08 02:24:26 (2 months ago)

Author:

pmoura

Message:

Corrected a bug in the library object "lgtunit" when running "throws" tests (make sure the generated exception is subsumed by the expected exception). Added a "lgtunit_loader" loader utility file for loading the Logtalk unit test library.

Location:

trunk

Files:

• examples/testing/loader.lgt (modified) (1 diff)
• library/all_loader.lgt (modified) (1 diff)
• library/lgtunit.lgt (modified) (5 diffs)
• library/lgtunit_loader.lgt (added)
• library/NOTES.txt (modified) (2 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/examples/testing/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(lgtunit), [reload(skip)]),     % allow for static binding
+    logtalk_load(library(lgtunit_loader), [reload(skip)]),      % allow for static binding
     logtalk_load(testing))).

trunk/library/all_loader.lgt

@@ -7 +7 @@
         library(dependents_loader),
         library(hierarchies_loader),
+        library(lgtunit_loader),
         library(metapredicates_loader),
         library(random_loader),

trunk/library/lgtunit.lgt

@@ -3 +3 @@
 
     :- info([
-        version is 0.2,
+        version is 0.3,
         author is 'Paulo Moura',
-        date is 2007/08/27,
+        date is 2008/04/25,
         comment is 'Logtalk unit test framework.']).
+
+    :- uses(term, [subsumes/2]).
 
     :- public(succeeds/2).
@@ -12 +14 @@
     :- info(succeeds/2, [
         comment is 'Defines a test goal which is expected to succeed.',
-        argnames is ['Test', 'Goal']]).
+        argnames is ['Identifier', 'Goal']]).
 
     :- public(fails/2).
@@ -18 +20 @@
     :- info(fails/2, [
         comment is 'Defines a test goal which is expected to fail.',
-        argnames is ['Test', 'Goal']]).
+        argnames is ['Identifier', 'Goal']]).
 
     :- public(throws/3).
@@ -24 +26 @@
     :- info(throws/3, [
         comment is 'Defines a test goal which is expected to throw an error.',
-        argnames is ['Test', 'Goal', 'Error']]).
+        argnames is ['Identifier', 'Goal', 'Error']]).
 
     :- public(run/2).
@@ -83 +85 @@
 
     test_throws(Test, Goal, Error) :-
-        (   catch({Goal}, Ball, ((Ball = Error -> passed_test(Test, Goal); failed_test(Test, Goal)), Flag = error)) ->
+        (   catch({Goal}, Ball, ((subsumes(Error, Ball) -> passed_test(Test, Goal); failed_test(Test, Goal)), Flag = error)) ->
             (   var(Flag) ->
                 failed_test(Test, Goal)

trunk/library/NOTES.txt

@@ -17 +17 @@
     | ?- logtalk_load(library(random_loader)).
 
-Currently, there are nine groups of entities defined, each one with its 
+Currently, there are ten groups of entities defined, each one with its 
 own loader and notes files:
 
@@ -41 +41 @@
 
     lgtunit
-        lgtunit.lgt
+        lgtunit_loader.lgt
         lgtunit.notes
 

trunk/RELEASE_NOTES.txt

@@ -67 +67 @@
     for lists with unbound tails after discussion with Jan Wielemaker and 
     Ulrich Neumerkel.
+
+    Corrected a bug in the library object "lgtunit" when running "throws" 
+    tests (make sure the generated exception is subsumed by the expected 
+    exception). Added a "lgtunit_loader" loader utility file for loading 
+    the Logtalk unit test library.
 
     Added a simple example, "debug_hooks", of using compilation hooks and