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

01:        package java.io;
02:
03:        import java.security.Permission;
04:
05:        public final class FilePermission extends Permission implements 
06:                Serializable {
07:            static final long serialVersionUID = 7930732926638008763L;
08:
09:            private void checkPerms() throws IllegalArgumentException {
10:            }
11:
12:            public FilePermission(String pathExpression, String actionsString) {
13:            }
14:
15:            public String getActions() {
16:            }
17:
18:            public int hashCode() {
19:            }
20:
21:            public boolean equals(Object o) {
22:            }
23:
24:            public boolean implies(Permission p) {
25:            }
26:        }