C# (CSharp) ConsoleApplication8 NecessaryObjectInvariant 예제들

예제 #1

        public void Test0(NecessaryObjectInvariant noi)
        {
            Contract.Requires(noi != null);

            var v = noi.GetObject();

            Contract.Assert(v != null);
        }

예제 #2

파일: ObjectInvariants_Forward.cs 프로젝트: asvishnyakov/CodeContracts

    public void Test0(NecessaryObjectInvariant noi)
    {
      Contract.Requires(noi != null);

      var v = noi.GetObject();

      Contract.Assert(v != null);
    }