aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2014-04-01 14:33:14 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2014-04-01 14:33:14 +0200
commiteb052f6e46abe7a942a6fa4ba47412fb3f69943e (patch)
tree42cf7258f2a89ed74b5bfa6ee6e7c13a8a37cf6e
parent78d81ac4a1077cfc455ccacff1c5e9b9aa345459 (diff)
downloadPraspel-eb052f6e46abe7a942a6fa4ba47412fb3f69943e.zip
Praspel-eb052f6e46abe7a942a6fa4ba47412fb3f69943e.tar.gz
Praspel-eb052f6e46abe7a942a6fa4ba47412fb3f69943e.tar.bz2
A missing @ensures is considered as true.
-rw-r--r--AssertionChecker/Runtime.php20
1 files changed, 6 insertions, 14 deletions
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index aceaaa1..798d9ce 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -237,20 +237,12 @@ class Runtime extends AssertionChecker {
$trace
);
}
- else {
-
- $verdict &= false;
- $_exceptions[] = new \Hoa\Praspel\Exception\Failure\Postcondition(
- 'The System Under Test cannot terminate normally because ' .
- 'no normal postcondition has been specified (there is ' .
- 'no @ensures clause).', 3);
- }
}
catch ( \Hoa\Praspel\Exception $internalException ) {
$_exceptions[] = new \Hoa\Praspel\Exception\Failure\InternalPrecondition(
'The System Under Test has broken an internal contract.',
- 5, null, $internalException);
+ 4, null, $internalException);
}
catch ( \Exception $exception ) {
@@ -268,7 +260,7 @@ class Runtime extends AssertionChecker {
if(false == $verdict)
$_exceptions[] = new \Hoa\Praspel\Exception\Failure\Exceptional(
'The exception %s has been unexpectedly thrown.',
- 6, get_class($arguments['\result']), $exception);
+ 5, get_class($arguments['\result']), $exception);
}
else {
@@ -291,7 +283,7 @@ class Runtime extends AssertionChecker {
$handle = new \Hoa\Praspel\Exception\Group(
'Behavior %s is broken.',
- 4, $_behavior->getIdentifier()
+ 7, $_behavior->getIdentifier()
);
$handle[] = $_exceptions;
$_exceptions = $handle;
@@ -483,7 +475,7 @@ class Runtime extends AssertionChecker {
$_exceptions = new \Hoa\Praspel\Exception\Group(
'Behavior %s is broken.',
- 7, $_behavior->getIdentifier()
+ 8, $_behavior->getIdentifier()
);
$_trace = null;
@@ -570,7 +562,7 @@ class Runtime extends AssertionChecker {
if(false === array_key_exists($name, $data)) {
$exceptions[] = new $exception(
- 'Variable %s is required and has no value.', 8, $name);
+ 'Variable %s is required and has no value.', 9, $name);
continue;
}
@@ -604,7 +596,7 @@ class Runtime extends AssertionChecker {
$exceptions[] = new $exception(
'Variable %s does not verify the constraint @%s %s.',
- 9,
+ 10,
array(
$name,
$clause->getName(),