final class DmtPermissionCollection
extends java.security.PermissionCollection
Modifier and Type | Field and Description |
---|---|
private java.util.ArrayList |
perms |
private static long |
serialVersionUID |
Constructor and Description |
---|
DmtPermissionCollection()
Create an empty DmtPermissionCollection object.
|
Modifier and Type | Method and Description |
---|---|
void |
add(java.security.Permission permission)
Adds a permission to the DmtPermissionCollection.
|
java.util.Enumeration |
elements()
Returns an enumeration of all the DmtPermission objects in the container.
|
boolean |
implies(java.security.Permission permission)
Check whether this set of permissions implies the permission specified in
the parameter.
|
private static final long serialVersionUID
private java.util.ArrayList perms
public DmtPermissionCollection()
public void add(java.security.Permission permission)
add
in class java.security.PermissionCollection
permission
- the Permission object to addjava.lang.IllegalArgumentException
- if the permission is not a
DmtPermissionjava.lang.SecurityException
- if this DmtPermissionCollection object has
been marked readonlypublic boolean implies(java.security.Permission permission)
implies
in class java.security.PermissionCollection
permission
- the Permission object to comparepublic java.util.Enumeration elements()
null
.elements
in class java.security.PermissionCollection