|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ProtectionDomain | |
| java.lang | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
| Uses of ProtectionDomain in java.lang |
| Fields in java.lang declared as ProtectionDomain | |
private ProtectionDomain |
ClassLoader.defaultDomain
|
private static ProtectionDomain |
Class.allPermDomain
|
| Methods in java.lang that return ProtectionDomain | |
private ProtectionDomain |
ClassLoader.preDefineClass(String,
ProtectionDomain)
|
private ProtectionDomain |
ClassLoader.getDefaultDomain()
|
ProtectionDomain |
Class.getProtectionDomain()
|
private ProtectionDomain |
Class.getProtectionDomain0()
|
| Methods in java.lang with parameters of type ProtectionDomain | |
private void |
ClassLoader.checkPackageAccess(Class,
ProtectionDomain)
|
private ProtectionDomain |
ClassLoader.preDefineClass(String,
ProtectionDomain)
|
private String |
ClassLoader.defineClassSourceLocation(ProtectionDomain)
|
private Class |
ClassLoader.defineTransformedClass(String,
byte[],
int,
int,
ProtectionDomain,
ClassFormatError,
String)
|
private void |
ClassLoader.postDefineClass(Class,
ProtectionDomain)
|
protected Class |
ClassLoader.defineClass(String,
byte[],
int,
int,
ProtectionDomain)
|
protected Class |
ClassLoader.defineClass(String,
ByteBuffer,
ProtectionDomain)
|
private Class |
ClassLoader.defineClass0(String,
byte[],
int,
int,
ProtectionDomain)
|
private Class |
ClassLoader.defineClass1(String,
byte[],
int,
int,
ProtectionDomain,
String)
|
private Class |
ClassLoader.defineClass2(String,
ByteBuffer,
int,
int,
ProtectionDomain,
String)
|
(package private) void |
Class.setProtectionDomain0(ProtectionDomain)
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||