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();
 }