aboutsummaryrefslogtreecommitdiffstats
path: root/Model
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-01 17:28:22 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-01 17:28:22 +0100
commit54347f293364605e95c44a5883ce1d9d07f9c3ff (patch)
tree8f7b793a7a2c8a6d9b83388d609b58ce88d09fea /Model
parent49a2f3b0bf8c9cd99dccd5380621651ce9fa93f1 (diff)
downloadPraspel-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.php6
-rw-r--r--Model/DefaultBehavior.php4
-rw-r--r--Model/Specification.php6
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'
);