Class IdManager

java.lang.Object
  |
  +--IdManager

public class IdManager

extends java.lang.Object

Cette classe permet de faire la convertion entre les id dans un fichier xml, et les id alloues dynamiquement

Field Summary

private static java.util.Hashtable	h_sid table des id d'une session (chargement d'une lib)
private static java.util.Vector	v_gid table de tous les id de la scene

Constructor Summary

IdManager()

Method Summary

static java.lang.String	getId(java.lang.String org)
static java.lang.String	register(java.lang.String id)
static void	reset() Initialisation du mecanisme
static boolean	unregister(java.lang.String id)

Methods inherited from class java.lang.Object

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

Field Detail

v_gid

private static java.util.Vector v_gid

table de tous les id de la scene

h_sid

private static java.util.Hashtable h_sid

table des id d'une session (chargement d'une lib)

Constructor Detail

IdManager

public IdManager()

Method Detail

reset

public static void reset()

Initialisation du mecanisme

unregister

public static boolean unregister(java.lang.String id)

register

public static java.lang.String register(java.lang.String id)

getId

public static java.lang.String getId(java.lang.String org)