aboutsummaryrefslogtreecommitdiffstats
path: root/Visitor/Compiler.php
Commit message (Collapse)AuthorAgeFiles
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-281
|
* Happy new year!Ivan Enderlin2015-01-051
|
* Happy new year \o/.Ivan Enderlin2014-01-071
|
* Fix compilation of crate variable.Ivan Enderlin2013-11-221
|
* Support crate constant.Ivan Enderlin2013-11-221
|
* Include visitors from Hoa\Realdom.Ivan Enderlin2013-11-051
|
* Restore “let”.Ivan Enderlin2013-09-271
|
* Add the @default clause!Ivan Enderlin2013-06-101
| | | | The default clause represents a default/else behavior.
* Use the Model\Behavior::getAllowedClauses().Ivan Enderlin2013-06-101
| | | | It helps maintenance and modularity of the code.
* Add support of “with” in @throwable.Ivan Enderlin2013-06-101
| | | | | | | It allows to specify the post-state of data. Example: @throwable T1 t1 with this->foo: true;
* New exceptions architecture.Ivan Enderlin2013-06-071
| | | | | | | Hoa\Praspel\Exception is now an interface. The root exception is Hoa\Praspel\Exception\Generic. We have also added the “Praspel failure” exceptions and the Hoa\Praspel\Exception\Group exception.
* New @throwable clause API.Ivan Enderlin2013-04-231
|
* Introduce collection of clauses.Ivan Enderlin2013-04-161
| | | | | | | | | | | | Clauses can have variables, so that they extend Declaration. But a specification or a behavior can have a collection of other clauses, such as a collection of behavior, represented by an identifier. To build a collection of clauses, we need to instance the Collection class with a preset clause and post-clone function. For each new offset in the collection, the associated value is a clone from the preset clause with the post-clone function applied on this clone. This mechanism allows us to build modular collection of clauses.
* Rename @forexample to @description.Ivan Enderlin2013-04-161
| | | | | | The @forexample has already a semantics defined in JML. Our @forexample clause has a complete different semantics. In order to avoid confusion, we rename it.
* Add local variable with the “let” keyword.Ivan Enderlin2013-04-091
| | | | | | | | | | | | | A local variable is a contract variable, it does not represent a data of the program (class attribute or method argument). In Praspel: @requires let size: 1..5 and arr: array([…], size); In PHP $requires = $specification->getClause('requires'); $requires->let['size']->in = realdom()->boundinteger(1, 5); $requires['arr']->in = realdom()->array(…, $requires['size']);
* Happy new year \o/.Ivan Enderlin2013-01-011
|
* Better variable identifiers handling.Ivan Enderlin2012-12-181
|
* Welcome to Hoa\Praspel \o/!Ivan Enderlin2012-11-231