org.gjt.universe
Class VectorPlanetID

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

All Implemented Interfaces:

java.io.Serializable

public final class VectorPlanetID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorPlanetID()

Method Summary

void	add(PlanetID PID)
PlanetID	get(int idx)
java.util.Vector	getPlanets() This method returns the vector of actual planet objects which correspond to the IDs in the receiving instance.
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

VectorPlanetID

public VectorPlanetID()

Method Detail

add

public void add(PlanetID PID)

get

public PlanetID get(int idx)

size

public int size()

getPlanets

public java.util.Vector getPlanets()

This method returns the vector of actual planet objects which correspond to the IDs in the receiving instance.