home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / java / security / UnresolvedPermissionCollection.class (.txt) < prev   
Encoding:
Java Class File  |  1979-12-31  |  1.7 KB  |  60 lines
  1. package java.security;
  2.  
  3. import java.io.Serializable;
  4. import java.util.Enumeration;
  5. import java.util.Hashtable;
  6. import java.util.NoSuchElementException;
  7. import java.util.Vector;
  8.  
  9. final class UnresolvedPermissionCollection extends PermissionCollection implements Serializable {
  10.    private Hashtable permissions = new Hashtable(11);
  11.  
  12.    public UnresolvedPermissionCollection() {
  13.    }
  14.  
  15.    public void add(Permission var1) {
  16.       if (!(var1 instanceof UnresolvedPermission)) {
  17.          throw new IllegalArgumentException("invalid permission: " + var1);
  18.       } else {
  19.          UnresolvedPermission var2 = (UnresolvedPermission)var1;
  20.          Hashtable var3 = this.permissions;
  21.          synchronized(var3) {
  22.             Vector var4 = (Vector)this.permissions.get(((Permission)var2).getName());
  23.             if (var4 == null) {
  24.                var4 = new Vector();
  25.                this.permissions.put(((Permission)var2).getName(), var4);
  26.             }
  27.  
  28.             var4.addElement(var2);
  29.          }
  30.       }
  31.    }
  32.  
  33.    synchronized Vector getUnresolvedPermissions(Permission var1) {
  34.       return (Vector)this.permissions.get(var1.getClass().getName());
  35.    }
  36.  
  37.    public boolean implies(Permission var1) {
  38.       return false;
  39.    }
  40.  
  41.    public synchronized Enumeration elements() {
  42.       Vector var1 = new Vector();
  43.       Enumeration var2 = this.permissions.elements();
  44.  
  45.       while(var2.hasMoreElements()) {
  46.          try {
  47.             Vector var3 = (Vector)var2.nextElement();
  48.             Enumeration var4 = var3.elements();
  49.  
  50.             while(var4.hasMoreElements()) {
  51.                var1.addElement(var4.nextElement());
  52.             }
  53.          } catch (NoSuchElementException var5) {
  54.          }
  55.       }
  56.  
  57.       return var1.elements();
  58.    }
  59. }
  60.