org.gjt.universe
Class VectorSystemID

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

All Implemented Interfaces:

java.io.Serializable

public final class VectorSystemID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorSystemID()

Method Summary

void	add(SystemID SID)
boolean	contains(SystemID SID) This method returns true if the given system ID is present in the vector, and false otherwise.
SystemID	get(int idx)
SystemID	getRandom() This method returns the ID of a star system randomly selected from those present in the vector.
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

VectorSystemID

public VectorSystemID()

Method Detail

add

public void add(SystemID SID)

get

public SystemID get(int idx)

size

public int size()

contains

public boolean contains(SystemID SID)

This method returns true if the given system ID is present in the vector, and false otherwise.

getRandom

public SystemID getRandom()

This method returns the ID of a star system randomly selected from those present in the vector.