aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-01-09 09:06:35 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-01-09 09:06:35 +0100
commita224ff4b2b4b9600c24243452ce4d92bfe376d46 (patch)
treedb9b6de99f9feec7ea13ae4e9baf2f2e87c5f8d1
parentc7fbacdd1b30e88593e1adfaea07a9528c5deb84 (diff)
downloadPraspel-a224ff4b2b4b9600c24243452ce4d92bfe376d46.zip
Praspel-a224ff4b2b4b9600c24243452ce4d92bfe376d46.tar.gz
Praspel-a224ff4b2b4b9600c24243452ce4d92bfe376d46.tar.bz2
Quality: Run devtools:cs.
-rw-r--r--AssertionChecker/AssertionChecker.php6
-rw-r--r--AssertionChecker/Runtime.php14
-rw-r--r--Bin/Shell.php4
-rw-r--r--Exception/AssertionChecker.php4
-rw-r--r--Exception/Compiler.php4
-rw-r--r--Exception/Exception.php4
-rw-r--r--Exception/Failure/Exceptional.php4
-rw-r--r--Exception/Failure/Failure.php4
-rw-r--r--Exception/Failure/InternalPrecondition.php4
-rw-r--r--Exception/Failure/Invariant.php4
-rw-r--r--Exception/Failure/Postcondition.php4
-rw-r--r--Exception/Failure/Precondition.php4
-rw-r--r--Exception/Generic.php4
-rw-r--r--Exception/Group.php4
-rw-r--r--Exception/Interpreter.php4
-rw-r--r--Exception/Model.php4
-rw-r--r--Exception/Preambler.php4
-rw-r--r--Iterator/Coverage/Coverage.php4
-rw-r--r--Iterator/Coverage/Domain.php4
-rw-r--r--Iterator/Coverage/Structural.php4
-rw-r--r--Iterator/Sampler.php4
-rw-r--r--Iterator/WeakStack.php4
-rw-r--r--Model/Behavior.php4
-rw-r--r--Model/Clause.php4
-rw-r--r--Model/Collection.php4
-rw-r--r--Model/Declaration.php5
-rw-r--r--Model/DefaultBehavior.php4
-rw-r--r--Model/Description.php4
-rw-r--r--Model/Ensures.php4
-rw-r--r--Model/Invariant.php4
-rw-r--r--Model/Is.php4
-rw-r--r--Model/Requires.php4
-rw-r--r--Model/Specification.php4
-rw-r--r--Model/Throwable.php4
-rw-r--r--Model/Variable/Borrowing.php4
-rw-r--r--Model/Variable/Implicit.php4
-rw-r--r--Model/Variable/Variable.php4
-rw-r--r--Praspel.php4
-rw-r--r--Preambler/EncapsulationShunter.php4
-rw-r--r--Preambler/Handler.php4
-rw-r--r--Trace.php4
-rw-r--r--Visitor/Compiler.php4
-rw-r--r--Visitor/Interpreter.php17
-rw-r--r--Visitor/Praspel.php4
44 files changed, 101 insertions, 101 deletions
diff --git a/AssertionChecker/AssertionChecker.php b/AssertionChecker/AssertionChecker.php
index 05e9c22..53cea1b 100644
--- a/AssertionChecker/AssertionChecker.php
+++ b/AssertionChecker/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* Generic assertion checker.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
abstract class AssertionChecker
@@ -217,7 +217,7 @@ abstract class AssertionChecker
* @param array $data Data.
* @return array
*/
- public function setData(Array $data)
+ public function setData(array $data)
{
$old = $this->_data;
$this->_data = $data;
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 7358fd7..7165467 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Praspel;
*
* Assertion checker: runtime (so-called RAC).
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Runtime extends AssertionChecker
@@ -308,7 +308,7 @@ class Runtime extends AssertionChecker
*/
protected function getArgumentData(
\ReflectionFunctionAbstract $reflection,
- Array &$data,
+ array &$data,
&$numberOfRequiredArguments
) {
$arguments = [];
@@ -387,7 +387,7 @@ class Runtime extends AssertionChecker
protected function invoke(
Consistency\Xcallable &$callable,
\ReflectionFunctionAbstract &$reflection,
- Array &$arguments,
+ array &$arguments,
$isConstructor
) {
if ($reflection instanceof \ReflectionFunction) {
@@ -423,7 +423,7 @@ class Runtime extends AssertionChecker
*/
protected function checkBehavior(
Praspel\Model\Behavior &$behavior,
- Array &$data,
+ array &$data,
Praspel\Exception\Group $exceptions,
$assign = false,
$trace = false
@@ -522,7 +522,7 @@ class Runtime extends AssertionChecker
*/
protected function checkClause(
Praspel\Model\Declaration $clause,
- Array &$data,
+ array &$data,
\Hoa\Praspel\Exception\Group $exceptions,
$exception,
$assign = false,
@@ -670,7 +670,7 @@ class Runtime extends AssertionChecker
*/
protected function checkExceptionalClause(
Praspel\Model\Throwable $clause,
- Array &$data
+ array &$data
) {
$verdict = false;
diff --git a/Bin/Shell.php b/Bin/Shell.php
index 7706f3d..965b803 100644
--- a/Bin/Shell.php
+++ b/Bin/Shell.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -48,7 +48,7 @@ use Hoa\Realdom;
*
* Interactive Praspel shell.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Shell extends Console\Dispatcher\Kit
diff --git a/Exception/AssertionChecker.php b/Exception/AssertionChecker.php
index 0842efe..9d39532 100644
--- a/Exception/AssertionChecker.php
+++ b/Exception/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception;
*
* Extending the \Hoa\Praspel\Exception\Generic class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class AssertionChecker extends Generic
diff --git a/Exception/Compiler.php b/Exception/Compiler.php
index e49e4d0..6901ffc 100644
--- a/Exception/Compiler.php
+++ b/Exception/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception;
*
* Extending the \Hoa\Praspel\Exception\Generic class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Compiler extends Generic
diff --git a/Exception/Exception.php b/Exception/Exception.php
index 5023a97..44b8a67 100644
--- a/Exception/Exception.php
+++ b/Exception/Exception.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Consistency;
*
* Interface representing Hoa\Praspel exceptions.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
interface Exception
diff --git a/Exception/Failure/Exceptional.php b/Exception/Failure/Exceptional.php
index 586b111..085d3ed 100644
--- a/Exception/Failure/Exceptional.php
+++ b/Exception/Failure/Exceptional.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception\Failure;
*
* Extending the \Hoa\Praspel\Exception\Failure class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Exceptional extends Failure
diff --git a/Exception/Failure/Failure.php b/Exception/Failure/Failure.php
index 3f512cf..24bf7e3 100644
--- a/Exception/Failure/Failure.php
+++ b/Exception/Failure/Failure.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* Extending the \Hoa\Praspel\Exception\AssertionChecker class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Failure extends Praspel\Exception\AssertionChecker
diff --git a/Exception/Failure/InternalPrecondition.php b/Exception/Failure/InternalPrecondition.php
index 786b3d8..357d655 100644
--- a/Exception/Failure/InternalPrecondition.php
+++ b/Exception/Failure/InternalPrecondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception\Failure;
*
* Extending the \Hoa\Praspel\Exception\Failure class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class InternalPrecondition extends Failure
diff --git a/Exception/Failure/Invariant.php b/Exception/Failure/Invariant.php
index b383727..2667725 100644
--- a/Exception/Failure/Invariant.php
+++ b/Exception/Failure/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception\Failure;
*
* Extending the \Hoa\Praspel\Exception\Failure class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Invariant extends Failure
diff --git a/Exception/Failure/Postcondition.php b/Exception/Failure/Postcondition.php
index 10e55a6..de6870a 100644
--- a/Exception/Failure/Postcondition.php
+++ b/Exception/Failure/Postcondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception\Failure;
*
* Extending the \Hoa\Praspel\Exception\Failure class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Postcondition extends Failure
diff --git a/Exception/Failure/Precondition.php b/Exception/Failure/Precondition.php
index 8b70421..fb6362b 100644
--- a/Exception/Failure/Precondition.php
+++ b/Exception/Failure/Precondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception\Failure;
*
* Extending the \Hoa\Praspel\Exception\Failure class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Precondition extends Failure
diff --git a/Exception/Generic.php b/Exception/Generic.php
index 0f2c231..9cd4ad5 100644
--- a/Exception/Generic.php
+++ b/Exception/Generic.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Exception as HoaException;
*
* Extending the \Hoa\Exception\Exception class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Generic extends HoaException implements Exception
diff --git a/Exception/Group.php b/Exception/Group.php
index bbd04db..6d8833e 100644
--- a/Exception/Group.php
+++ b/Exception/Group.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Exception as HoaException;
*
* Extending the \Hoa\Exception\Exception\Group class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Group extends HoaException\Group implements Exception
diff --git a/Exception/Interpreter.php b/Exception/Interpreter.php
index 02f031a..7608138 100644
--- a/Exception/Interpreter.php
+++ b/Exception/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception;
*
* Extending the \Hoa\Praspel\Exception\Generic class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Interpreter extends Generic
diff --git a/Exception/Model.php b/Exception/Model.php
index 3c7e838..7576121 100644
--- a/Exception/Model.php
+++ b/Exception/Model.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception;
*
* Extending the \Hoa\Praspel\Exception\Generic class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Model extends Generic
diff --git a/Exception/Preambler.php b/Exception/Preambler.php
index 7b65cd8..547e52d 100644
--- a/Exception/Preambler.php
+++ b/Exception/Preambler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Exception;
*
* Extending the \Hoa\Praspel\Exception\Generic class.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Preambler extends Generic
diff --git a/Iterator/Coverage/Coverage.php b/Iterator/Coverage/Coverage.php
index 7d0f4b0..0b20001 100644
--- a/Iterator/Coverage/Coverage.php
+++ b/Iterator/Coverage/Coverage.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -45,7 +45,7 @@ use Hoa\Praspel;
*
* Coverage recursive iterator.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Coverage implements Iterator\Aggregate
diff --git a/Iterator/Coverage/Domain.php b/Iterator/Coverage/Domain.php
index 6b233a3..391e003 100644
--- a/Iterator/Coverage/Domain.php
+++ b/Iterator/Coverage/Domain.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Iterator;
*
* Domain coverage.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Domain implements Iterator
diff --git a/Iterator/Coverage/Structural.php b/Iterator/Coverage/Structural.php
index 3ce04e5..f9c15e8 100644
--- a/Iterator/Coverage/Structural.php
+++ b/Iterator/Coverage/Structural.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* Structural coverage.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Structural implements Iterator\Recursive
diff --git a/Iterator/Sampler.php b/Iterator/Sampler.php
index d227481..74031cb 100644
--- a/Iterator/Sampler.php
+++ b/Iterator/Sampler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* An easy way to iterate over data described by Praspel.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Sampler implements Iterator
diff --git a/Iterator/WeakStack.php b/Iterator/WeakStack.php
index 83ba98e..c46ed1e 100644
--- a/Iterator/WeakStack.php
+++ b/Iterator/WeakStack.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Iterator;
*
* A weak stack is a SplStack with null elements that are not iterated.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class WeakStack extends \SplStack
diff --git a/Model/Behavior.php b/Model/Behavior.php
index f21ca0b..6d7b3a6 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Praspel;
*
* Represent the @behavior clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Behavior extends Clause
diff --git a/Model/Clause.php b/Model/Clause.php
index 198eb6f..294ba56 100644
--- a/Model/Clause.php
+++ b/Model/Clause.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Visitor;
*
* Represent a clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
abstract class Clause implements Visitor\Element
diff --git a/Model/Collection.php b/Model/Collection.php
index 98ad7f0..cfcc857 100644
--- a/Model/Collection.php
+++ b/Model/Collection.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -45,7 +45,7 @@ use Hoa\Visitor;
*
* Represent a collection of clauses.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Collection
diff --git a/Model/Declaration.php b/Model/Declaration.php
index 697d9e8..7f85d22 100644
--- a/Model/Declaration.php
+++ b/Model/Declaration.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -37,7 +37,6 @@
namespace Hoa\Praspel\Model;
use Hoa\Iterator;
-use Hoa\Praspel;
use Hoa\Realdom;
/**
@@ -45,7 +44,7 @@ use Hoa\Realdom;
*
* Represent a declaration.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
abstract class Declaration
diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php
index 5696f35..2f8097b 100644
--- a/Model/DefaultBehavior.php
+++ b/Model/DefaultBehavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Model;
*
* Represent a default behavior.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class DefaultBehavior extends Behavior
diff --git a/Model/Description.php b/Model/Description.php
index 191a37b..96b0bfd 100644
--- a/Model/Description.php
+++ b/Model/Description.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Iterator;
*
* Represent the @description clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Description
diff --git a/Model/Ensures.php b/Model/Ensures.php
index 57c65e4..88615da 100644
--- a/Model/Ensures.php
+++ b/Model/Ensures.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Model;
*
* Represent the @ensures clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Ensures extends Declaration
diff --git a/Model/Invariant.php b/Model/Invariant.php
index 6f8eadc..384896c 100644
--- a/Model/Invariant.php
+++ b/Model/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Model;
*
* Represent the @invariant clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Invariant extends Declaration
diff --git a/Model/Is.php b/Model/Is.php
index c26b948..dc424d9 100644
--- a/Model/Is.php
+++ b/Model/Is.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Model;
*
* Represent the @is clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Is extends Clause
diff --git a/Model/Requires.php b/Model/Requires.php
index 9a7bdee..b422602 100644
--- a/Model/Requires.php
+++ b/Model/Requires.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel\Model;
*
* Represent the @requires clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Requires extends Declaration
diff --git a/Model/Specification.php b/Model/Specification.php
index 11334cd..ce8b442 100644
--- a/Model/Specification.php
+++ b/Model/Specification.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -47,7 +47,7 @@ if (false === Consistency::entityExists('Hoa\Realdom\Disjunction')) {
*
* Represent a specification (contains all clauses).
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Specification extends Behavior
diff --git a/Model/Throwable.php b/Model/Throwable.php
index 17b787d..1bb6376 100644
--- a/Model/Throwable.php
+++ b/Model/Throwable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -43,7 +43,7 @@ use Hoa\Iterator;
*
* Represent the @throwable clause.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Throwable
diff --git a/Model/Variable/Borrowing.php b/Model/Variable/Borrowing.php
index a0351fe..a130d02 100644
--- a/Model/Variable/Borrowing.php
+++ b/Model/Variable/Borrowing.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* Represent a borrowing variable.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Borrowing extends Variable
diff --git a/Model/Variable/Implicit.php b/Model/Variable/Implicit.php
index 5da50c8..acc759f 100644
--- a/Model/Variable/Implicit.php
+++ b/Model/Variable/Implicit.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -49,7 +49,7 @@ if (false === Consistency::entityExists('Hoa\Realdom\Disjunction')) {
*
* Represent an implicit variable.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Implicit extends Variable
diff --git a/Model/Variable/Variable.php b/Model/Variable/Variable.php
index 3e52081..d5a1f56 100644
--- a/Model/Variable/Variable.php
+++ b/Model/Variable/Variable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -47,7 +47,7 @@ use Hoa\Visitor;
*
* Represent a variable.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Variable
diff --git a/Praspel.php b/Praspel.php
index f92bce1..a53a341 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -45,7 +45,7 @@ use Hoa\File;
*
* Take a specification + data and validate/verify a callable.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Praspel
diff --git a/Preambler/EncapsulationShunter.php b/Preambler/EncapsulationShunter.php
index 815011e..f28187a 100644
--- a/Preambler/EncapsulationShunter.php
+++ b/Preambler/EncapsulationShunter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
* Shunt encapsulation: instanciate a class and set its state by using
* invariants and not methods calls.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class EncapsulationShunter
diff --git a/Preambler/Handler.php b/Preambler/Handler.php
index 5c559c4..b51e917 100644
--- a/Preambler/Handler.php
+++ b/Preambler/Handler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -44,7 +44,7 @@ use Hoa\Praspel;
*
* Handle a class and ease to run a preamble.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Handler
diff --git a/Trace.php b/Trace.php
index 3c277a2..6c91998 100644
--- a/Trace.php
+++ b/Trace.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -41,7 +41,7 @@ namespace Hoa\Praspel;
*
* A trace is a derivated specification.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Trace extends Model\Specification
diff --git a/Visitor/Compiler.php b/Visitor/Compiler.php
index ebf4192..a682aa6 100644
--- a/Visitor/Compiler.php
+++ b/Visitor/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -45,7 +45,7 @@ use Hoa\Visitor;
*
* Compile the model to PHP code.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Compiler implements Visitor\Visit
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index 407ffc7..71bec9d 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -51,7 +51,7 @@ if (false === Consistency::entityExists('Hoa\Realdom\Disjunction')) {
*
* Compile Praspel to model.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Interpreter implements Visitor\Visit
@@ -104,8 +104,8 @@ class Interpreter implements Visitor\Visit
switch ($id) {
case '#specification':
- $this->_clause =
- $this->_current =
+ $this->_clause =
+ $this->_current =
$this->_root =
new Praspel\Model\Specification();
@@ -149,7 +149,7 @@ class Interpreter implements Visitor\Visit
$identifier = $child0->accept($this, $handle, false);
$previous = $this->_current;
- $this->_clause =
+ $this->_clause =
$this->_current =
$this
->_current
@@ -165,9 +165,9 @@ class Interpreter implements Visitor\Visit
break;
case '#default':
- $children = $element->getChildren();
- $previous = $this->_current;
- $this->_clause =
+ $children = $element->getChildren();
+ $previous = $this->_current;
+ $this->_clause =
$this->_current =
$this
->_current
@@ -583,6 +583,7 @@ class Interpreter implements Visitor\Visit
case 'accepted':
case 'string':
case 'regex';
+
return $value;
default:
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php
index 6242422..7dc99ff 100644
--- a/Visitor/Praspel.php
+++ b/Visitor/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Hoa community. All rights reserved.
+ * Copyright © 2007-2016, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -45,7 +45,7 @@ use Hoa\Visitor;
*
* Compile the model to Praspel code.
*
- * @copyright Copyright © 2007-2015 Hoa community
+ * @copyright Copyright © 2007-2016 Hoa community
* @license New BSD License
*/
class Praspel implements Visitor\Visit