home *** CD-ROM | disk | FTP | other *** search
- package java.security;
-
- public class ProtectionDomain {
- private CodeSource codesource;
- private PermissionCollection permissions;
-
- public ProtectionDomain(CodeSource var1, PermissionCollection var2) {
- this.codesource = var1;
- if (var2 != null) {
- this.permissions = var2;
- this.permissions.setReadOnly();
- }
-
- }
-
- public final CodeSource getCodeSource() {
- return this.codesource;
- }
-
- public final PermissionCollection getPermissions() {
- return this.permissions;
- }
-
- public boolean implies(Permission var1) {
- return this.permissions != null ? this.permissions.implies(var1) : false;
- }
-
- public String toString() {
- return "ProtectionDomain " + this.codesource + "\n" + this.permissions + "\n";
- }
- }
-