Praspel.git - The Hoa\Praspel library.

	Commit message (Collapse)	Author	Age	Files
*	Happy new year!	Ivan Enderlin	2015-01-05	1
\|
*	Add syntactic sugar for class().	Ivan Enderlin	2014-05-21	1
\| \| \| \|	\C <=> class('C').
*	Add the ::nothing:: token.	Ivan Enderlin	2014-04-11	1
\|
*	Avoid some creation of a #dynamic_resolution node.	Ivan Enderlin	2014-03-31	1
\|
*	Happy new year \o/.	Ivan Enderlin	2014-01-07	1
\|
*	The @description clause can be present anywhere.	Ivan Enderlin	2014-01-03	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).
*	Be more permissive about @requires in a @behavior.	Ivan Enderlin	2013-09-26	1
\|
*	Optimize grammar. #performance	Ivan Enderlin	2013-09-23	1
\|
*	Remove a useless rule. #performance	Ivan Enderlin	2013-09-23	1
\|
*	A @behavior must contains a @requires.	Ivan Enderlin	2013-09-20	1
\|
*	The @default clause must not contain @invariant.	Ivan Enderlin	2013-08-27	1
\|
*	Allow empty contract.	Ivan Enderlin	2013-08-27	1
\|
*	Allow the use of `this` without anything else.	Ivan Enderlin	2013-08-27	1
\|
*	@throwable declares a disjunction of clauses.	Ivan Enderlin	2013-07-09	1
\|
*	Remove length from regex syntactic sugar.	Ivan Enderlin	2013-06-25	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).
*	A @behavior cannot have an @invariant clause.	Ivan Enderlin	2013-06-13	1
\|
*	Add the @default clause!	Ivan Enderlin	2013-06-10	1
\| \| \| \|	The default clause represents a default/else behavior.
*	Add support of “with” in @throwable.	Ivan Enderlin	2013-06-10	1
\| \| \| \| \| \| \|	It allows to specify the post-state of data. Example: @throwable T1 t1 with this->foo: true;
*	New @throwable clause API.	Ivan Enderlin	2013-04-23	1
\|
*	Rename @forexample to @description.	Ivan Enderlin	2013-04-16	1
\| \| \| \| \| \|	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.
*	Remove “xor” proposal.	Ivan Enderlin	2013-04-09	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 “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.
*	Remove the “class” rule (useless for now).	Ivan Enderlin	2013-02-15	1
\|
*	Escape tokens.	Ivan Enderlin	2013-02-15	1
\|
*	Update API documentation.	Ivan Enderlin	2013-01-04	1
\|
*	Allow variables in realdom arguments.	Ivan Enderlin	2012-12-18	1
\| \| \| \|	Also, prefix clauses tokens by “at_”.
*	Welcome to Hoa\Praspel \o/!	Ivan Enderlin	2012-11-23	1