aboutsummaryrefslogtreecommitdiffstats
path: root/Praspel.php
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-16 11:15:40 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-09-16 11:16:49 +0200
commitb391d741d3ebbed3557aa38de81b0671d85580b2 (patch)
tree1b60125f5a27b012f8006d049d11f57553d12de0 /Praspel.php
parentf9ce251db0643747727d454d56c5e8e1695a2c88 (diff)
downloadPraspel-b391d741d3ebbed3557aa38de81b0671d85580b2.zip
Praspel-b391d741d3ebbed3557aa38de81b0671d85580b2.tar.gz
Praspel-b391d741d3ebbed3557aa38de81b0671d85580b2.tar.bz2
Avoid useless \result assignements.
Diffstat (limited to 'Praspel.php')
-rw-r--r--Praspel.php8
1 files changed, 4 insertions, 4 deletions
diff --git a/Praspel.php b/Praspel.php
index e610fbd..aeff090 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -254,7 +254,8 @@ class Praspel {
$return = $reflection->invokeArgs($_object, $arguments);
}
- $_exceptions = null;
+ $arguments['\result'] = $return;
+ $_exceptions = null;
do {
@@ -272,9 +273,8 @@ class Praspel {
// Check normal postcondition.
if(true === $behavior->clauseExists('ensures')) {
- $ensures = $behavior->getClause('ensures');
- $arguments['\result'] = $return;
- $verdict &= $this->checkClause(
+ $ensures = $behavior->getClause('ensures');
+ $verdict &= $this->checkClause(
$ensures,
$arguments,
$_exceptions,