org.gjt.universe
Class VectorModuleID

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

All Implemented Interfaces:

java.io.Serializable

public final class VectorModuleID

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

private java.util.Vector

hiddenVector

Constructor Summary

VectorModuleID()

Method Summary

void	add(ModuleID MID)
ModuleID	get(int idx)
void	remove(int idx)
void	remove(ModuleID MID)
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

VectorModuleID

public VectorModuleID()

Method Detail

add

public void add(ModuleID MID)

get

public ModuleID get(int idx)

remove

public void remove(int idx)

remove

public void remove(ModuleID MID)

size

public int size()