src/java.base/share/classes/java/util/PropertyPermission.java
changeset 58659 4113f16d5109
parent 58288 48e480e56aad
child 58679 9c3209ff7550
equal deleted inserted replaced
58658:55866aa5fb54 58659:4113f16d5109
   461      * Adds a permission to the PropertyPermissions. The key for the hash is
   461      * Adds a permission to the PropertyPermissions. The key for the hash is
   462      * the name.
   462      * the name.
   463      *
   463      *
   464      * @param permission the Permission object to add.
   464      * @param permission the Permission object to add.
   465      *
   465      *
   466      * @throws    IllegalArgumentException - if the permission is not a
   466      * @throws    IllegalArgumentException   if the permission is not a
   467      *                                       PropertyPermission
   467      *                                       PropertyPermission
   468      *
   468      *
   469      * @throws    SecurityException - if this PropertyPermissionCollection
   469      * @throws    SecurityException   if this PropertyPermissionCollection
   470      *                                object has been marked readonly
   470      *                                object has been marked readonly
   471      */
   471      */
   472     @Override
   472     @Override
   473     public void add(Permission permission) {
   473     public void add(Permission permission) {
   474         if (! (permission instanceof PropertyPermission))
   474         if (! (permission instanceof PropertyPermission))