Skip to content
This repository has been archived by the owner on Aug 13, 2020. It is now read-only.

Added italian language support. #36

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
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
288 changes: 146 additions & 142 deletions Numsense.UnitTests.CSharp/NumeralConverterProperties.cs
Original file line number Diff line number Diff line change
@@ -1,142 +1,146 @@
using FsCheck;
using FsCheck.Xunit;
using Ploeh.Numsense.ObjectOriented;
using Xunit;
using Microsoft.FSharp.Core;

namespace Ploeh.Numsense.UnitTests
{
public class NumeralConverterProperties
{
[ConverterProperty]
public void ToNumeralReturnsCorrectResult(
ConverterPropertyGroup p,
int i)
{
var actual = p.Sut.ToNumeral(i);

var expected = p.ToNumeralImp.Invoke(i);
Assert.Equal(expected, actual);
}

[ConverterProperty]
public void TryParseProperNumeralReturnsCorrectResult(
ConverterPropertyGroup p,
int i)
{
var numeral = p.ToNumeralImp.Invoke(i);

int actual;
var success = p.Sut.TryParse(numeral, out actual);

var expected = p.TryParseImp.Invoke(numeral);
Assert.True(success);
Assert.Equal(expected, FSharpOption<int>.Some(actual));
}

[ConverterProperty]
public Property TryParseGarbageTextReturnsCorrectResult(
ConverterPropertyGroup p)
{
var garbage = Arb.Default.String().Filter(s =>
s == null ||
p.TryParseImp.Invoke(s) == null);
return Prop.ForAll(
garbage,
s =>
{
int actual;
var success = p.Sut.TryParse(s, out actual);

Assert.False(success);
Assert.Equal(default(int), actual);
});
}

public class ConverterPropertyAttribute : PropertyAttribute
{
public ConverterPropertyAttribute()
{
QuietOnSuccess = true;
Arbitrary = new[] { typeof(ConverterPropertyArb) };
}
}

public static class ConverterPropertyArb
{
public static Arbitrary<ConverterPropertyGroup> Converter()
{
return Gen
.Elements(
new ConverterPropertyGroup(
new EnglishNumeralConverter(),
NumeralModule.toEnglish,
NumeralModule.tryParseEnglish),
new ConverterPropertyGroup(
new DanishNumeralConverter(),
NumeralModule.toDanish,
NumeralModule.tryParseDanish),
new ConverterPropertyGroup(
new FarsiNumeralConverter(),
NumeralModule.toFarsi,
NumeralModule.tryParseFarsi),
new ConverterPropertyGroup(
new PolishNumeralConverter(),
NumeralModule.toPolish,
NumeralModule.tryParsePolish),
new ConverterPropertyGroup(
new DutchNumeralConverter(),
NumeralModule.toDutch,
NumeralModule.tryParseDutch),
new ConverterPropertyGroup(
new RussianNumeralConverter(),
NumeralModule.toRussian,
NumeralModule.tryParseRussian),
new ConverterPropertyGroup(
new SpanishNumeralConverter(),
NumeralModule.toSpanish,
NumeralModule.tryParseSpanish),
new ConverterPropertyGroup(
new CatalanNumeralConverter(),
NumeralModule.toCatalan,
NumeralModule.tryParseCatalan),
new ConverterPropertyGroup(
new SwedishNumeralConverter(),
NumeralModule.toSwedish,
NumeralModule.tryParseSwedish),
new ConverterPropertyGroup(
new RomanianNumeralConverter(),
NumeralModule.toRomanian,
NumeralModule.tryParseRomanian),
new ConverterPropertyGroup(
new GermanNumeralConverter(),
NumeralModule.toGerman,
NumeralModule.tryParseGerman)
)
.ToArbitrary();
}
}

public class ConverterPropertyGroup
{
public readonly INumeralConverter Sut;
public readonly FSharpFunc<int, string> ToNumeralImp;
public readonly FSharpFunc<string, FSharpOption<int>> TryParseImp;

public ConverterPropertyGroup(
INumeralConverter sut,
FSharpFunc<int, string> toNumeralImp,
FSharpFunc<string, FSharpOption<int>> tryParseImp)
{
this.Sut = sut;
this.ToNumeralImp = toNumeralImp;
this.TryParseImp = tryParseImp;
}

public override string ToString()
{
return this.Sut.GetType().Name;
}
}
}
}
using FsCheck;
using FsCheck.Xunit;
using Ploeh.Numsense.ObjectOriented;
using Xunit;
using Microsoft.FSharp.Core;

namespace Ploeh.Numsense.UnitTests
{
public class NumeralConverterProperties
{
[ConverterProperty]
public void ToNumeralReturnsCorrectResult(
ConverterPropertyGroup p,
int i)
{
var actual = p.Sut.ToNumeral(i);

var expected = p.ToNumeralImp.Invoke(i);
Assert.Equal(expected, actual);
}

[ConverterProperty]
public void TryParseProperNumeralReturnsCorrectResult(
ConverterPropertyGroup p,
int i)
{
var numeral = p.ToNumeralImp.Invoke(i);

int actual;
var success = p.Sut.TryParse(numeral, out actual);

var expected = p.TryParseImp.Invoke(numeral);
Assert.True(success);
Assert.Equal(expected, FSharpOption<int>.Some(actual));
}

[ConverterProperty]
public Property TryParseGarbageTextReturnsCorrectResult(
ConverterPropertyGroup p)
{
var garbage = Arb.Default.String().Filter(s =>
s == null ||
p.TryParseImp.Invoke(s) == null);
return Prop.ForAll(
garbage,
s =>
{
int actual;
var success = p.Sut.TryParse(s, out actual);

Assert.False(success);
Assert.Equal(default(int), actual);
});
}

public class ConverterPropertyAttribute : PropertyAttribute
{
public ConverterPropertyAttribute()
{
QuietOnSuccess = true;
Arbitrary = new[] { typeof(ConverterPropertyArb) };
}
}

public static class ConverterPropertyArb
{
public static Arbitrary<ConverterPropertyGroup> Converter()
{
return Gen
.Elements(
new ConverterPropertyGroup(
new EnglishNumeralConverter(),
NumeralModule.toEnglish,
NumeralModule.tryParseEnglish),
new ConverterPropertyGroup(
new DanishNumeralConverter(),
NumeralModule.toDanish,
NumeralModule.tryParseDanish),
new ConverterPropertyGroup(
new FarsiNumeralConverter(),
NumeralModule.toFarsi,
NumeralModule.tryParseFarsi),
new ConverterPropertyGroup(
new PolishNumeralConverter(),
NumeralModule.toPolish,
NumeralModule.tryParsePolish),
new ConverterPropertyGroup(
new DutchNumeralConverter(),
NumeralModule.toDutch,
NumeralModule.tryParseDutch),
new ConverterPropertyGroup(
new RussianNumeralConverter(),
NumeralModule.toRussian,
NumeralModule.tryParseRussian),
new ConverterPropertyGroup(
new SpanishNumeralConverter(),
NumeralModule.toSpanish,
NumeralModule.tryParseSpanish),
new ConverterPropertyGroup(
new CatalanNumeralConverter(),
NumeralModule.toCatalan,
NumeralModule.tryParseCatalan),
new ConverterPropertyGroup(
new SwedishNumeralConverter(),
NumeralModule.toSwedish,
NumeralModule.tryParseSwedish),
new ConverterPropertyGroup(
new RomanianNumeralConverter(),
NumeralModule.toRomanian,
NumeralModule.tryParseRomanian),
new ConverterPropertyGroup(
new GermanNumeralConverter(),
NumeralModule.toGerman,
NumeralModule.tryParseGerman),
new ConverterPropertyGroup(
new ItalianNumeralConverter(),
NumeralModule.toItalian,
NumeralModule.tryParseItalian)
)
.ToArbitrary();
}
}

public class ConverterPropertyGroup
{
public readonly INumeralConverter Sut;
public readonly FSharpFunc<int, string> ToNumeralImp;
public readonly FSharpFunc<string, FSharpOption<int>> TryParseImp;

public ConverterPropertyGroup(
INumeralConverter sut,
FSharpFunc<int, string> toNumeralImp,
FSharpFunc<string, FSharpOption<int>> tryParseImp)
{
this.Sut = sut;
this.ToNumeralImp = toNumeralImp;
this.TryParseImp = tryParseImp;
}

public override string ToString()
{
return this.Sut.GetType().Name;
}
}
}
}
Loading