home *** CD-ROM | disk | FTP | other *** search
- package java.security;
-
- import java.io.Serializable;
- import java.util.Enumeration;
- import java.util.Hashtable;
- import java.util.NoSuchElementException;
-
- final class PermissionsHash extends PermissionCollection implements Serializable {
- private Hashtable perms = new Hashtable(11);
-
- public void add(Permission var1) {
- this.perms.put(var1, var1);
- }
-
- public boolean implies(Permission var1) {
- Permission var2 = (Permission)this.perms.get(var1);
- if (var2 != null && var2.implies(var1)) {
- return true;
- } else {
- Enumeration var3 = this.elements();
-
- try {
- while(var3.hasMoreElements()) {
- var2 = (Permission)var3.nextElement();
- if (var2.implies(var1)) {
- return true;
- }
- }
- } catch (NoSuchElementException var5) {
- }
-
- return false;
- }
- }
-
- public Enumeration elements() {
- return this.perms.elements();
- }
- }
-