aboutsummaryrefslogtreecommitdiffstats
path: root/AssertionChecker
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-22 15:11:57 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-22 15:11:57 +0100
commitc5b344986d8a65aeea69848f765a8267296681a8 (patch)
treea5dea8839bd7140baf771720673246e87de6a8bc /AssertionChecker
parent61f09f7049928d3f4813a6623ec2c055adf792c2 (diff)
downloadPraspel-c5b344986d8a65aeea69848f765a8267296681a8.zip
Praspel-c5b344986d8a65aeea69848f765a8267296681a8.tar.gz
Praspel-c5b344986d8a65aeea69848f765a8267296681a8.tar.bz2
Clean a little bit \old(e) support.
Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model.
Diffstat (limited to 'AssertionChecker')
-rw-r--r--AssertionChecker/Runtime.php9
1 files changed, 2 insertions, 7 deletions
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 5f99c62..e0b8265 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -546,12 +546,7 @@ class Runtime extends AssertionChecker {
foreach($clause as $name => $variable) {
- $_name = $name;
-
- if('\old(' === substr($name, 0, 5))
- $_name = substr($name, 5, -1);
-
- if(false === array_key_exists($_name, $data)) {
+ if(false === array_key_exists($name, $data)) {
$exceptions[] = new $exception(
'Variable %s is required and has no value.', 7, $name);
@@ -559,7 +554,7 @@ class Runtime extends AssertionChecker {
continue;
}
- $datum = &$data[$_name];
+ $datum = &$data[$name];
$_verdict = false;
$traceVariable = null;