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