Praspel.git - The Hoa\Praspel library.

	Commit message (Collapse)	Author	Age	Files
*	Happy new year \o/.	Ivan Enderlin	2014-01-07	1
\|
*	Move importations.	Ivan Enderlin	2013-11-25	1
\|
*	Add tracability for crate constant.	Ivan Enderlin	2013-11-22	1
\|
*	Clean a little bit \old(e) support.	Ivan Enderlin	2013-11-22	1
\| \| \| \| \|	Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model.
*	Add the addVariable() method.	Ivan Enderlin	2013-11-01	1
\|
*	Fix a typo in the API documentation.	Ivan Enderlin	2013-11-01	1
\|
*	Add borrowing variables and \old(…) support.	Ivan Enderlin	2013-09-16	1
\| \| \| \| \| \|	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 Enderlin	2013-09-16	1
\|
*	Use Hoa\Iterator\Map.	Ivan Enderlin	2013-05-13	1
\|
*	Use \Hoa\Iterator.	Ivan Enderlin	2013-05-01	1
\|
*	Use ArrayIterator instead of ArrayObject.	Ivan Enderlin	2013-04-23	1
\|
*	Format code. #mania	Ivan Enderlin	2013-04-18	1
\|
*	Add local variable with the “let” keyword.	Ivan Enderlin	2013-04-09	1
\| \| \| \| \| \| \| \| \| \| \| \| \|	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 Enderlin	2013-02-20	1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	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 Enderlin	2013-01-01	1
\|
*	Welcome to Hoa\Praspel \o/!	Ivan Enderlin	2012-11-23	1