byucc.jhdl.synth.graph
Class VertexVector

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractList
          extended byjava.util.Vector
              extended bybyucc.jhdl.synth.graph.VertexVector
All Implemented Interfaces:
java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

public class VertexVector
extends java.util.Vector

A simple class to hold a collection of Vertex. This class simply extends Vector and provides methods to add or get a Vertex without a cast.

Author:
Carl Worth
See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
VertexVector()
           
 
Method Summary
 void addVertex(Vertex v)
          Adds a vertex to the end of this VertexVector
 boolean removeVertex(Vertex v)
          Removes a vertex from this VertexVector
 Vertex vertexAt(int index)
          Returns the vertex at the specified index.
 
Methods inherited from class java.util.Vector
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Constructor Detail

VertexVector

public VertexVector()
Method Detail

addVertex

public void addVertex(Vertex v)
Adds a vertex to the end of this VertexVector

Parameters:
v - the new vertex to be added.
See Also:
Vector.addElement(java.lang.Object)

removeVertex

public boolean removeVertex(Vertex v)
Removes a vertex from this VertexVector

Parameters:
v - the vertex to be removed.
Returns:
true if the Vertex was in this VertexVector, false otherwise
See Also:
Vector.removeElement(java.lang.Object)

vertexAt

public Vertex vertexAt(int index)
Returns the vertex at the specified index.

Parameters:
index - an index into this VertexVector
Returns:
the vertex at the specified index
See Also:
Vector.elementAt(int)


Copyright ? 2006 Brigham Young University, Configurable Computing Laboratory. All Rights Reserved.