Lines Matching refs:permission
554 "expected.permission.entry"));
612 e.permission = match("permission type");
738 } else if (expect.equalsIgnoreCase("permission type")) {
753 } else if (expect.equalsIgnoreCase("permission type")) {
829 * permission java.io.FilePermission "/tmp", "read,write";
895 * Enumerate all the permission entries in this GrantEntry.
1061 * Each permission entry in the policy configuration file is
1068 * permission java.io.FilePermission "/tmp", "read,write";
1084 public String permission;
1092 public PermissionEntry(String permission,
1095 this.permission = permission;
1105 int retval = permission.hashCode();
1120 if (this.permission == null) {
1121 if (that.permission != null) return false;
1123 if (!this.permission.equals(that.permission)) return false;
1149 out.print("permission ");
1150 out.print(permission);