daikon.inv
Class Invariants

Object
  AbstractCollection<E>
      AbstractList<E>
          ArrayList<Invariant>
              Invariants

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Invariant>, Collection<Invariant>, List<Invariant>, RandomAccess

public final class Invariants
extends ArrayList<Invariant>

This is essentially a collection of Invariant objects, but with a few convenience methods.

See Also:

Serialized Form

Field Summary

Fields inherited from class AbstractList

modCount

Constructor Summary

Invariants()

Invariants(int initialCapacity)

Invariants(Invariants arg)
Copy constructor.

Method Summary

boolean	remove(Object o)
int	removeMany(List<Invariant> toRemove)

Methods inherited from class ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, removeRange, set, size, toArray, toArray, trimToSize

Methods inherited from class AbstractList

equals, hashCode, iterator, listIterator, listIterator, subList

Methods inherited from class AbstractCollection

containsAll, removeAll, retainAll, toString

Methods inherited from class Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface List

containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList

Constructor Detail

Invariants

public Invariants()

Invariants

public Invariants(int initialCapacity)

Invariants

public Invariants(Invariants arg)

Copy constructor.

Method Detail

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<Invariant>

Specified by:

remove in interface List<Invariant>

Overrides:

remove in class ArrayList<Invariant>

removeMany

public int removeMany(List<Invariant> toRemove)