org.gjt.universe
Class VectorFleetID

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

All Implemented Interfaces:

java.io.Serializable

public final class VectorFleetID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorFleetID()

Method Summary

void	add(FleetID FID)
void	append(VectorFleetID otherVector) This method appends the IDs present in the the given other vector to those present in the receiving vector.
FleetID	get(int idx)
boolean	remove(FleetID FID) This method removes the given fleet ID from those present in the vector.
int	size()
java.util.Vector	vector() This method returns contents of the receving instance as a standard Vector.

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

VectorFleetID

public VectorFleetID()

Method Detail

add

public void add(FleetID FID)

get

public FleetID get(int idx)

remove

public boolean remove(FleetID FID)

This method removes the given fleet ID from those present in the vector.

append

public void append(VectorFleetID otherVector)

This method appends the IDs present in the the given other vector to those present in the receiving vector.

Parameters:

otherVector - The vector of IDs to be appended.

size

public int size()

vector

public java.util.Vector vector()

This method returns contents of the receving instance as a standard Vector.