diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-09-16 11:15:40 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-09-16 11:16:49 +0200 |
| commit | b391d741d3ebbed3557aa38de81b0671d85580b2 (patch) | |
| tree | 1b60125f5a27b012f8006d049d11f57553d12de0 /Praspel.php | |
| parent | f9ce251db0643747727d454d56c5e8e1695a2c88 (diff) | |
| download | Praspel-b391d741d3ebbed3557aa38de81b0671d85580b2.zip Praspel-b391d741d3ebbed3557aa38de81b0671d85580b2.tar.gz Praspel-b391d741d3ebbed3557aa38de81b0671d85580b2.tar.bz2 | |
Avoid useless \result assignements.
Diffstat (limited to 'Praspel.php')
| -rw-r--r-- | Praspel.php | 8 |
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, |