de.rwth.dfa.jvm
Class InstructionHandleVector

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--de.rwth.dfa.jvm.InstructionHandleVector

All Implemented Interfaces:

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

public class InstructionHandleVector

extends java.util.Vector

A type safe vector class for InstructionHandle objects.

Version:

$Id: InstructionHandleVector.java,v 1.2 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

See Also:

Serialized Form

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Method Summary

void	append(de.fub.bytecode.generic.InstructionHandle i) The type safe version of addElement(Object).
java.lang.String	toString() Creates a string representation, where the elements are separated by newline characters.

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, 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

Method Detail

append

public void append(de.fub.bytecode.generic.InstructionHandle i)

The type safe version of addElement(Object).

Parameters:

i - an InstructionHandle value

toString

public java.lang.String toString()

Creates a string representation, where the elements are separated by newline characters.

Overrides:

toString in class java.util.Vector

Returns:

a String value