More convenience for String Arbritraries about jqwik HOT 7 CLOSED

withChars with varargs is easy. I'll do that.

Could you define which chars you would consider to belong to whitespace() and punctuation()?

BTW, are you aware that you can easily define your own annotations so that you might not need manual code at all in an example like yours above? Here's the section from the user guide:
http://jqwik.net/user-guide.html#self-made-annotations

from jqwik.

Cool, looking forward to the varargs functionality. :)
Defining the chars for whitespace could be tricky, since the question is wether to include newlines or not. Other than that I would check which characters are whitespace in Java and use them. For punctuation, I would suggest the usual characters occuring in written language.
Yes, I am aware that I can write my own annotations, but I think that the suggested methods might be beneficial for other users of jqwik.

from jqwik.

Implemented withChars(char... chars) in 4c36f1c

Change is available from maven ('https://oss.sonatype.org/content/repositories/snapshots') in version 0.8.15-SNAPSHOT

from jqwik.

Implemented StringArbitrary.whitespace() in d96b0a5

Change is available from maven ('https://oss.sonatype.org/content/repositories/snapshots') in version 0.8.15-SNAPSHOT

from jqwik.

Punctuation is a different beast since there is no standard way in Java to determine what a punctuation character is (comparable to Character.isWhitespace(char).

Using all unicode chars allowed according to https://en.wikipedia.org/wiki/General_Punctuation would probably generate characters most people wouldn't expect. Writing your own convenience method like

StringArbitrary punctuation(StringArbitrary arbitrary) {
    return arbitrary.withChars('.', ',', ':', ';', '?', '!');
}

seems not too much of a hassle.

Therefore, if you don't bring up a strong argument for implementing it despite the general specification problem, I will close this issue as fixed.

from jqwik.

Ok. Thanks for the quick reaction!

from jqwik.

Fixed. Will be publicly available in release 0.8.15

from jqwik.