diff options
author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-01 17:28:22 +0100 |
---|---|---|
committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-01 17:28:22 +0100 |
commit | 54347f293364605e95c44a5883ce1d9d07f9c3ff (patch) | |
tree | 8f7b793a7a2c8a6d9b83388d609b58ce88d09fea /Model | |
parent | 49a2f3b0bf8c9cd99dccd5380621651ce9fa93f1 (diff) | |
download | Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.zip Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.tar.gz Praspel-54347f293364605e95c44a5883ce1d9d07f9c3ff.tar.bz2 |
Reorder allowed clause for the Praspel visitor.
Diffstat (limited to 'Model')
-rw-r--r-- | Model/Behavior.php | 6 | ||||
-rw-r--r-- | Model/DefaultBehavior.php | 4 | ||||
-rw-r--r-- | Model/Specification.php | 6 |
3 files changed, 8 insertions, 8 deletions
diff --git a/Model/Behavior.php b/Model/Behavior.php index bfb92a3..362f9f4 100644 --- a/Model/Behavior.php +++ b/Model/Behavior.php @@ -118,10 +118,10 @@ class Behavior extends Clause { */ protected static $_allowedClauses = array( 'requires', - 'ensures', - 'throwable', 'behavior', - 'default' + 'default', + 'ensures', + 'throwable' ); /** diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php index 4f5600c..6493f0e 100644 --- a/Model/DefaultBehavior.php +++ b/Model/DefaultBehavior.php @@ -72,9 +72,9 @@ class DefaultBehavior extends Behavior { * @var \Hoa\Praspel\Model\DefaultBehavior array */ protected static $_allowedClauses = array( + 'invariant', 'ensures', - 'throwable', - 'invariant' + 'throwable' ); diff --git a/Model/Specification.php b/Model/Specification.php index a0cbf4c..09b52cf 100644 --- a/Model/Specification.php +++ b/Model/Specification.php @@ -78,12 +78,12 @@ class Specification extends Behavior { */ protected static $_allowedClauses = array( 'is', - 'requires', - 'ensures', - 'throwable', 'invariant', + 'requires', 'behavior', 'default', + 'ensures', + 'throwable', 'description' ); |