C# (CSharp) TestPostconditionInference PropertyEnsuresInference Examples

Example #1

File: PostconditionInference.cs Project: terrorizer1980/CodeContracts

        public void Test(PropertyEnsuresInference p)
        {
            Contract.Requires(p != null);

            if (p.IsConnected)
            { // Use the contract
                Contract.Assert(p.m_pipe != null);
            }
        }

Example #2

File: PostconditionInference.cs Project: terrorizer1980/CodeContracts

        public void TestWithInferredContract(PropertyEnsuresInference p)
        {
            Contract.Requires(p != null);

            if (p.IsConnectedWithInferredContract)
            {
                Contract.Assert(p.m_pipe != null);
                Contract.Assert(p.m_pipe.IsConnected);
                Contract.Assert(p.m_pipe.RandomBit); // Should not prove this one
            }
        }

Example #3

File: PostconditionInference.cs Project: asvishnyakov/CodeContracts

    public void TestWithInferredContract(PropertyEnsuresInference p)
    {
      Contract.Requires(p != null);

      if(p.IsConnectedWithInferredContract)
      {
        Contract.Assert(p.m_pipe != null);
        Contract.Assert(p.m_pipe.IsConnected);
		Contract.Assert(p.m_pipe.RandomBit); // Should not prove this one
	  }
    }

Example #4

File: PostconditionInference.cs Project: asvishnyakov/CodeContracts

	public void Test(PropertyEnsuresInference p)
    {
      Contract.Requires(p != null);

      if(p.IsConnected)
      {  // Use the contract
        Contract.Assert(p.m_pipe != null);
      }
    }