aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2015-01-05 14:44:27 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2015-01-05 14:44:27 +0100
commit58dae3630ef137db573acf229e6cef688f3a93e6 (patch)
tree9ebce9868f76b85ebffb7335d61ead09b6f14d5e
parentdf82c9f61d4879924645e83f2ce27d8d45dd45c0 (diff)
downloadPraspel-58dae3630ef137db573acf229e6cef688f3a93e6.zip
Praspel-58dae3630ef137db573acf229e6cef688f3a93e6.tar.gz
Praspel-58dae3630ef137db573acf229e6cef688f3a93e6.tar.bz2
Happy new year!
-rw-r--r--AssertionChecker/AssertionChecker.php4
-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--Grammar.pp4
-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.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.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.php4
-rw-r--r--Visitor/Praspel.php4
45 files changed, 90 insertions, 90 deletions
diff --git a/AssertionChecker/AssertionChecker.php b/AssertionChecker/AssertionChecker.php
index 55e9eff..746a6fd 100644
--- a/AssertionChecker/AssertionChecker.php
+++ b/AssertionChecker/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\AssertionChecker {
* Generic assertion checker.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 9b3b0b9..19e563c 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -88,7 +88,7 @@ namespace Hoa\Praspel\AssertionChecker {
* Assertion checker: runtime (so-called RAC).
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Bin/Shell.php b/Bin/Shell.php
index 7b9e32a..8b73dc6 100644
--- a/Bin/Shell.php
+++ b/Bin/Shell.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -93,7 +93,7 @@ namespace Hoa\Praspel\Bin {
* Interactive Praspel shell.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/AssertionChecker.php b/Exception/AssertionChecker.php
index 433964e..29c4346 100644
--- a/Exception/AssertionChecker.php
+++ b/Exception/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Praspel\Exception\Generic class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Compiler.php b/Exception/Compiler.php
index a7ead95..14382ad 100644
--- a/Exception/Compiler.php
+++ b/Exception/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Praspel\Exception\Generic class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Exception.php b/Exception/Exception.php
index 4ae53b6..dcece9c 100644
--- a/Exception/Exception.php
+++ b/Exception/Exception.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -42,7 +42,7 @@ namespace Hoa\Praspel\Exception {
* Interface representing Hoa\Praspel exceptions.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Exceptional.php b/Exception/Failure/Exceptional.php
index 48e03c5..7debe44 100644
--- a/Exception/Failure/Exceptional.php
+++ b/Exception/Failure/Exceptional.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\Failure class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Failure.php b/Exception/Failure/Failure.php
index 3a6e875..f77c057 100644
--- a/Exception/Failure/Failure.php
+++ b/Exception/Failure/Failure.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\AssertionChecker class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/InternalPrecondition.php b/Exception/Failure/InternalPrecondition.php
index b682dea..9c9665b 100644
--- a/Exception/Failure/InternalPrecondition.php
+++ b/Exception/Failure/InternalPrecondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\Failure class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Invariant.php b/Exception/Failure/Invariant.php
index 194f4da..02c0776 100644
--- a/Exception/Failure/Invariant.php
+++ b/Exception/Failure/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\Failure class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Postcondition.php b/Exception/Failure/Postcondition.php
index b5e367e..d9c4032 100644
--- a/Exception/Failure/Postcondition.php
+++ b/Exception/Failure/Postcondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\Failure class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Precondition.php b/Exception/Failure/Precondition.php
index 69cb1dc..e9ea825 100644
--- a/Exception/Failure/Precondition.php
+++ b/Exception/Failure/Precondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception\Failure {
* Extending the \Hoa\Praspel\Exception\Failure class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Generic.php b/Exception/Generic.php
index 9f0b5b5..dbc3b58 100644
--- a/Exception/Generic.php
+++ b/Exception/Generic.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Core\Exception class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Group.php b/Exception/Group.php
index c8fabc9..c8208fc 100644
--- a/Exception/Group.php
+++ b/Exception/Group.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Core\Exception\Group class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Interpreter.php b/Exception/Interpreter.php
index 2516711..48c71fe 100644
--- a/Exception/Interpreter.php
+++ b/Exception/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Praspel\Exception\Generic class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Model.php b/Exception/Model.php
index 6dabc09..8c5c793 100644
--- a/Exception/Model.php
+++ b/Exception/Model.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Praspel\Exception\Generic class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Preambler.php b/Exception/Preambler.php
index ad9f876..b8b442e 100644
--- a/Exception/Preambler.php
+++ b/Exception/Preambler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Exception {
* Extending the \Hoa\Praspel\Exception\Generic class.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Grammar.pp b/Grammar.pp
index 0f6f8fe..b891a87 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -6,7 +6,7 @@
//
// New BSD License
//
-// Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+// Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
@@ -36,7 +36,7 @@
// Provide grammar for Praspel.
//
// @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
-// @copyright Copyright © 2007-2014 Ivan Enderlin.
+// @copyright Copyright © 2007-2015 Ivan Enderlin.
// @license New BSD License
//
diff --git a/Iterator/Coverage/Coverage.php b/Iterator/Coverage/Coverage.php
index 25d672a..d5d521e 100644
--- a/Iterator/Coverage/Coverage.php
+++ b/Iterator/Coverage/Coverage.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -63,7 +63,7 @@ namespace Hoa\Praspel\Iterator\Coverage {
* Coverage recursive iterator.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Coverage/Domain.php b/Iterator/Coverage/Domain.php
index 483aeb9..9e5dfb4 100644
--- a/Iterator/Coverage/Domain.php
+++ b/Iterator/Coverage/Domain.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Iterator\Coverage {
* Domain coverage.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Coverage/Structural.php b/Iterator/Coverage/Structural.php
index c55d8d7..e299407 100644
--- a/Iterator/Coverage/Structural.php
+++ b/Iterator/Coverage/Structural.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -83,7 +83,7 @@ namespace Hoa\Praspel\Iterator\Coverage {
* Structural coverage.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Sampler.php b/Iterator/Sampler.php
index 02cd8c8..e0d6507 100644
--- a/Iterator/Sampler.php
+++ b/Iterator/Sampler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\Iterator {
* An easy way to iterate over data described by Praspel.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/WeakStack.php b/Iterator/WeakStack.php
index fa989ad..b4e5746 100644
--- a/Iterator/WeakStack.php
+++ b/Iterator/WeakStack.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -42,7 +42,7 @@ namespace Hoa\Praspel\Iterator {
* A weak stack is a SplStack with null elements that are not iterated.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Behavior.php b/Model/Behavior.php
index ff2c3b3..d962846 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -98,7 +98,7 @@ namespace Hoa\Praspel\Model {
* Represent the @behavior clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Clause.php b/Model/Clause.php
index d221d53..ed66b47 100644
--- a/Model/Clause.php
+++ b/Model/Clause.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent a clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Collection.php b/Model/Collection.php
index 3b2ed06..74cd182 100644
--- a/Model/Collection.php
+++ b/Model/Collection.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -68,7 +68,7 @@ namespace Hoa\Praspel\Model {
* Represent a collection of clauses.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Declaration.php b/Model/Declaration.php
index 6891673..e0708fe 100644
--- a/Model/Declaration.php
+++ b/Model/Declaration.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -93,7 +93,7 @@ namespace Hoa\Praspel\Model {
* Represent a declaration.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php
index 78441ee..5675ff8 100644
--- a/Model/DefaultBehavior.php
+++ b/Model/DefaultBehavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent a default behavior.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Description.php b/Model/Description.php
index b29bb17..68274a3 100644
--- a/Model/Description.php
+++ b/Model/Description.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -63,7 +63,7 @@ namespace Hoa\Praspel\Model {
* Represent the @description clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Ensures.php b/Model/Ensures.php
index 315a95e..0a08c4e 100644
--- a/Model/Ensures.php
+++ b/Model/Ensures.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent the @ensures clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Invariant.php b/Model/Invariant.php
index 99b865f..c084f05 100644
--- a/Model/Invariant.php
+++ b/Model/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent the @invariant clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Is.php b/Model/Is.php
index 2811acb..f2c213c 100644
--- a/Model/Is.php
+++ b/Model/Is.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent the @is clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Requires.php b/Model/Requires.php
index 168fece..4cd0727 100644
--- a/Model/Requires.php
+++ b/Model/Requires.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Model {
* Represent the @requires clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Specification.php b/Model/Specification.php
index 273f522..47b1277 100644
--- a/Model/Specification.php
+++ b/Model/Specification.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\Model {
* Represent a specification (contains all clauses).
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Throwable.php b/Model/Throwable.php
index 97a9b7f..11fbae8 100644
--- a/Model/Throwable.php
+++ b/Model/Throwable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -68,7 +68,7 @@ namespace Hoa\Praspel\Model {
* Represent the @throwable clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Borrowing.php b/Model/Variable/Borrowing.php
index 1ac54d8..e90b291 100644
--- a/Model/Variable/Borrowing.php
+++ b/Model/Variable/Borrowing.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\Model\Variable {
* Represent a borrowing variable.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Implicit.php b/Model/Variable/Implicit.php
index a27bae1..d28e8a9 100644
--- a/Model/Variable/Implicit.php
+++ b/Model/Variable/Implicit.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -63,7 +63,7 @@ namespace Hoa\Praspel\Model\Variable {
* Represent an implicit variable.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Variable.php b/Model/Variable/Variable.php
index 3f2ade4..d50ff77 100644
--- a/Model/Variable/Variable.php
+++ b/Model/Variable/Variable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -63,7 +63,7 @@ namespace Hoa\Praspel\Model\Variable {
* Represent a variable.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Praspel.php b/Praspel.php
index 94f5a9e..7b047ed 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -68,7 +68,7 @@ namespace Hoa\Praspel {
* Take a specification + data and validate/verify a callable.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Preambler/EncapsulationShunter.php b/Preambler/EncapsulationShunter.php
index 0b365fc..dde863b 100644
--- a/Preambler/EncapsulationShunter.php
+++ b/Preambler/EncapsulationShunter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -64,7 +64,7 @@ namespace Hoa\Praspel\Preambler {
* invariants and not methods calls.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Preambler/Handler.php b/Preambler/Handler.php
index 14b7c6d..05fa016 100644
--- a/Preambler/Handler.php
+++ b/Preambler/Handler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel\Preambler {
* Handle a class and ease to run a preamble.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Trace.php b/Trace.php
index 94ac8a3..6b3ea6f 100644
--- a/Trace.php
+++ b/Trace.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -53,7 +53,7 @@ namespace Hoa\Praspel {
* A trace is a derivated specification.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Compiler.php b/Visitor/Compiler.php
index 596b337..eb033ce 100644
--- a/Visitor/Compiler.php
+++ b/Visitor/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\Visitor {
* Compile the model to PHP code.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index da62297..3c00144 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -68,7 +68,7 @@ namespace Hoa\Praspel\Visitor {
* Compile Praspel to model.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php
index 8098f89..350c7b0 100644
--- a/Visitor/Praspel.php
+++ b/Visitor/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2014, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -58,7 +58,7 @@ namespace Hoa\Praspel\Visitor {
* Compile the model to Praspel code.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2014 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Ivan Enderlin.
* @license New BSD License
*/