vanted.petrinetelements
Class PlaceList

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractList<E>
          extended by java.util.ArrayList<Place>
              extended by vanted.petrinetelements.PlaceList
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Place>, java.util.Collection<Place>, java.util.List<Place>, java.util.RandomAccess

public class PlaceList
extends java.util.ArrayList<Place>

The Class PlaceList is a helper class for places.

See Also:
Serialized Form

Constructor Summary
PlaceList()
           
 
Method Summary
 boolean contains(java.lang.Object o)
           
 boolean equals(java.lang.Object o)
           
 int indexOf(java.lang.Object o)
           
 
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, clone, ensureCapacity, get, isEmpty, lastIndexOf, remove, remove, set, size, toArray, toArray, trimToSize
 
Methods inherited from class java.util.AbstractList
hashCode, iterator, listIterator, listIterator, subList
 
Methods inherited from class java.util.AbstractCollection
containsAll, removeAll, retainAll, toString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
containsAll, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList
 

Constructor Detail

PlaceList

public PlaceList()
Method Detail

contains

public boolean contains(java.lang.Object o)
Specified by:
contains in interface java.util.Collection<Place>
Specified by:
contains in interface java.util.List<Place>
Overrides:
contains in class java.util.ArrayList<Place>

indexOf

public int indexOf(java.lang.Object o)
Specified by:
indexOf in interface java.util.List<Place>
Overrides:
indexOf in class java.util.ArrayList<Place>

equals

public boolean equals(java.lang.Object o)
Specified by:
equals in interface java.util.Collection<Place>
Specified by:
equals in interface java.util.List<Place>
Overrides:
equals in class java.util.AbstractList<Place>