aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2017-01-10 14:04:59 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2017-01-10 14:04:59 +0100
commit9c885323891454a82f73140141d9189c44fba8ab (patch)
treee0907d52e40385fe9223f16348f0b41deb6d82e1
parent6a81c777d3c26847e9cc4276362d6727a372bdbd (diff)
downloadPraspel-9c885323891454a82f73140141d9189c44fba8ab.zip
Praspel-9c885323891454a82f73140141d9189c44fba8ab.tar.gz
Praspel-9c885323891454a82f73140141d9189c44fba8ab.tar.bz2
Quality: Happy new year!
-rw-r--r--AssertionChecker/AssertionChecker.php5
-rw-r--r--AssertionChecker/Runtime.php4
-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.php5
-rw-r--r--Iterator/Coverage/Domain.php5
-rw-r--r--Iterator/Coverage/Structural.php5
-rw-r--r--Iterator/Sampler.php5
-rw-r--r--Iterator/WeakStack.php4
-rw-r--r--Model/Behavior.php4
-rw-r--r--Model/Clause.php5
-rw-r--r--Model/Collection.php5
-rw-r--r--Model/Declaration.php4
-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.php5
-rw-r--r--Model/Throwable.php4
-rw-r--r--Model/Variable/Borrowing.php5
-rw-r--r--Model/Variable/Implicit.php5
-rw-r--r--Model/Variable/Variable.php5
-rw-r--r--Praspel.php4
-rw-r--r--Preambler/EncapsulationShunter.php5
-rw-r--r--Preambler/Handler.php7
-rw-r--r--TODO3
-rw-r--r--Trace.php4
-rw-r--r--Visitor/Compiler.php6
-rw-r--r--Visitor/Interpreter.php7
-rw-r--r--Visitor/Praspel.php4
45 files changed, 94 insertions, 105 deletions
diff --git a/AssertionChecker/AssertionChecker.php b/AssertionChecker/AssertionChecker.php
index 53cea1b..ad76cf4 100644
--- a/AssertionChecker/AssertionChecker.php
+++ b/AssertionChecker/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
abstract class AssertionChecker
@@ -85,7 +85,6 @@ abstract class AssertionChecker
* @param \Hoa\Praspel\Model\Specification $specification Specification.
* @param \Hoa\Consistency\Xcallable $callable Callable.
* @param bool $genrateData Generate data.
- * @return void
*/
public function __construct(
Praspel\Model\Specification $specification,
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 27ac9c4..c84d777 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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;
*
* Assertion checker: runtime (so-called RAC).
*
- * @copyright Copyright © 2007-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Runtime extends AssertionChecker
diff --git a/Bin/Shell.php b/Bin/Shell.php
index 965b803..8ffa1e2 100644
--- a/Bin/Shell.php
+++ b/Bin/Shell.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Shell extends Console\Dispatcher\Kit
diff --git a/Exception/AssertionChecker.php b/Exception/AssertionChecker.php
index 9d39532..8900425 100644
--- a/Exception/AssertionChecker.php
+++ b/Exception/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class AssertionChecker extends Generic
diff --git a/Exception/Compiler.php b/Exception/Compiler.php
index 6901ffc..fab964c 100644
--- a/Exception/Compiler.php
+++ b/Exception/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Compiler extends Generic
diff --git a/Exception/Exception.php b/Exception/Exception.php
index 44b8a67..29753a2 100644
--- a/Exception/Exception.php
+++ b/Exception/Exception.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
interface Exception
diff --git a/Exception/Failure/Exceptional.php b/Exception/Failure/Exceptional.php
index 085d3ed..16fdcac 100644
--- a/Exception/Failure/Exceptional.php
+++ b/Exception/Failure/Exceptional.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Exceptional extends Failure
diff --git a/Exception/Failure/Failure.php b/Exception/Failure/Failure.php
index 24bf7e3..5952f5e 100644
--- a/Exception/Failure/Failure.php
+++ b/Exception/Failure/Failure.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 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 357d655..3603181 100644
--- a/Exception/Failure/InternalPrecondition.php
+++ b/Exception/Failure/InternalPrecondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class InternalPrecondition extends Failure
diff --git a/Exception/Failure/Invariant.php b/Exception/Failure/Invariant.php
index 2667725..dfdfdd1 100644
--- a/Exception/Failure/Invariant.php
+++ b/Exception/Failure/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Invariant extends Failure
diff --git a/Exception/Failure/Postcondition.php b/Exception/Failure/Postcondition.php
index de6870a..931fd18 100644
--- a/Exception/Failure/Postcondition.php
+++ b/Exception/Failure/Postcondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Postcondition extends Failure
diff --git a/Exception/Failure/Precondition.php b/Exception/Failure/Precondition.php
index fb6362b..2a0e3d6 100644
--- a/Exception/Failure/Precondition.php
+++ b/Exception/Failure/Precondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Precondition extends Failure
diff --git a/Exception/Generic.php b/Exception/Generic.php
index 9cd4ad5..ad66787 100644
--- a/Exception/Generic.php
+++ b/Exception/Generic.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Generic extends HoaException implements Exception
diff --git a/Exception/Group.php b/Exception/Group.php
index 6d8833e..e7ac0ee 100644
--- a/Exception/Group.php
+++ b/Exception/Group.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Group extends HoaException\Group implements Exception
diff --git a/Exception/Interpreter.php b/Exception/Interpreter.php
index 7608138..9df1559 100644
--- a/Exception/Interpreter.php
+++ b/Exception/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Interpreter extends Generic
diff --git a/Exception/Model.php b/Exception/Model.php
index 7576121..32cc72f 100644
--- a/Exception/Model.php
+++ b/Exception/Model.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Model extends Generic
diff --git a/Exception/Preambler.php b/Exception/Preambler.php
index 547e52d..d5a973a 100644
--- a/Exception/Preambler.php
+++ b/Exception/Preambler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Preambler extends Generic
diff --git a/Iterator/Coverage/Coverage.php b/Iterator/Coverage/Coverage.php
index 0b20001..2eb5be8 100644
--- a/Iterator/Coverage/Coverage.php
+++ b/Iterator/Coverage/Coverage.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Coverage implements Iterator\Aggregate
@@ -84,7 +84,6 @@ class Coverage implements Iterator\Aggregate
* Constructor.
*
* @param \Hoa\Praspel\Model\Specification $specification Specification.
- * @return void
*/
public function __construct(Praspel\Model\Specification $specification)
{
diff --git a/Iterator/Coverage/Domain.php b/Iterator/Coverage/Domain.php
index 391e003..cf152ef 100644
--- a/Iterator/Coverage/Domain.php
+++ b/Iterator/Coverage/Domain.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Domain implements Iterator
@@ -89,7 +89,6 @@ class Domain implements Iterator
* Constructor.
*
* @param mixed $variables Variables.
- * @return void
*/
public function __construct($variables)
{
diff --git a/Iterator/Coverage/Structural.php b/Iterator/Coverage/Structural.php
index f9c15e8..af7d4b1 100644
--- a/Iterator/Coverage/Structural.php
+++ b/Iterator/Coverage/Structural.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Structural implements Iterator\Recursive
@@ -134,7 +134,6 @@ class Structural implements Iterator\Recursive
* Constructor.
*
* @param \Hoa\Praspel\Model\Specification $specification Specification.
- * @return void
*/
public function __construct(Praspel\Model\Specification $specification)
{
diff --git a/Iterator/Sampler.php b/Iterator/Sampler.php
index 74031cb..63ad88b 100644
--- a/Iterator/Sampler.php
+++ b/Iterator/Sampler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Sampler implements Iterator
@@ -115,7 +115,6 @@ class Sampler implements Iterator
* see
* self::KEY_AS*
* constants).
- * @return void
*/
public function __construct(
Praspel\Model\Declaration $declaration,
diff --git a/Iterator/WeakStack.php b/Iterator/WeakStack.php
index c46ed1e..b3ad54b 100644
--- a/Iterator/WeakStack.php
+++ b/Iterator/WeakStack.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class WeakStack extends \SplStack
diff --git a/Model/Behavior.php b/Model/Behavior.php
index 6d7b3a6..1490dec 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Behavior extends Clause
diff --git a/Model/Clause.php b/Model/Clause.php
index 294ba56..bc2476c 100644
--- a/Model/Clause.php
+++ b/Model/Clause.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
abstract class Clause implements Visitor\Element
@@ -68,7 +68,6 @@ abstract class Clause implements Visitor\Element
* Build a clause.
*
* @param \Hoa\Praspel\Model\Clause $parent Parent.
- * @return void
*/
public function __construct(Clause $parent)
{
diff --git a/Model/Collection.php b/Model/Collection.php
index cfcc857..60d1940 100644
--- a/Model/Collection.php
+++ b/Model/Collection.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Collection
@@ -89,7 +89,6 @@ class Collection
*
* @param \Hoa\Praspel\Model\Clause $clause Clause.
* @param \Closure $postClone Post-clone function.
- * @return void
*/
public function __construct(Clause $clause, \Closure $postClone = null)
{
diff --git a/Model/Declaration.php b/Model/Declaration.php
index 7f85d22..775dc3f 100644
--- a/Model/Declaration.php
+++ b/Model/Declaration.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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\Realdom;
*
* Represent a declaration.
*
- * @copyright Copyright © 2007-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
abstract class Declaration
diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php
index 2f8097b..6df0830 100644
--- a/Model/DefaultBehavior.php
+++ b/Model/DefaultBehavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class DefaultBehavior extends Behavior
diff --git a/Model/Description.php b/Model/Description.php
index 96b0bfd..2ea4e23 100644
--- a/Model/Description.php
+++ b/Model/Description.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Description
diff --git a/Model/Ensures.php b/Model/Ensures.php
index 88615da..b02f6ce 100644
--- a/Model/Ensures.php
+++ b/Model/Ensures.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Ensures extends Declaration
diff --git a/Model/Invariant.php b/Model/Invariant.php
index 384896c..8238da4 100644
--- a/Model/Invariant.php
+++ b/Model/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Invariant extends Declaration
diff --git a/Model/Is.php b/Model/Is.php
index dc424d9..3f74c58 100644
--- a/Model/Is.php
+++ b/Model/Is.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Is extends Clause
diff --git a/Model/Requires.php b/Model/Requires.php
index b422602..a697bc8 100644
--- a/Model/Requires.php
+++ b/Model/Requires.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Requires extends Declaration
diff --git a/Model/Specification.php b/Model/Specification.php
index 1d7b59d..ad05320 100644
--- a/Model/Specification.php
+++ b/Model/Specification.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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 specification (contains all clauses).
*
- * @copyright Copyright © 2007-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Specification extends Behavior
@@ -91,7 +91,6 @@ class Specification extends Behavior
/**
* Cancel the constructor from the parent.
*
- * @return void
*/
public function __construct()
{
diff --git a/Model/Throwable.php b/Model/Throwable.php
index 1bb6376..f9d1c7d 100644
--- a/Model/Throwable.php
+++ b/Model/Throwable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Throwable
diff --git a/Model/Variable/Borrowing.php b/Model/Variable/Borrowing.php
index a130d02..4a9c800 100644
--- a/Model/Variable/Borrowing.php
+++ b/Model/Variable/Borrowing.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Borrowing extends Variable
@@ -85,7 +85,6 @@ class Borrowing extends Variable
* @param string $name Name.
* @param bool $local Local.
* @param \Hoa\Praspel\Model\Clause $clause Clause.
- * @return void
* @throws \Hoa\Praspel\Exception\Model
*/
public function __construct(
diff --git a/Model/Variable/Implicit.php b/Model/Variable/Implicit.php
index 8bb8cfe..c303a0e 100644
--- a/Model/Variable/Implicit.php
+++ b/Model/Variable/Implicit.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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\Realdom;
*
* Represent an implicit variable.
*
- * @copyright Copyright © 2007-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Implicit extends Variable
@@ -56,7 +56,6 @@ class Implicit extends Variable
* @param string $name Name.
* @param bool $local Local.
* @param \Hoa\Praspel\Model\Clause $clause Clause.
- * @return void
* @throws \Hoa\Praspel\Exception\Model
*/
public function __construct(
diff --git a/Model/Variable/Variable.php b/Model/Variable/Variable.php
index d5a1f56..92bb6f9 100644
--- a/Model/Variable/Variable.php
+++ b/Model/Variable/Variable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Variable
@@ -134,7 +134,6 @@ class Variable
* @param string $name Name.
* @param bool $local Local.
* @param \Hoa\Praspel\Model\Clause $clause Clause.
- * @return void
* @throws \Hoa\Praspel\Exception\Model
*/
public function __construct(
diff --git a/Praspel.php b/Praspel.php
index a53a341..6c8d9ab 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Praspel
diff --git a/Preambler/EncapsulationShunter.php b/Preambler/EncapsulationShunter.php
index f28187a..4b9ee57 100644
--- a/Preambler/EncapsulationShunter.php
+++ b/Preambler/EncapsulationShunter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class EncapsulationShunter
@@ -65,7 +65,6 @@ class EncapsulationShunter
*
* @param \Hoa\Praspel\AssertionChecker $assertionChecker Assertion
* checker.
- * @return void
*/
public function __construct(Praspel\AssertionChecker $assertionChecker = null)
{
diff --git a/Preambler/Handler.php b/Preambler/Handler.php
index 0112992..5b95efc 100644
--- a/Preambler/Handler.php
+++ b/Preambler/Handler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Handler
@@ -61,7 +61,7 @@ class Handler
*
* This is a cache.
*/
- private $__reflectionObject = null;
+ private $__reflectionObject = null;
/**
* Generated object.
@@ -76,7 +76,6 @@ class Handler
* Construct.
*
* @param \Hoa\Consistency\Xcallable $callable Callable.
- * @return void
*/
public function __construct(Consistency\Xcallable $callable)
{
diff --git a/TODO b/TODO
new file mode 100644
index 0000000..2bd0152
--- /dev/null
+++ b/TODO
@@ -0,0 +1,3 @@
+Trace dans les @throwable !!
+
+@forexample
diff --git a/Trace.php b/Trace.php
index 6c91998..a98c77e 100644
--- a/Trace.php
+++ b/Trace.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Trace extends Model\Specification
diff --git a/Visitor/Compiler.php b/Visitor/Compiler.php
index a682aa6..8f9f468 100644
--- a/Visitor/Compiler.php
+++ b/Visitor/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Compiler implements Visitor\Visit
@@ -69,7 +69,7 @@ class Compiler implements Visitor\Visit
if ($element instanceof Praspel\Model\Specification) {
$variable = '$' . $element->getId();
- $out = $variable . ' = new \Hoa\Praspel\Model\Specification();' . "\n";
+ $out = $variable . ' = new \Hoa\Praspel\Model\Specification();' . "\n";
foreach ($element::getAllowedClauses() as $clause) {
if (true === $element->clauseExists($clause)) {
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index a4a7237..96276fa 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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;
*
* Compile Praspel to model.
*
- * @copyright Copyright © 2007-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Interpreter implements Visitor\Visit
@@ -578,8 +578,7 @@ class Interpreter implements Visitor\Visit
case 'accepted':
case 'string':
- case 'regex';
-
+ case 'regex':
return $value;
default:
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php
index 7dc99ff..e8e1dfa 100644
--- a/Visitor/Praspel.php
+++ b/Visitor/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2016, Hoa community. All rights reserved.
+ * Copyright © 2007-2017, 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-2016 Hoa community
+ * @copyright Copyright © 2007-2017 Hoa community
* @license New BSD License
*/
class Praspel implements Visitor\Visit