A @default can be declared if…

… at least one @behavior exists.

1 files changed, 5 insertions, 0 deletions

diff --git a/Model/Behavior.php b/Model/Behavior.php
index 6c5ee46..8fa173d 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -217,6 +217,11 @@ class Behavior extends Clause {
                         'Cannot add the @default clause, since an @ensures ' .
                         'or a @throwable clause exists at the same level.', 4);
 
+                if(false === $this->clauseExists('behavior'))
+                    throw new \Hoa\Praspel\Exception\Model(
+                        'Cannot add a @default clause if at least one ' .
+                        '@behavior clause has not been declared.', 5);
+
                 $handle = new DefaultBehavior($this);
               break;