Commit message (Collapse) | Author | Age | Files | |
---|---|---|---|---|
* | Quality: Happy new year! | Ivan Enderlin | 2017-01-10 | 1 |
| | ||||
* | Disjunction: Fix autoloading. | Alexis von Glasow | 2016-05-09 | 1 |
| | ||||
* | Quality: Run devtools:cs. | Ivan Enderlin | 2016-01-09 | 1 |
| | ||||
* | Consistency: Remove `from` calls. | Ivan Enderlin | 2015-12-11 | 1 |
| | ||||
* | Move to PSR-1-2 & drop PHP5.3 & `from`/`import`. | Ivan Enderlin | 2015-05-28 | 1 |
| | ||||
* | Happy new year! | Ivan Enderlin | 2015-01-05 | 1 |
| | ||||
* | Happy new year \o/. | Ivan Enderlin | 2014-01-07 | 1 |
| | ||||
* | Classnames are backslash left-trimmed. | Ivan Enderlin | 2013-11-22 | 1 |
| | ||||
* | A specification can be binded to a class. | Ivan Enderlin | 2013-11-11 | 1 |
| | | | | This is obligatory for dynamic and static resolutions. | |||
* | Support $this. | Ivan Enderlin | 2013-11-05 | 1 |
| | | | | | Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”. | |||
* | Reorder allowed clause for the Praspel visitor. | Ivan Enderlin | 2013-11-01 | 1 |
| | ||||
* | Add the @default clause! | Ivan Enderlin | 2013-06-10 | 1 |
| | | | | The default clause represents a default/else behavior. | |||
* | Add the allowedClauses attributes. | Ivan Enderlin | 2013-06-10 | 1 |
| | | | | It helps to simplify the code. | |||
* | Introduce collection of clauses. | Ivan Enderlin | 2013-04-16 | 1 |
| | | | | | | | | | | | | 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 Enderlin | 2013-04-16 | 1 |
| | | | | | | 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. | |||
* | Happy new year \o/. | Ivan Enderlin | 2013-01-01 | 1 |
| | ||||
* | Add getId() and _getId() methods. | Ivan Enderlin | 2012-12-18 | 1 |
| | ||||
* | Welcome to Hoa\Praspel \o/! | Ivan Enderlin | 2012-11-23 | 1 |