Source Code Cross Referenced for RuntimePermission.java in  » Testing » KeY » java » lang » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.lang;
02:
03:        import java.security.BasicPermission;
04:
05:        public final class RuntimePermission extends BasicPermission {
06:            public RuntimePermission(String permissionName) {
07:            }
08:
09:            public RuntimePermission(String permissionName, String actions) {
10:            }
11:        }