aboutsummaryrefslogtreecommitdiffstats
path: root/Model/Behavior.php
Commit message (Collapse)AuthorAgeFiles
* Fix a PHP compatibility.Ivan Enderlin2014-04-031
|
* Happy new year \o/.Ivan Enderlin2014-01-071
|
* The @description clause can be present anywhere.Ivan Enderlin2014-01-031
|
* Update indexes of exceptions.Ivan Enderlin2013-11-251
|
* A @default can be declared if…Ivan Enderlin2013-11-251
| | | | … at least one @behavior exists.
* Adding a clause redefine its parent.Ivan Enderlin2013-11-221
|
* Cannot have global/parent @ensures or @throwable.Ivan Enderlin2013-11-211
| | | | | | | The semantics of a global @throwable clause is really hard to define. Same for @ensures. After a study, we realized that users do not write global or parent @ensures or @throwable clauses. Thus, to simplify everything, we reject such contract constructions.
* Add the addClause() method.Ivan Enderlin2013-11-011
|
* Reorder allowed clause for the Praspel visitor.Ivan Enderlin2013-11-011
|
* A @behavior cannot have an @invariant clause.Ivan Enderlin2013-06-131
|
* Fix exception number.Ivan Enderlin2013-06-101
|
* Add the @default clause!Ivan Enderlin2013-06-101
| | | | The default clause represents a default/else behavior.
* Add the allowedClauses attributes.Ivan Enderlin2013-06-101
| | | | It helps to simplify the code.
* 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.
* Happy new year \o/.Ivan Enderlin2013-01-011
|
* Add getId() and _getId() methods.Ivan Enderlin2012-12-181
|
* Welcome to Hoa\Praspel \o/!Ivan Enderlin2012-11-231