Lines Matching defs:permissions
158 * ExecOptionPermission permissions.
211 * of ExecOptionPermission permissions. ExecOptionPermission objects
226 private Hashtable<String, Permission> permissions;
234 permissions = new Hashtable<>(11);
261 permissions.put(p.getName(), permission);
269 * Check and see if this set of permissions implies the permissions
294 Permission x = permissions.get(pname);
309 x = permissions.get(pname);
324 x = permissions.get(pname);
346 return permissions.elements();