C# (CSharp) LazyTacny TacnyContract示例

示例#1

文件： Contract.cs 项目： ggrov/tacny

        public static void ValidateRequires(Atomic state)
        {
            Contract.Requires(state != null);
            TacnyContract tc = new TacnyContract(state);

            tc.ValidateRequires();
        }

示例#2

文件： Contract.cs 项目： ggrov/tacny

 public static void ValidateRequires(Atomic state) {
   Contract.Requires(state != null);
   TacnyContract tc = new TacnyContract(state);
   tc.ValidateRequires();
 }