Exemplos de C3.C3b em C# (CSharp)

Exemplo n.º 1

Arquivo: nondeterministic fault effects.cs Projeto: 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 });
		}

Exemplo n.º 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 });
        }

Exemplo n.º 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);
        }

Exemplo n.º 4

Arquivo: nondeterministic fault effects.cs Projeto: 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);
		}