de.upb.swt.epctools.model.tools
Class ModelIdManager

java.lang.Object
  de.upb.swt.epctools.model.tools.ModelIdManager

public class ModelIdManager
extends java.lang.Object

This class takes care of all id's related to EPC diagrams.

Field Summary

private java.util.Vector	id_vector
private int	max_id

Constructor Summary

ModelIdManager()

Method Summary

boolean	addId(int id) This function registers an id; if id is not free, then this function returns false.
int	getNewId() This function returns a new (free) id.
void	reset() This function deletes all registered id's.

Methods inherited from class java.lang.Object

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

Field Detail

max_id

private int max_id

id_vector

private java.util.Vector id_vector

Constructor Detail

ModelIdManager

public ModelIdManager()

Method Detail

addId

public boolean addId(int id)

This function registers an id; if id is not free, then this function returns false.

Parameters:

id -

getNewId

public int getNewId()

This function returns a new (free) id.

reset

public void reset()

This function deletes all registered id's.