src/java.base/share/classes/java/util/PropertyPermission.java
changeset 58242 94bb65cb37d3
parent 57956 e0b8b019d2f5
child 58288 48e480e56aad
equal deleted inserted replaced
58241:33de7752835c 58242:94bb65cb37d3
   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      * @exception IllegalArgumentException - if the permission is not a
   466      * @throws    IllegalArgumentException - if the permission is not a
   467      *                                       PropertyPermission
   467      *                                       PropertyPermission
   468      *
   468      *
   469      * @exception 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))