content: /* This file has been generated by Stubmaker (de.uka.ilkd.stubmaker)
   * Date: Wed Nov 26 11:26:00 CET 2014
   */
  package java.util;
  
  public interface Collection extends java.lang.Iterable
  {
  
  
     /*@ requires true; ensures true; assignable \everything; */
     public int size();
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean isEmpty();
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean contains(java.lang.Object arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public java.util.Iterator iterator();
  
     /*@ requires true; ensures true; assignable \everything; */
     public java.lang.Object[] toArray();
  
     /*@ requires true; ensures true; assignable \everything; */
     public java.lang.Object[] toArray(java.lang.Object[] arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean add(java.lang.Object arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean remove(java.lang.Object arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean containsAll(java.util.Collection arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean addAll(java.util.Collection arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean removeAll(java.util.Collection arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean retainAll(java.util.Collection arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public void clear();
  
     /*@ requires true; ensures true; assignable \everything; */
     public boolean equals(java.lang.Object arg0);
  
     /*@ requires true; ensures true; assignable \everything; */
     public int hashCode();
  }
  