C# (CSharp) C3.C3b примеры использования

Пример #1

Файл: nondeterministic fault effects.cs Проект: isse-augsburg/ssharp

		protected override void Check()
		{
			var c1 = new C1();
			CheckInvariants(c1, c1.X != 3, c1.X != 7).ShouldBe(new[] { false, false });

			var c2 = new C2.C2b();
			CheckInvariants(c2, c2.X != 3, c2.X != 7).ShouldBe(new[] { false, false });

			var c3 = new C3.C3b();
			CheckInvariants(c3, c3.X != 3, c3.X != 7).ShouldBe(new[] { false, false });
		}

Пример #2

        protected override void Check()
        {
            var c1 = new C1();

            CheckInvariants(c1, c1.X != 3, c1.X != 7).ShouldBe(new[] { false, false });

            var c2 = new C2.C2b();

            CheckInvariants(c2, c2.X != 3, c2.X != 7).ShouldBe(new[] { false, false });

            var c3 = new C3.C3b();

            CheckInvariants(c3, c3.X != 3, c3.X != 7).ShouldBe(new[] { false, false });
        }

Пример #3

        protected override void Check()
        {
            var c1 = new C1();

            CheckInvariant(c1.X != 3, c1).ShouldBe(false);
            CheckInvariant(c1.X != 7, c1).ShouldBe(false);

            var c2 = new C2.C2b();

            CheckInvariant(c2.X != 3, c2).ShouldBe(false);
            CheckInvariant(c2.X != 7, c2).ShouldBe(false);

            var c3 = new C3.C3b();

            CheckInvariant(c3.X != 3, c3).ShouldBe(false);
            CheckInvariant(c3.X != 7, c3).ShouldBe(false);
        }

Пример #4

Файл: nondeterministic fault effects.cs Проект: isse-augsburg/ssharp

		protected override void Check()
		{
			var c1 = new C1();

			CheckInvariant(c1.X != 3, c1).ShouldBe(false);
			CheckInvariant(c1.X != 7, c1).ShouldBe(false); 

			var c2 = new C2.C2b();

			CheckInvariant(c2.X != 3, c2).ShouldBe(false);
			CheckInvariant(c2.X != 7, c2).ShouldBe(false);

			var c3 = new C3.C3b();

			CheckInvariant(c3.X != 3, c3).ShouldBe(false);
			CheckInvariant(c3.X != 7, c3).ShouldBe(false);
		}