github.com/hoaproject/Praspel commits | Ecosyste.ms: OpenCollective

A specification can be binded to a class.

This is obligatory for dynamic and static resolutions.

5c358ff2ec1fbaed26b598e404b48b15bf7247de authored about 11 years ago

Add the getRoot() method.

af293fba3ffab0d8a8d0e353f288ad4ebcfc8dff authored about 11 years ago

New `this` support.

We no longer have a `#this_identifier` node, but a more generic one:
`#dynamic_resolution` (the ...

09b88c57d1b5b02973a3c23f3096924679b5c7a6 authored about 11 years ago

Split into getAttributeData() & getArgumentData().

31d2496e677ef15956093e87b05ac3e9401ac716 authored about 11 years ago

Add “preambler” support.

131da654c830efc6d8ed96ad116ad878937bc77e authored about 11 years ago

Use Hoa\Praspel\Exception\AssertionChecker…

… instead of Hoa\Praspel\Exception\Generic.

ce3a6b9abb7c9cd283ad3f67e6a84382f5e3290d authored about 11 years ago

Add Hoa\Praspel\Exception\AssertionChecker.

60a23361a624fc7a06a5806df2fd2e456c616e63 authored about 11 years ago

Fix a null access when computing the trace.

4a00f5e58049842f173dd68f367fafa372c618ba authored about 11 years ago

Format code. #mania

a12ea688813d9c0528d7f71bdbe41ac6f486edbb authored about 11 years ago

Remove an used variable.

a827ee657129a230a4067b952e3d64bf686d7fdd authored about 11 years ago

Cont'd.

a6a72c47a1b1ed1f0e14fda5e97e8f2fe4d93b76 authored about 11 years ago

Include visitors from Hoa\Realdom.

2d4561ddd7a86b5afbcf80bc4d7033d0b31d28af authored about 11 years ago

Support $this.

Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce
$this support through “impli...

750cdea1d3476eaa8b2b5014ed78ec40d22e3a0a authored about 11 years ago

Format code. #mania

88fb5a499ce18d537c275c2abfd79c34ca91f112 authored about 11 years ago

Avoid a misuse of a variable.

83a079cefe50c68888f28e48da5f6955b4e5981e authored about 11 years ago

Add trace support!

Just give a Hoa\Praspel\Trace object in the Hoa\Praspel::evaluate()
method, and use the Hoa\Pras...

668326817446f5ab843f36004014f3cb22fe9657 authored about 11 years ago

Re-index exceptions.

5c1a85b17a198f6be65908e3438d6e2977cc0e4a authored about 11 years ago

Detect a new Failure\Precondition.

If there is not enough data to invoke the callable, the error was
postpone to the checkClause() ...

ee1a8491c0972ede8ca58a91ff10503f9e7d2369 authored about 11 years ago

Format code. #mania

45d9e8856cacae6c8c926f31605ad87ce785dfd4 authored about 11 years ago

Add the addClause() method.

c4f955afb4014ff8c4a302ef1ea82afa2d8d708d authored about 11 years ago

Add the addVariable() method.

057c5994422f58b329e63a0672da0f6f33e13355 authored about 11 years ago

Fix a typo in the API documentation.

eef88e7d2ba515667cc6a61102ecd2c6133cec54 authored about 11 years ago

Reorder allowed clause for the Praspel visitor.

54347f293364605e95c44a5883ce1d9d07f9c3ff authored about 11 years ago

Formata code. #mania

49a2f3b0bf8c9cd99dccd5380621651ce9fa93f1 authored about 11 years ago

Fix a flex entity.

a28150e359f45a60cc9793053bd65496fee4ac89 authored about 11 years ago

Better Composer compatibility.

6863afcff8ee55926dc2b9c0cae809d41ce3e060 authored over 11 years ago

Define flex entities.

192934c2d4935c7296c76416bd4d4feade0c5b4d authored over 11 years ago

Update to Core#642e0cc.

1f76da82ca867394fc6f48eb05a16fd418e230b9 authored over 11 years ago

Autobox single var declaration into a disjunction.

38d892792c8bff473da859fb7cccaf4849f5d964 authored over 11 years ago

Crate variables are now created in Hoa\Realdom.

2a5a9abbbff245d8c2aa2135949c46d9ca1f78bf authored over 11 years ago

Support variables in disjunctions!

59c6e481e07158aca3000e2f94b4f80e9f82b4ed authored over 11 years ago

Restore “let”.

586a8d07ccee20fe3c31c9d990b58bb713ce6753 authored over 11 years ago

Be more permissive about @requires in a @behavior.

217a269fc02fbbcd1e2c33d04369dda5e4b44cc2 authored over 11 years ago

Optimize grammar. #performance

be5e54d48242f861851b309c4749422472ec9c32 authored over 11 years ago

Remove a useless rule. #performance

08ffb4f053af2ac2504be35f0d62fea8459a6468 authored over 11 years ago

A @behavior must contains a @requires.

bec66dd60ac5f3addd6e4c631e207badb7987818 authored over 11 years ago

generateData() make an isotropic random generation

49d1f2ae3de6214f75bea56170f6d4e2f2ef84ad authored over 11 years ago

Add getNth() method: get clauses from positions.

fe57496b2d32826beff4da7e0bee877cbf8ff4a8 authored over 11 years ago

Add Praspel representation for \old(…).

443060f138b5d097a9d809a685afb084f2cb259a authored over 11 years ago

Add borrowing variables and \old(…) support.

A borrowing variable represents a link between two variables (kind a
redirection). It is useful ...

d44a853b840c8629e3272a8a552d8e2d72c637fb authored over 11 years ago

Declaration's iterator does not return local vars.

22efd46b04b4e551d3c8fbab812225e7433367f4 authored over 11 years ago

Avoid useless \result assignements.

b391d741d3ebbed3557aa38de81b0671d85580b2 authored over 11 years ago

Fail early.

f9ce251db0643747727d454d56c5e8e1695a2c88 authored over 11 years ago

Update an exception message.

603d5d719a763e070e85cb60cefd04274864de18 authored over 11 years ago

Format code. #mania

9b62517bfc05067b637a113133918562a2696766 authored over 11 years ago

Allow an empty clause when constructing a variable

15c49f90754982b932cb73f3248e0a955a8ecfa5 authored over 11 years ago

Avoid a |=. #performance

869f42cfd28a3680ace4b910064b9982a4dbdcda authored over 11 years ago

Format code. #mania

d6a480a33d1acabf5ea9fbab5c36eadf3051b2c2 authored over 11 years ago

Finalize the @throwable verification algorithm.

6e08fe0c98873a6aadb21fa3629294250c4b9c04 authored over 11 years ago

Cast the verdict as a boolean.

3097e3c748dc3bc4784ce58c33304b468ab95d53 authored over 11 years ago

Update API documentation.

98f5597e473ccbca3208895bfd513906a0643112 authored over 11 years ago

The @default clause must not contain @invariant.

174a7e4dceb3c1e78f32e1ae2d7e950b08f57fb7 authored over 11 years ago

Allow empty contract.

66666f8dae196bc5327491da428034abfbdbfaaa authored over 11 years ago

Allow the use of `this` without anything else.

a32f0068c5f7f88bc18a514b0624014a2288775a authored over 11 years ago

Fix \old(e).

02d19479288df6188867bdc2eadfbd0a5562352c authored over 11 years ago

Relax the extractFromComment() method.

Returns an empty string instead of throwing exceptions.

bed337bd3b89c120c4ab1363b5b3d1dfd19226db authored over 11 years ago

Update composer.json.

073c2f3644f9100ff367ac06da7b0c8b84fea964 authored over 11 years ago

@throwable declares a disjunction of clauses.

c1705eee8214d58c95e88a5a469b0072a92076f4 authored over 11 years ago

Remove length from regex syntactic sugar.

85d0110c7ab8b46dffada910b24e682c102b6985 authored over 11 years ago

Add the regex syntactic sugar: /r/m:s.

/r/[m][:s] where r is a regex, m is a modifier and s the maximum size.
It is strictly equivalent...

367347debb68da0e4b67c0e7a24b741a3259ae87 authored over 11 years ago

Use the sample() method of Hoa\Realdom\Disjunction

68c1f0d5f25f75d052320a8acf07e934fca3fcf1 authored over 11 years ago

Add coverage of the @default clause.

306cf4d106f8387914a4fcffc8a372ab5987bc2e authored over 11 years ago

Behavior nestings are kept when an @ensures fails.

Let:

@behavior alpha { @behavior beta { @behavior gamma { @ensures … } } }

Before:

Th...

847ec6de83bd381defbac94f2c03b456cad08ca1 authored over 11 years ago

Update exceptional failure message.

a3737bb17653288b0fb743ec4a9d42e892aebaa0 authored over 11 years ago

Add auto data generation.

27d4a368a6ba05695f2c5b1dadf1ed27534aa2b9 authored over 11 years ago

Format code. #mania

01d2721d5d533ef633af4576fade0dca6e6fe0dd authored over 11 years ago

Update an exception message.

fc486ce7199e861a3de10a8521c7efdd0ffaf181 authored over 11 years ago

The RAC now verifies invariants.

591d73d9ff931517433614473f0ca651d13b1cad authored over 11 years ago

A @behavior cannot have an @invariant clause.

7219b89590d9da200b70ab73cda951da21b6534e authored over 11 years ago

Add internal precondition failure support.

b6b2a38e442ed64ac8ea6b0edeb1638e4caa1ef9 authored over 11 years ago

Simplify code. #mania

982b920447951ee095456d1714b00f7de2d47b85 authored over 11 years ago

Update API.

53cc6523dfcdedbe946f56624ce18225a9ea6952 authored over 11 years ago

The RAC now verifies @behavior and @default.

832293abb75a8f4ad395f386011ee506dbd97c74 authored over 11 years ago

Do not automatically generate data when missing.

3f262edf4890e6e9a438288d716d2d583fb65562 authored over 11 years ago

RAC checks @throwable clause.

95d7bfe7ec36e52b1ec46a0d1dda5982f0958c31 authored over 11 years ago

Fix exception number.

e7681de68cbd9b0ff906857264f00585ef082533 authored over 11 years ago

Add the @default clause!

The default clause represents a default/else behavior.

467d39b9047547ff94a37fdcb8805623ef09d542 authored over 11 years ago

Use the Model\Behavior::getAllowedClauses().

It helps maintenance and modularity of the code.

d2f8208f2951691b550d912b5f725d2371af9e9a authored over 11 years ago

Add the allowedClauses attributes.

It helps to simplify the code.

95d8e9a76566f980fb7e08fb7c27b6b884d53f57 authored over 11 years ago

Add support of “with” in @throwable.

It allows to specify the post-state of data.

Example:
@throwable T1 t1 with this->foo: true;

824e66a0399b20931678e1fdea2ce5fa018f6319 authored over 11 years ago

Use Visitor\Praspel for better exception messages.

faba6ec19b03e8ae2e37d4a8a5bb01e7107b7cb3 authored over 11 years ago

Move leading space when visiting only a variable.

7dc37050c60678f7bb6248a3d9b8fd341988c521 authored over 11 years ago

Add model to Praspel compiler.

ff53d8026f158e008860c9946e58cd58588c1d18 authored over 11 years ago

Add the getPropertyName() method.

b94b04335de285a248b3e216ffbe357b97fc1ed7 authored over 11 years ago

New RAC for Praspel: cleaner and faster.

af0ab4b0397a2745d8c143d4dce3826c1e6119d9 authored over 11 years ago

New exceptions architecture.

Hoa\Praspel\Exception is now an interface. The root exception is
Hoa\Praspel\Exception\Generic.
...

deb81e7b382857c9b155c8122558696a69e045ba authored over 11 years ago

Just pre-fill the README.

bfda5d93f406e0253415500fcf9ac252b98442bc authored over 11 years ago

Better contract extraction.

We keep indentation of the contract.

498fa500b840548c12589492d7e09f788f529db0 authored over 11 years ago

RAC is able to auto-generate data (early draft).

d0e94fb667567164e3d1c1ea20c001fdbc7a2b00 authored over 11 years ago

Add the extractFromComment() method.

4c44b40429c2d15895cfb77d08d7c78781086a16 authored over 11 years ago

Propagate combinatorics to all clauses.

For “domain” coverage criterion, the combinatorics is now applied to all
clauses at the same time.

186c66d8892dc531b893907723b77d31a91e82d1 authored over 11 years ago

The Sampler class is based on Coverage\Domain.

No more maxData parameter.

13f5cfcbf59ecffc4171cbde7eb4ee2612cd3004 authored over 11 years ago

Use default value for pre/post in getChildren.

64620528e72f15470e409296a12dac00a9ca828f authored over 11 years ago

Avoid an infinite loop when there is no variable.

c018171e085f95e15b346460d243c7447fa1af17 authored over 11 years ago

Format code. #mania

9bfb4587383ba5f40fe973219b5263e52aacefe5 authored over 11 years ago

Fix the \Hoa\Iterator\Multiple behavior.

9be95cbd2b1be329e40c72b8043a08f740a97f6e authored over 11 years ago

Remove a useless import.

c4e3112a47c7edab2374a38019c6c60218e65e83 authored over 11 years ago

Initialize variables with an empty array.

db9dc1921c540421c209516aa0505461dd4adb51 authored over 11 years ago

Add Hoa\Praspel\Iterator\Coverage global iterator

The Coverage iterator allows to make structural or structural+domain
coverage. To do this, the S...

bc23a6364e28ff27b2f021b7c1057de9c0cf96d7 authored over 11 years ago

Use Hoa\Iterator\Map.

b229c04d6119d390ad727e5a70732b2e3bcbd176 authored over 11 years ago