Praspel.git - The Hoa\Praspel library.

	Commit message (Collapse)	Author	Age	Files
*	Move to `Hoa\Ustring`.	Ivan Enderlin	2015-05-29	1
\|
*	Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.	Ivan Enderlin	2015-05-28	3
\|
*	Happy new year!	Ivan Enderlin	2015-01-05	3
\|
*	Allow to escape slash.	Ivan Enderlin	2014-05-21	1
\|
*	Add syntactic sugar for class().	Ivan Enderlin	2014-05-21	1
\| \| \| \|	\C <=> class('C').
*	Avoid some creation of a #dynamic_resolution node.	Ivan Enderlin	2014-03-31	1
\|
*	Update the regex syntactic sugar.	Ivan Enderlin	2014-03-31	1
\|
*	Happy new year \o/.	Ivan Enderlin	2014-01-07	3
\|
*	Move importations.	Ivan Enderlin	2013-11-25	1
\|
*	Fix compilation of crate variable.	Ivan Enderlin	2013-11-22	1
\|
*	Support 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.
*	Support dynamic resolutions as external variables.	Ivan Enderlin	2013-11-11	1
\| \| \| \| \| \|	`this->foo` is considered as a borrowing variable, with the type `TYPE_EXTERNAL`. Verifications use the contract registry and the binded class of specifications.
*	Interpreter can bind a class on the specification.	Ivan Enderlin	2013-11-11	1
\|
*	New `this` support.	Ivan Enderlin	2013-11-10	1
\| \| \| \| \|	We no longer have a `#this_identifier` node, but a more generic one: `#dynamic_resolution` (the root can be anything).
*	Include visitors from Hoa\Realdom.	Ivan Enderlin	2013-11-05	2
\|
*	Support $this.	Ivan Enderlin	2013-11-05	1
\| \| \| \| \|	Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”.
*	Autobox single var declaration into a disjunction.	Ivan Enderlin	2013-09-29	1
\|
*	Crate variables are now created in Hoa\Realdom.	Ivan Enderlin	2013-09-29	1
\|
*	Support variables in disjunctions!	Ivan Enderlin	2013-09-27	1
\|
*	Restore “let”.	Ivan Enderlin	2013-09-27	2
\|
*	Add Praspel representation for \old(…).	Ivan Enderlin	2013-09-17	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(…).
*	Fix \old(e).	Ivan Enderlin	2013-08-21	1
\|
*	Add the regex syntactic sugar: /r/m:s.	Ivan Enderlin	2013-06-24	1
\| \| \| \| \|	/r/[m][:s] where r is a regex, m is a modifier and s the maximum size. It is strictly equivalent to regex('/r/[m]', s).
*	Add the @default clause!	Ivan Enderlin	2013-06-10	3
\| \| \| \|	The default clause represents a default/else behavior.
*	Use the Model\Behavior::getAllowedClauses().	Ivan Enderlin	2013-06-10	2
\| \| \| \|	It helps maintenance and modularity of the code.
*	Add support of “with” in @throwable.	Ivan Enderlin	2013-06-10	3
\| \| \| \| \| \| \|	It allows to specify the post-state of data. Example: @throwable T1 t1 with this->foo: true;
*	Move leading space when visiting only a variable.	Ivan Enderlin	2013-06-07	1
\|
*	Add model to Praspel compiler.	Ivan Enderlin	2013-06-07	1
\|
*	New exceptions architecture.	Ivan Enderlin	2013-06-07	2
\| \| \| \| \| \| \|	Hoa\Praspel\Exception is now an interface. The root exception is Hoa\Praspel\Exception\Generic. We have also added the “Praspel failure” exceptions and the Hoa\Praspel\Exception\Group exception.
*	New @throwable clause API.	Ivan Enderlin	2013-04-23	2
\|
*	Fix a bug while interpreting an exception list.	Ivan Enderlin	2013-04-23	1
\|
*	Introduce collection of clauses.	Ivan Enderlin	2013-04-16	2
\| \| \| \| \| \| \| \| \| \| \| \|	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.
*	Fix an error while computing a @behavior ID.	Ivan Enderlin	2013-04-16	1
\|
*	Rename @forexample to @description.	Ivan Enderlin	2013-04-16	2
\| \| \| \| \| \|	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.
*	Add local variable with the “let” keyword.	Ivan Enderlin	2013-04-09	2
\| \| \| \| \| \| \| \| \| \| \| \| \|	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']);
*	Integerpp has been moved to Natural.	Ivan Enderlin	2013-03-06	1
\|
*	Add the “accepted” token.	Ivan Enderlin	2013-02-20	1
\| \| \| \| \|	It helps to recognize an invalid escape character, such as: Foo\Bar\Baz, which is equivalent to Foo\\Bar\\Baz.
*	Happy new year \o/.	Ivan Enderlin	2013-01-01	2
\|
*	Better variable identifiers handling.	Ivan Enderlin	2012-12-18	1
\|
*	Add variable in realdom arguments support.	Ivan Enderlin	2012-12-18	1
\|
*	Add the getClause() method.	Ivan Enderlin	2012-12-07	1
\| \| \| \|	Useful when making an endless interpreter.
*	Hoa\Realdom API has changed, update the code.	Ivan Enderlin	2012-12-03	1
\|
*	Welcome to Hoa\Praspel \o/!	Ivan Enderlin	2012-11-23	2