Exemple #1
0
 void ObjectInvariant()
 {
     Contract.Invariant(this.items != null);
     Contract.Invariant(
         this.count > -1 &
         this.count <= this.items.Length);
     Contract.Invariant(
         EnumerableContract.All(0, this.count, index =>
     {
         var left  = 2 * index + 1;
         var right = 2 * index + 2;
         return((left >= count || this.LessOrEqual(index, left)) &&
                (right >= count || this.LessOrEqual(index, right)));
     })
         );
 }
        public void CheckIntegerEnumeration()
        {
            var enumerablePropertyInfo = new Mock <PropertyInfo> {
                CallBase = true, DefaultValue = DefaultValue.Mock
            };
            var propertyTypeMock = new Mock <Type> {
                CallBase = true, DefaultValue = DefaultValue.Mock
            };

            propertyTypeMock.Setup(se => se.GenericTypeArguments).Returns(new[] { typeof(int) });
            enumerablePropertyInfo.Setup(se => se.PropertyType).Returns(propertyTypeMock.Object);

            var enumerableContract = new EnumerableContract(typeof(MyTestModel), enumerablePropertyInfo.Object);

            Assert.AreEqual("int32sTomytestmodels", enumerableContract.tableName);
        }