/// <summary>
/// Constructor.
/// </summary>
public RepeatSpecification
(
RepeatKind kind
)
: this()
{
Sure.Defined(kind, nameof(kind));
Kind = kind;
}
/// <summary>
/// Constructor.
/// </summary>
public RepeatSpecification
(
RepeatKind kind,
int index
)
: this()
{
Sure.Defined(kind, nameof(kind));
Sure.NonNegative(index, nameof(index));
Kind = kind;
Index = index;
}
public void Sure_Defined_2()
{
Sure.Defined(PetType.Cat, "petType");
Sure.Defined(PetType.Dog, "petType");
Sure.Defined(PetType.Fish, "petType");
}
public void Sure_Defined_1()
{
Sure.Defined((PetType)10, "petType");
}