path: root/Model/Variable
Commit message (Collapse)AuthorAgeFiles
* Happy new year \o/.Ivan Enderlin2014-01-073
* Update an exception message.Ivan Enderlin2013-11-251
* 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).
* 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.
* Support $this.Ivan Enderlin2013-11-051
| | | | | Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”.
* Format code. #maniaIvan Enderlin2013-11-041
* Define flex entities.Ivan Enderlin2013-10-151
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-162
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(…).