No commit message

I will write a short haiku
And no long Limerick

How one can make sense of these pointers
 It would be quite pleasant
 To find the class parent
Yet so far he gets only errors.

No commit message

still in the "breaking-before-I'll-fix-it-all-again-and-like-will-be-wonderful-with-rainbows-and-unicorns" phase.

Instead of passing a random position to method Fresh.newName, now passing object NoPosition when I have no idea of what is the right position.

forAll are now correctly translated also in their returning type, before it was Unit (wrong), now it is always a boolean.

Specs implication is now working correctly. Arguments needed to be evaluated lazily. Now all properties in LeftistHeap can be checked correctly.

Fixed bug in arbitrary function used to link Scala AST Type element to its Arbitrary function for generating arbitrary object of the data Type.

- Added Array to built-in generators (this is done by extending the Arbitray and Shrinker object with the necessary logic). 

- Added some commented code that might be useful in future in ForallInjection class

Fixed compilation problem when calling getClass method in Definitions.scala, need to prefix the call with the "definitions" object.

- implemeneted resolution for built-in arbitrary object (i.e., List, Map, ...)
- corrected bug in Arbitrary.arbitrary(tpe: Type) method.

No commit message

Updated strategy for collecting annotated @generator class and methods. Refer to the funcheck wiki for an exhaustive explanation of this.

Generators are now created lazily to avoid filling the stack because of recrursive calls in the injected Generator methods

First working version of the ForAll transformation. Still need to be cleaned and debugged. Test4.scala shows that it works (at least for a very simple case).

- Removed paremetric types from class/trait declaration. This was used only for expressing the need of having the variable global (of type Global) in the scope.
- Moved some code from ScalaCheckIntegrator and FilterGeneratorAnnotations to trait ScalaCheck.