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)