Пример #1
0
        public void removeThrowsNullReferenceException50401()
        {
            ArrayList arrayList;

            arrayList = ArrayListFactory.Create0();
            this.remove(arrayList, 3);
        }
Пример #2
0
        public void remove83102()
        {
            ArrayList arrayList;

            arrayList = ArrayListFactory.Create0();
            this.remove(arrayList, 0);
            Assert.IsNotNull((object)arrayList);
        }
Пример #3
0
        public void addThrowsNullReferenceException898()
        {
            ArrayList arrayList;

            arrayList = ArrayListFactory.Create0();
            object s0 = new object();

            this.add(arrayList, s0, 4);
        }
Пример #4
0
        public void add856()
        {
            ArrayList arrayList;

            arrayList = ArrayListFactory.Create0();
            object s0 = new object();

            this.add(arrayList, s0, 0);
            Assert.IsNotNull((object)arrayList);
        }
Пример #5
0
 public void removeThrowsContractException147()
 {
     try
     {
         ArrayList arrayList;
         arrayList = ArrayListFactory.Create0();
         this.remove(arrayList, int.MinValue);
         throw
             new AssertFailedException("expected an exception of type ContractException");
     }
     catch (Exception ex)
     {
         if (!PexContract.IsContractException(ex))
         {
             throw ex;
         }
     }
 }
Пример #6
0
 public void addThrowsContractException999()
 {
     try
     {
         ArrayList arrayList;
         arrayList = ArrayListFactory.Create0();
         object s0 = new object();
         this.add(arrayList, s0, int.MinValue);
         throw
             new AssertFailedException("expected an exception of type ContractException");
     }
     catch (Exception ex)
     {
         if (!PexContract.IsContractException(ex))
         {
             throw ex;
         }
     }
 }