C# (CSharp) CodeContracts.UnitTests TestModel.MakeValidInstance示例

示例#1

        public void MethodCall_WithResultIsNotNull_DoesNotThrow()
        {
            var testModel = TestModel.MakeValidInstance();

            testModel.Invoking(it => it.CheckForResultNull(false)).Should().NotThrow();
        }

示例#2

        public void MethodCall_WithResultStruct_DoesNotThrow()
        {
            var testModel = TestModel.MakeValidInstance();

            testModel.Invoking(it => it.CheckForResultNullButIsValueType()).Should().NotThrow();
        }

示例#3

        public void MethodCall_WithResultStringIsNull_Throws()
        {
            var testModel = TestModel.MakeValidInstance();

            testModel.Invoking(it => it.CheckForResultStringNull()).Should().Throw <PostconditionViolatedException>();
        }