Add the @default clause!

The default clause represents a default/else behavior.

3 files changed, 52 insertions, 7 deletions

diff --git a/Visitor/Compiler.php b/Visitor/Compiler.php
index d20b61c..40a835d 100644
--- a/Visitor/Compiler.php
+++ b/Visitor/Compiler.php
@@ -183,15 +183,28 @@ class Compiler implements \Hoa\Visitor\Visit {
                             $exception->getDisjunction() . '\');' . "\n";
             }
         }
+        elseif($element instanceof \Hoa\Praspel\Model\DefaultBehavior) {
+
+            $out = "\n" .
+                   '$' . $element->getId() . ' = $' .
+                   $element->getParent()->getId() .
+                   '->getClause(\'default\')' . "\n";
+
+            foreach($element::getAllowedClauses() as $clause)
+                if(true === $element->clauseExists($clause))
+                    $out .= $element->getClause($clause)->accept(
+                        $this,
+                        $handle,
+                        $eldnah
+                    );
+        }
         elseif($element instanceof \Hoa\Praspel\Model\Behavior) {
 
-            $parent     = '$' . $element->getParent()->getId();
-            $variable   = '$' . $element->getId();
-            $identifier = $element->getIdentifier();
-            $out        = "\n" .
-                          $variable . ' = ' . $parent .
-                          '->getClause(\'behavior\')' .
-                          '->get(\'' . $identifier . '\');' . "\n";
+            $out = "\n" .
+                   '$' . $element->getId() . ' = $' .
+                   $element->getParent()->getId() .
+                   '->getClause(\'behavior\')' .
+                   '->get(\'' . $element->getIdentifier() . '\');' . "\n";
 
             foreach($element::getAllowedClauses() as $clause)
                 if(true === $element->clauseExists($clause))
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index 4337740..d396e04 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -162,6 +162,19 @@ class Interpreter implements \Hoa\Visitor\Visit {
                 $this->_current = $previous;
               break;
 
+            case '#default':
+                $children      = $element->getChildren();
+                $previous      = $this->_current;
+                $this->_clause = $this->_current
+                               = $this->_current
+                                      ->getClause('default');
+
+                foreach($children as $child)
+                    $child->accept($this, $handle, $eldnah);
+
+                $this->_current = $previous;
+              break;
+
             case '#throwable':
                 $this->_clause = $this->_current->getClause('throwable');
                 $identifier    = null;
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php
index 82c34a3..26949b9 100644
--- a/Visitor/Praspel.php
+++ b/Visitor/Praspel.php
@@ -180,6 +180,25 @@ class Praspel implements \Hoa\Visitor\Visit {
 
             $out = '@throwable' . implode(' or', $oout) . ';';
         }
+        elseif($element instanceof \Hoa\Praspel\Model\DefaultBehavior) {
+
+            $out  = '@default {' . "\n";
+            $oout = array();
+
+            foreach($element::getAllowedClauses() as $clause)
+                if(true === $element->clauseExists($clause))
+                    $oout[] = '    ' . str_replace(
+                        "\n",
+                        "\n" . '    ',
+                        $element->getClause($clause)->accept(
+                            $this,
+                            $handle,
+                            $eldnah
+                        )
+                    );
+
+            $out .= implode("\n", $oout) . "\n" . '}';
+        }
         elseif($element instanceof \Hoa\Praspel\Model\Behavior) {
 
             $out  = '@behavior ' . $element->getIdentifier() . ' {' . "\n";