byucc.jhdl.synth.graph
Class EdgeVector

java.lang.Object
  java.util.AbstractCollection
      java.util.AbstractList
          java.util.Vector
              byucc.jhdl.synth.graph.EdgeVector

All Implemented Interfaces:

java.lang.Cloneable, java.util.Collection, java.util.List, java.util.RandomAccess, java.io.Serializable

public class EdgeVector

extends java.util.Vector

A simple class to hold a collection of Edges. This class simply extends Vector and provides methods to add and get Edges 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

EdgeVector()

Method Summary

void	addEdge(Edge e) Adds an edge to the end of this EdgeVector
Edge	edgeAt(int index) Returns the edge at the specified index.
boolean	removeEdge(Edge e) Removes an edge from this EdgeVector This method identifies the edge to be removed by using the equals method in Edge.

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

EdgeVector

public EdgeVector()

Method Detail

addEdge

public void addEdge(Edge e)

Adds an edge to the end of this EdgeVector

Parameters:

e - the new edge to be added.

See Also:

Vector.addElement(java.lang.Object)

removeEdge

public boolean removeEdge(Edge e)

Removes an edge from this EdgeVector This method identifies the edge to be removed by using the equals method in Edge.

Parameters:

e - the edge to be removed.

Returns:

true if the Edge was in this EdgeVector, false otherwise

See Also:

Vector.removeElement(java.lang.Object)

edgeAt

public Edge edgeAt(int index)

Returns the edge at the specified index.

Parameters:

index - an index into this EdgeVector

Returns:

the edge at the specified index

See Also:

Vector.elementAt(int)