// --------------------------------------------------
// GESTIONNAIRE D'APPLETS
// --------------------------------------------------

import java.applet.Applet;
import java.util.*;


public class AppletManager extends Object
{
	// Liste des applets en cours
	static Hashtable hApplets = new Hashtable();
	
	
	// Ajouter une applet à la liste
	static void add(Applet a, String strAppletName)
	{
		hApplets.put(strAppletName, a);
	}
	
	
	// Supprimer une applet de la liste
	static void remove(String s)
	{
		hApplets.remove(s);
	}
	
	
	// Obtenir une applet par son nom
	static Applet getApplet(String s)
	{
		return (Applet)hApplets.get(s);
	}
	
	
	// Obtenir les noms des applets enregistrées
	static Enumeration getApplets()
	{
		return hApplets.keys();
	}
	
	
	// Compter le nombre d'applets
	static int count()
	{
		return hApplets.size();
	}
}