aboutsummaryrefslogtreecommitdiffstats
path: root/AssertionChecker
Commit message (Collapse)AuthorAgeFiles
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-282
|
* Happy new year!Ivan Enderlin2015-01-052
|
* Evaluate the \pred(p) construction.Ivan Enderlin2014-05-211
|
* Extend closure support.Ivan Enderlin2014-05-211
| | | | Avoid an issue in the `getAttributeData` method.
* Auto-collecting invariants.Ivan Enderlin2014-05-211
|
* Update an exception message.Ivan Enderlin2014-04-021
|
* A missing @ensures is considered as true.Ivan Enderlin2014-04-011
|
* Absent @throwable => failed.Ivan Enderlin2014-03-311
|
* Absent @ensures => failed.Ivan Enderlin2014-03-311
|
* Update the runtime to the new behavior semantics.Ivan Enderlin2014-03-141
|
* Happy new year \o/.Ivan Enderlin2014-01-072
|
* Update the callable after running a preambler.Ivan Enderlin2013-11-251
| | | | | A preambler can change the callable, we then need to update it in the assertion checker.
* The generateData method is now static…Ivan Enderlin2013-11-252
| | | | … and it has been moved into `Hoa\Praspel\AssertionChecker` class.
* mv AssertionChecker\Preambler Preambler\HandlerIvan Enderlin2013-11-252
|
* 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.
* Fix a regression in behaviors.Ivan Enderlin2013-11-221
|
* Better constructor support.Ivan Enderlin2013-11-221
| | | | | Compute a new callable and a new reflection for the rest of the RAC since we generate a real instance.
* Better constructor support.Ivan Enderlin2013-11-221
| | | | | When the callable is a constructor, we need a special process, based on `ReflectionClass::newInstanceArgs`.
* Don't check invariant before invoking constructor.Ivan Enderlin2013-11-211
|
* Split into getAttributeData() & getArgumentData().Ivan Enderlin2013-11-101
|
* Add “preambler” support.Ivan Enderlin2013-11-102
|
* Use Hoa\Praspel\Exception\AssertionChecker…Ivan Enderlin2013-11-101
| | | | … instead of Hoa\Praspel\Exception\Generic.
* Fix a null access when computing the trace.Ivan Enderlin2013-11-101
|
* Format code. #maniaIvan Enderlin2013-11-081
|
* Cont'd.Ivan Enderlin2013-11-051
|
* Support $this.Ivan Enderlin2013-11-052
Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”.