aboutsummaryrefslogtreecommitdiffstats
path: root/Model
Commit message (Collapse)AuthorAgeFiles
* Quality: Happy new year!Ivan Enderlin2017-01-1015
|
* Disjunction: Fix autoloading.Alexis von Glasow2016-05-092
|
* Quality: Run devtools:cs.Ivan Enderlin2016-01-0915
|
* Consistency: Remove `from` calls.Ivan Enderlin2015-12-112
|
* Consistency: Use `Hoa\Consistency`.Ivan Enderlin2015-12-081
|
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-2815
|
* Happy new year!Ivan Enderlin2015-01-0515
|
* Fix a PHP compatibility.Ivan Enderlin2014-04-031
|
* Happy new year \o/.Ivan Enderlin2014-01-0715
|
* 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.
* Update an exception message.Ivan Enderlin2013-11-251
|
* Move importations.Ivan Enderlin2013-11-251
|
* Add tracability for crate constant.Ivan Enderlin2013-11-221
|
* Clean a little bit \old(e) support.Ivan Enderlin2013-11-221
| | | | | Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model.
* Remove reference when setting the value.Ivan Enderlin2013-11-221
| | | | | | | | | If the variable is an argument that is passed by-reference, and, if its value is changed during the execution of the system, its reference will be propagated until here. Consequently, in the post-state of the system, the value of the variable in the pre-state will be equal to the value in the post-state. This is an error. Thus, we copy the value instead of using a reference (initially introduced for performance reason).
* Adding a clause redefine its parent.Ivan Enderlin2013-11-221
|
* Classnames are backslash left-trimmed.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.
* Support dynamic resolutions as external variables.Ivan Enderlin2013-11-111
| | | | | | `this->foo` is considered as a borrowing variable, with the type `TYPE_EXTERNAL`. Verifications use the contract registry and the binded class of specifications.
* A specification can be binded to a class.Ivan Enderlin2013-11-111
| | | | This is obligatory for dynamic and static resolutions.
* Add the getRoot() method.Ivan Enderlin2013-11-111
|
* Support $this.Ivan Enderlin2013-11-052
| | | | | Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”.
* Format code. #maniaIvan Enderlin2013-11-041
|
* Add the addClause() method.Ivan Enderlin2013-11-011
|
* Add the addVariable() method.Ivan Enderlin2013-11-011
|
* Fix a typo in the API documentation.Ivan Enderlin2013-11-011
|
* Reorder allowed clause for the Praspel visitor.Ivan Enderlin2013-11-013
|
* Define flex entities.Ivan Enderlin2013-10-151
|
* Add getNth() method: get clauses from positions.Ivan Enderlin2013-09-171
|
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-163
| | | | | | A borrowing variable represents a link between two variables (kind a redirection). It is useful to create link between pre- and post-state in the contract, such as \old(…).
* Declaration's iterator does not return local vars.Ivan Enderlin2013-09-161
|
* Fail early.Ivan Enderlin2013-09-161
|
* Update an exception message.Ivan Enderlin2013-09-161
|
* Allow an empty clause when constructing a variableIvan Enderlin2013-09-051
|
* Use the sample() method of Hoa\Realdom\DisjunctionIvan Enderlin2013-06-241
|
* 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-103
| | | | The default clause represents a default/else behavior.
* Add the allowedClauses attributes.Ivan Enderlin2013-06-102
| | | | It helps to simplify 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;
* Add the getPropertyName() method.Ivan Enderlin2013-06-071
|
* Use Hoa\Iterator\Map.Ivan Enderlin2013-05-134
|
* Use \Hoa\Iterator.Ivan Enderlin2013-05-014
|
* New @throwable clause API.Ivan Enderlin2013-04-231
|
* New interfaces for the @throwable clause.Ivan Enderlin2013-04-231
| | | | The @throwable clause implements IteratorAggregate and Countable.
* Use ArrayIterator instead of ArrayObject.Ivan Enderlin2013-04-231
|
* Format code. #maniaIvan Enderlin2013-04-181
|
* Add the Countable interface to Collection.Ivan Enderlin2013-04-171
|