diff options
Diffstat (limited to 'bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java')
-rw-r--r-- | bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java b/bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java index a8695a160..bdc384a22 100644 --- a/bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java +++ b/bundles/org.eclipse.osgi/container/src/org/eclipse/osgi/internal/permadmin/PermissionsHash.java @@ -56,6 +56,7 @@ class PermissionsHash extends PermissionCollection { * @exception IllegalStateException * if the collection is read only. */ + @Override public void add(Permission perm) { if (isReadOnly()) { throw new SecurityException(); @@ -71,6 +72,7 @@ class PermissionsHash extends PermissionCollection { * @return Enumeration * the permissions in the receiver. */ + @Override public Enumeration<Permission> elements() { return perms.keys(); } @@ -86,6 +88,7 @@ class PermissionsHash extends PermissionCollection { * @param perm java.security.Permission * the permission to check */ + @Override public boolean implies(Permission perm) { Permission p = perms.get(perm); |