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

01:        package java.util;
02:
03:        import java.security.Permission;
04:        import java.security.PermissionCollection;
05:
06:        class PropertyPermissionCollection extends PermissionCollection {
07:            public void add(Permission permission) {
08:            }
09:
10:            public boolean implies(Permission permission) {
11:            }
12:
13:            public Enumeration elements() {
14:            }
15:        }