void AssertError(GalaxyCheck.IGen <object> gen)
{
Action action = () => gen.SampleOne(seed: seed, size: size);
action.Should()
.Throw <GalaxyCheck.Exceptions.GenErrorException>()
.WithMessage("Error while running generator ChooseGen: 'choices' must be non-empty");
}
public void FourGeneratesLikeZip(
[Seed] int seed,
[Size] int size,
[PickGen] GalaxyCheck.IGen <object> gen)
{
List <(object, object, object, object)> SampleTraversal(GalaxyCheck.IGen <(object, object, object, object)> gen) =>
gen.SampleOneTraversal(seed: seed, size: size);
var gen0 = gen.Four();
var gen1 = GalaxyCheck.Gen.Zip(gen, gen, gen, gen);
SampleTraversal(gen0).Should().BeEquivalentTo(SampleTraversal(gen1));
}
public void ItErrorsWhenMaximumCountIsNegative(
[Seed] int seed,
[Size] int size,
[PickGen] GalaxyCheck.IGen <object> elementGen,
[LessThanEqual(-1)] int maxCount)
{
var gen = GalaxyCheck.Gen.Set(elementGen).WithCountLessThanEqual(maxCount);
Action test = () => gen.SampleOne(seed: seed, size: size);
test.Should()
.Throw <GalaxyCheck.Exceptions.GenErrorException>()
.WithMessage("Error while running generator SetGen: 'maxCount' cannot be negative");
}
private static List <T> SampleTraversal <T>(GalaxyCheck.IGen <T> gen, int seed, int size) => gen.Advanced .SampleOneExampleSpace(seed: seed, size: size) .Traverse() .Take(100) .ToList();
List <short> SampleTraversal(GalaxyCheck.IGen <short> gen) => gen.SampleOneTraversal(seed: seed, size: size);
List <ISet <int> > SampleTraversal(GalaxyCheck.IGen <ISet <int> > gen) => AboutGeneratingSets.SampleTraversal(gen, seed, size);
List <int[]> SampleTraversal(GalaxyCheck.IGen <int[]> gen) => AboutGeneratingArrays.SampleTraversal(gen, seed, size);
List <List <int> > SampleTraversal(GalaxyCheck.IGen <List <int> > gen) => AboutGeneratingCollections.SampleTraversal(gen, seed, size);
List <string> SampleTraversal(GalaxyCheck.IGen <string> gen) => AboutDefaults.SampleTraversal(gen, seed: seed, size: size);
List <object> SampleTraversal(GalaxyCheck.IGen <object> gen, int seed) => AboutValueProduction.SampleTraversal(gen, seed, size);
List <long> SampleTraversal(GalaxyCheck.IGen <long> gen) => gen.SampleOneTraversal(seed: seed, size: size);
IReadOnlyList <object> Sample(GalaxyCheck.IGen <IReadOnlyList <object> > gen, int seed) => gen.SampleOne(seed: seed, size: size);
List <IReadOnlyList <object> > SampleTraversal(GalaxyCheck.IGen <IReadOnlyList <object> > gen) => AboutDefaults.SampleTraversal(gen, seed: seed, size: size);
List <string> SampleTraversal(GalaxyCheck.IGen <string> gen) => AboutValueProduction.SampleTraversal(gen, seed, size);
