aboutsummaryrefslogtreecommitdiffstats
path: root/Model/Declaration.php
Commit message (Collapse)AuthorAgeFiles
* Happy new year \o/.Ivan Enderlin2014-01-071
|
* 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.
* Add the addVariable() method.Ivan Enderlin2013-11-011
|
* Fix a typo in the API documentation.Ivan Enderlin2013-11-011
|
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-161
| | | | | | 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
|
* Use Hoa\Iterator\Map.Ivan Enderlin2013-05-131
|
* Use \Hoa\Iterator.Ivan Enderlin2013-05-011
|
* Use ArrayIterator instead of ArrayObject.Ivan Enderlin2013-04-231
|
* Format code. #maniaIvan Enderlin2013-04-181
|
* 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']);
* Add the getVariable() method.Ivan Enderlin2013-02-201
| | | | | | | | | | | | | | It helps fluid calls, such as: $specification->getClause('requires') ->getVariable('i') ->…; in addition of: $specification->getClause('requires')['i']->…; which is possible since PHP5.4.
* Happy new year \o/.Ivan Enderlin2013-01-011
|
* Welcome to Hoa\Praspel \o/!Ivan Enderlin2012-11-231