home *** CD-ROM | disk | FTP | other *** search
/ Game.EXE 2001 February / GAME_2.ISO / utilities / Opera 5.01 / Opera501_final_nonjava.exe / OPERA.JAR / opera / PluginContextManager.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-12-07  |  957 b   |  29 lines

  1. package opera;
  2.  
  3. import java.util.Hashtable;
  4.  
  5. public class PluginContextManager {
  6.    private static Hashtable contexts = new Hashtable();
  7.  
  8.    public static PluginContext getContext(int var0) {
  9.       Hashtable var1 = contexts;
  10.       synchronized(var1) {
  11.          PluginContext var2 = (PluginContext)contexts.get(new Integer(var0));
  12.          if (var2 == null) {
  13.             var2 = new PluginContext(var0);
  14.             contexts.put(new Integer(var0), var2);
  15.          }
  16.  
  17.          return var2;
  18.       }
  19.    }
  20.  
  21.    public static void deleteContext(PluginContext var0) {
  22.       Hashtable var1 = contexts;
  23.       synchronized(var1) {
  24.          var0.cleanup();
  25.          contexts.remove(new Integer(var0.document_ptr));
  26.       }
  27.    }
  28. }
  29.