home *** CD-ROM | disk | FTP | other *** search
/ Maximum CD 2003 January / maximum-cd-2003-01.iso / Software / Apps / OperawithJava / ow32enen700b1j.exe / OPERA.JAR / opera / PluginContextManager.class (.txt) < prev    next >
Encoding:
Java Class File  |  2002-11-05  |  1012 b   |  31 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.          } else {
  16.             var2.setDocumentPtr(var0);
  17.          }
  18.  
  19.          return var2;
  20.       }
  21.    }
  22.  
  23.    public static void deleteContext(PluginContext var0) {
  24.       Hashtable var1 = contexts;
  25.       synchronized(var1) {
  26.          var0.cleanup();
  27.          contexts.remove(new Integer(var0.document_ptr));
  28.       }
  29.    }
  30. }
  31.