org.gjt.universe
Class VectorShipID

java.lang.Object
  |
  +--org.gjt.universe.VectorShipID

All Implemented Interfaces:

java.io.Serializable

public final class VectorShipID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorShipID()

Method Summary

void	add(ShipID HID)
ShipID	get(int idx)
void	remove(int idx)
void	remove(ShipID HID)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hiddenVector

private java.util.Vector hiddenVector

Constructor Detail

VectorShipID

public VectorShipID()

Method Detail

add

public void add(ShipID HID)

get

public ShipID get(int idx)

remove

public void remove(int idx)

remove

public void remove(ShipID HID)

size

public int size()