public void NegativeProperlyInstantiateInheritedInvariants()
{
Assert.Throws <TestRewriterMethods.InvariantException>(
() =>
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(false);
});
}
public void PositiveProperlyInstantiateInheritedInvariants()
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(true);
}
public void NegativeProperlyInstantiateInheritedInvariants()
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(false);
}
public void PositiveProperlyInstantiateInheritedInvariants()
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(true);
}
public void NegativeProperlyInstantiateInheritedInvariants()
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(false);
}
public void NegativeProperlyInstantiateInheritedInvariants()
{
Assert.Throws<TestRewriterMethods.InvariantException>(
() =>
{
NonGenericDerivedFromGenericWithInvariant ng = new NonGenericDerivedFromGenericWithInvariant(false);
});
}
