C# (CSharp) CounterGetter示例

示例#1

文件： SwallowedBuckets.cs 项目： asvishnyakov/CodeContracts

        public SwallowedBuckets(CounterGetter counterGetter)
          : this()
        {
            Contract.Requires(counterGetter != null);

            for (int i = 0; i < counter.Length; i++)
            {
                counter[i] = counterGetter((ProofOutcome)i);
            }
        }

示例#2

        public SwallowedBuckets(CounterGetter counterGetter)
            : this()
        {
            Contract.Requires(counterGetter != null);

            for (int i = 0; i < this.counter.Length; i++)
            {
                this.counter[i] = counterGetter((ProofOutcome)i);
            }
        }