Combinator with more than eight arbitraries about jqwik HOT 4 CLOSED

I have two answers for you, a simple one and a right one.

Simple Answer

You can always combine arbitraries in several steps, e.g.

@Provide
Arbitrary<Customer> aCustomer() {
    Arbitrary<String> street1 = ...;
    Arbitrary<String> zip1 = ...;
    Arbitrary<String> city1 = ...;
    Arbitrary<String> street2 = ...;
    Arbitrary<String> zip2 = ...;
    Arbitrary<String> city2 = ...;
    Arbitrary<Tuple3> address1 = 
            Combinators.combine(street1, zip1, city1).as((s, z, c) -> Tuple.of(s, z, c);
    Arbitrary<Tuple3> address2 = 
            Combinators.combine(street2, zip2, city2).as((s, z, c) -> Tuple.of(s, z, c);
    return Combinators.combine(address1, address2)
            .as( (t1, t2) -> new  Customer(t1.get1(), t1.get2(), ... t2.get3());
}

I didn't compile the code but you get the idea.

Right Answer

With so many individual parts there are most certainly domain concepts hidden somewhere. Those domain concepts should be domain classes and then get their own arbitrary providers. In this case there's an Address class looming and having that in place I'd probably write an AddressArbitraryProvider and register it, so that I can generate arbitraries for it without any further effort.

Maybe if you post your concrete code, we can look for a good approach together.

from jqwik.

Hi,
thanks for the provided information. Indeed Tuple3 would solve my issue.
Regarding the Right Answer:
Let us stick to the case, where we want to create a Customer
I understand that creating a AddressArbitraryProvider and e.g. a BirthdayInformationArbitratryProvider would be the preferred way to handle these cases. It would be nice to be able to combine these providers if necessary.

from jqwik.

So you want to combine arbitraries that are already handled by registered arbitrary providers?
You can do this:

@Provide
Arbitrary<Customer> aCustomer() {
    Arbitrary<Address> address = Arbitraries.defaultFor(Address.class);
    Arbitrary<Birthday> birthday = Arbitraries.defaultFor(Birthday.class);
    return Combinators.combine(address, birthday).as(a, b -> new Customer(a, b));
}

from jqwik.

I'd like to close the issue. Any more problems with that or further questions?

from jqwik.