Skip to content

🌍 #373 Add default gen support for more primitives #374

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
nth-commit merged 1 commit into from
Jan 26, 2023
Merged

🌍 #373 Add default gen support for more primitives #374

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion src/GalaxyCheck.Tests/GenExtensions.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,22 @@ namespace Tests.V2
{
public static class GenExtensions
{
public static List<List<T>> SampleNTraversals<T>(this IGen<T> gen, int count, int seed, int size) => gen
.Advanced
.SampleExampleSpaces(iterations: count, seed: seed, size: size)
.Select(exs =>
exs.Traverse()
.Take(100)
.ToList()).ToList();

public static List<T> SampleOneTraversal<T>(this IGen<T> gen, int seed, int size) => gen.Advanced
.SampleOneExampleSpace(seed: seed, size: size)
.Traverse()
.Take(100)
.ToList();

public static string RenderOneTraversal<T>(this IGen<T> gen, int seed, int size, Func<T, string>? renderer = null) => gen.Advanced
public static string RenderOneTraversal<T>(this IGen<T> gen, int seed, int size,
Func<T, string>? renderer = null) => gen.Advanced
.SampleOneExampleSpace(seed: seed, size: size)
.Take(500)
.Render(x => renderer == null ? x!.ToString()! : renderer(x));
Expand Down
245 changes: 37 additions & 208 deletions src/GalaxyCheck.Tests/GenTests/ReflectedGenTests/AboutGeneratingPrimitives.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,218 +1,47 @@
using FluentAssertions;
using GalaxyCheck;
using NebulaCheck;
using System;
using System.Collections.Generic;
using System.Linq;
using Property = NebulaCheck.Property;
using Test = NebulaCheck.Test;
using System.Drawing;
using System.Reflection;
using Xunit;

namespace Tests.V2.GenTests.ReflectedGenTests
{
public class AboutGeneratingPrimitives
{
[Property]
public NebulaCheck.IGen<Test> ItCanGenerateInt16s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<short> SampleTraversal(GalaxyCheck.IGen<short> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<short>();
var gen1 = GalaxyCheck.Gen.Int16();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateUnsignedInt16s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<ushort> SampleTraversal(GalaxyCheck.IGen<ushort> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<ushort>();
var gen1 = GalaxyCheck.Gen.Int16().Select(x => (ushort)x);

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateInt32s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<int> SampleTraversal(GalaxyCheck.IGen<int> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<int>();
var gen1 = GalaxyCheck.Gen.Int32();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateUnsignedInt32s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<uint> SampleTraversal(GalaxyCheck.IGen<uint> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<uint>();
var gen1 = GalaxyCheck.Gen.Int32().Select(x => (uint)x);

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateInt64s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<long> SampleTraversal(GalaxyCheck.IGen<long> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<long>();
var gen1 = GalaxyCheck.Gen.Int64();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateUnsignedInt64s() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<ulong> SampleTraversal(GalaxyCheck.IGen<ulong> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<ulong>();
var gen1 = GalaxyCheck.Gen.Int64().Select(x => (ulong)x);

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateChars() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<char> SampleTraversal(GalaxyCheck.IGen<char> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<char>();
var gen1 = GalaxyCheck.Gen.Char();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateStrings() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<string> SampleTraversal(GalaxyCheck.IGen<string> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<string>();
var gen1 = GalaxyCheck.Gen.String();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateBytes() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<byte> SampleTraversal(GalaxyCheck.IGen<byte> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<byte>();
var gen1 = GalaxyCheck.Gen.Byte();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateGuids() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<Guid> SampleTraversal(GalaxyCheck.IGen<Guid> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<Guid>();
var gen1 = GalaxyCheck.Gen.Guid();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateDateTimes() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<DateTime> SampleTraversal(GalaxyCheck.IGen<DateTime> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<DateTime>();
var gen1 = GalaxyCheck.Gen.DateTime();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});

[Property]
public NebulaCheck.IGen<Test> ItCanGenerateBooleans() =>
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
List<bool> SampleTraversal(GalaxyCheck.IGen<bool> gen) => gen.SampleOneTraversal(seed, size);

var gen0 = GalaxyCheck.Gen.Create<bool>();
var gen1 = GalaxyCheck.Gen.Boolean();

var sample0 = SampleTraversal(gen0);
var sample1 = SampleTraversal(gen1);

sample0.Should().BeEquivalentTo(sample1);
});
[Theory]
[InlineData(typeof(short))]
[InlineData(typeof(ushort))]
[InlineData(typeof(int))]
[InlineData(typeof(uint))]
[InlineData(typeof(long))]
[InlineData(typeof(ulong))]
[InlineData(typeof(float))]
[InlineData(typeof(double))]
[InlineData(typeof(decimal))]
[InlineData(typeof(bool))]
[InlineData(typeof(char))]
[InlineData(typeof(byte))]
[InlineData(typeof(sbyte))]
[InlineData(typeof(string))]
[InlineData(typeof(DateTime))]
[InlineData(typeof(DateTimeOffset))]
[InlineData(typeof(TimeSpan))]
[InlineData(typeof(Guid))]
[InlineData(typeof(Uri))]
[InlineData(typeof(Color))]
public void ItCanGenerateType(Type type)
{
// Arrange
var method = typeof(Gen).GetMethod(nameof(Gen.Create), types: new[] { typeof(NullabilityInfo) });
var genericMethod = method!.MakeGenericMethod(type);
var gen = (IGen)genericMethod.Invoke(null, new object?[] { null })!;

// Act
Action action = () => gen.Cast<object>().SampleNTraversals(10, 0, 100);

// Assert
action.Should().NotThrow();
}
}
}
4 changes: 2 additions & 2 deletions src/GalaxyCheck.Tests/GenTests/ReflectedGenTests/AboutOverridingMembers.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -92,7 +92,7 @@ select Property.ForThese(() =>

action.Should()
.Throw<GalaxyCheck.Exceptions.GenErrorException>()
.WithMessage("Error while running generator ReflectedGen: expression 'x => x.Method()' was invalid, an overridding expression may only contain member access");
.WithMessage("Error while running generator ReflectedGen: expression 'x => x.Method()' was invalid, an overriding expression may only contain member access");
});

[Property]
Expand All @@ -111,7 +111,7 @@ select Property.ForThese(() =>

action.Should()
.Throw<GalaxyCheck.Exceptions.GenErrorException>()
.WithMessage("Error while running generator ReflectedGen: expression 'x => x.Method()' was invalid, an overridding expression may only contain member access");
.WithMessage("Error while running generator ReflectedGen: expression 'x => x.Method()' was invalid, an overriding expression may only contain member access");
});

private class ClassWithNonDefaultConstructor
Expand Down
Loading