java-check/src/main/java/au/id/zancanaro/javacheck/junit, branch master

Fix up some minor code-quality things

2015-07-06T13:47:20Z

Fix the warnings from the previous commit

2015-07-06T12:46:02Z

Report command lists more nicely (line breaks between commands); report number of nodes visited during shrinking; other small fixes

2015-06-10T14:27:06Z

A few changes, as suggested by static analysis

2015-06-09T13:58:41Z

Generalise the ObjectGeneration stuff

2015-06-09T13:31:54Z

The new ObjectGeneration stuff is now used to generate everything for a test case, which means it's all unified and "nice" now. Add a @UseGenerator annotation to be used to specify how to generate specific field values. Obviously, not everything can be generated magically, so if you specify a @DataSource in your test then it will be used in preference to any magically generated value.

Add an ObjectGenerator<>, and related machinery (also a mapOf generator)

2015-06-09T07:33:56Z

Make a method static, just because I can

2015-06-04T13:34:51Z

Move stuff over to using streams instead of iterators: much nicer!

2015-06-04T06:46:31Z

Don't convert to/from arrays/lists unnecessarily while running tests

2015-06-04T03:34:56Z

Change shrinking a bit, add more generators, fix some types, moved suchThat

2015-06-03T09:43:14Z

Shrinking is now done using a "ShrinkStrategy". It's pretty similar to what it used to be in the end, but instead of generating new ShrinkTrees yourself, you just generate smaller s, and the generator framework will re-call your strategy to shrink smaller elements. (So, essentially, ShrinkStrategy.shrink(T obj) returns an Iterator which then has smaller trees calculated from it.) Added some more generators. In particular: longs and doubles. Fixed some types, so now Generator.tuple(integer(), string()) will work. Yay! Move suchThat to Generator, so now integer().suchThat(x -> x < 10) will work instead of the old Generators.suchThat(x -> x < 10, integer()), which felt a bit weird.