aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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 ba4a4d6..55e9eff 100644
--- a/AssertionChecker/AssertionChecker.php
+++ b/AssertionChecker/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 71f1414..d106525 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Bin/Shell.php b/Bin/Shell.php
index 631ad09..74e971e 100644
--- a/Bin/Shell.php
+++ b/Bin/Shell.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/AssertionChecker.php b/Exception/AssertionChecker.php
index e8b2cff..433964e 100644
--- a/Exception/AssertionChecker.php
+++ b/Exception/AssertionChecker.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Compiler.php b/Exception/Compiler.php
index aa376ab..a7ead95 100644
--- a/Exception/Compiler.php
+++ b/Exception/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Exception.php b/Exception/Exception.php
index e38c57a..4ae53b6 100644
--- a/Exception/Exception.php
+++ b/Exception/Exception.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Exceptional.php b/Exception/Failure/Exceptional.php
index 0f47c9b..48e03c5 100644
--- a/Exception/Failure/Exceptional.php
+++ b/Exception/Failure/Exceptional.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Failure.php b/Exception/Failure/Failure.php
index 8431786..3a6e875 100644
--- a/Exception/Failure/Failure.php
+++ b/Exception/Failure/Failure.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/InternalPrecondition.php b/Exception/Failure/InternalPrecondition.php
index b7cda1d..b682dea 100644
--- a/Exception/Failure/InternalPrecondition.php
+++ b/Exception/Failure/InternalPrecondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Invariant.php b/Exception/Failure/Invariant.php
index 22f2e09..194f4da 100644
--- a/Exception/Failure/Invariant.php
+++ b/Exception/Failure/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Postcondition.php b/Exception/Failure/Postcondition.php
index 71e9e41..b5e367e 100644
--- a/Exception/Failure/Postcondition.php
+++ b/Exception/Failure/Postcondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Failure/Precondition.php b/Exception/Failure/Precondition.php
index 0f12071..69cb1dc 100644
--- a/Exception/Failure/Precondition.php
+++ b/Exception/Failure/Precondition.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Generic.php b/Exception/Generic.php
index 10ae232..9f0b5b5 100644
--- a/Exception/Generic.php
+++ b/Exception/Generic.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Group.php b/Exception/Group.php
index 00536e1..c8fabc9 100644
--- a/Exception/Group.php
+++ b/Exception/Group.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Interpreter.php b/Exception/Interpreter.php
index f54afe0..2516711 100644
--- a/Exception/Interpreter.php
+++ b/Exception/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Model.php b/Exception/Model.php
index 1ec95da..6dabc09 100644
--- a/Exception/Model.php
+++ b/Exception/Model.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Exception/Preambler.php b/Exception/Preambler.php
index 745258f..ad9f876 100644
--- a/Exception/Preambler.php
+++ b/Exception/Preambler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Grammar.pp b/Grammar.pp
index 7682398..75dcef6 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -6,7 +6,7 @@
//
// New BSD License
//
-// Copyright © 2007-2012, Ivan Enderlin. All rights reserved.
+// Copyright © 2007-2014, 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-2012 Ivan Enderlin.
+// @copyright Copyright © 2007-2014 Ivan Enderlin.
// @license New BSD License
//
diff --git a/Iterator/Coverage/Coverage.php b/Iterator/Coverage/Coverage.php
index b6bea2b..25d672a 100644
--- a/Iterator/Coverage/Coverage.php
+++ b/Iterator/Coverage/Coverage.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Coverage/Domain.php b/Iterator/Coverage/Domain.php
index e3c93c7..483aeb9 100644
--- a/Iterator/Coverage/Domain.php
+++ b/Iterator/Coverage/Domain.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Coverage/Structural.php b/Iterator/Coverage/Structural.php
index ccfb1a9..d59b208 100644
--- a/Iterator/Coverage/Structural.php
+++ b/Iterator/Coverage/Structural.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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:
@@ -78,7 +78,7 @@ namespace Hoa\Praspel\Iterator\Coverage {
* Structural coverage.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/Sampler.php b/Iterator/Sampler.php
index 2685a2d..02cd8c8 100644
--- a/Iterator/Sampler.php
+++ b/Iterator/Sampler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Iterator/WeakStack.php b/Iterator/WeakStack.php
index 4a64bf3..9c361ad 100644
--- a/Iterator/WeakStack.php
+++ b/Iterator/WeakStack.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Behavior.php b/Model/Behavior.php
index 7a587bb..2ac98dc 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Clause.php b/Model/Clause.php
index 83cbd9e..d221d53 100644
--- a/Model/Clause.php
+++ b/Model/Clause.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Collection.php b/Model/Collection.php
index 597ffde..3b2ed06 100644
--- a/Model/Collection.php
+++ b/Model/Collection.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Declaration.php b/Model/Declaration.php
index 68f3111..6891673 100644
--- a/Model/Declaration.php
+++ b/Model/Declaration.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/DefaultBehavior.php b/Model/DefaultBehavior.php
index 6493f0e..78441ee 100644
--- a/Model/DefaultBehavior.php
+++ b/Model/DefaultBehavior.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Description.php b/Model/Description.php
index 926d6cb..b29bb17 100644
--- a/Model/Description.php
+++ b/Model/Description.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Ensures.php b/Model/Ensures.php
index b3df0ee..315a95e 100644
--- a/Model/Ensures.php
+++ b/Model/Ensures.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Invariant.php b/Model/Invariant.php
index e1cbd25..99b865f 100644
--- a/Model/Invariant.php
+++ b/Model/Invariant.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Is.php b/Model/Is.php
index e539942..2811acb 100644
--- a/Model/Is.php
+++ b/Model/Is.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Requires.php b/Model/Requires.php
index eb59d6a..168fece 100644
--- a/Model/Requires.php
+++ b/Model/Requires.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Specification.php b/Model/Specification.php
index 33ccb0f..273f522 100644
--- a/Model/Specification.php
+++ b/Model/Specification.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Throwable.php b/Model/Throwable.php
index 53f81aa..97a9b7f 100644
--- a/Model/Throwable.php
+++ b/Model/Throwable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Borrowing.php b/Model/Variable/Borrowing.php
index c59fcc8..1ac54d8 100644
--- a/Model/Variable/Borrowing.php
+++ b/Model/Variable/Borrowing.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Implicit.php b/Model/Variable/Implicit.php
index e02fcf5..a27bae1 100644
--- a/Model/Variable/Implicit.php
+++ b/Model/Variable/Implicit.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Model/Variable/Variable.php b/Model/Variable/Variable.php
index 6a429b3..3f2ade4 100644
--- a/Model/Variable/Variable.php
+++ b/Model/Variable/Variable.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Praspel.php b/Praspel.php
index 5a5c563..f1a870b 100644
--- a/Praspel.php
+++ b/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Preambler/EncapsulationShunter.php b/Preambler/EncapsulationShunter.php
index ccd5104..3ec65a7 100644
--- a/Preambler/EncapsulationShunter.php
+++ b/Preambler/EncapsulationShunter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Preambler/Handler.php b/Preambler/Handler.php
index a1a1359..14b7c6d 100644
--- a/Preambler/Handler.php
+++ b/Preambler/Handler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Trace.php b/Trace.php
index 6d5da1c..94ac8a3 100644
--- a/Trace.php
+++ b/Trace.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Compiler.php b/Visitor/Compiler.php
index 1889253..596b337 100644
--- a/Visitor/Compiler.php
+++ b/Visitor/Compiler.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Interpreter.php b/Visitor/Interpreter.php
index c4aa30d..bccc1b7 100644
--- a/Visitor/Interpreter.php
+++ b/Visitor/Interpreter.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/
diff --git a/Visitor/Praspel.php b/Visitor/Praspel.php
index e1487ff..8098f89 100644
--- a/Visitor/Praspel.php
+++ b/Visitor/Praspel.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2013, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2014, 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-2013 Ivan Enderlin.
+ * @copyright Copyright © 2007-2014 Ivan Enderlin.
* @license New BSD License
*/