src/java.base/share/classes/java/security/Permission.java
changeset 53018 8bf9268df0e2
parent 47216 71c04702a3d5
child 57950 4612a3cfb927
equal deleted inserted replaced
53017:e10a1f7aaa13 53018:8bf9268df0e2
   220      *
   220      *
   221      * @return information about this Permission.
   221      * @return information about this Permission.
   222      */
   222      */
   223     public String toString() {
   223     public String toString() {
   224         String actions = getActions();
   224         String actions = getActions();
   225         if ((actions == null) || (actions.length() == 0)) { // OPTIONAL
   225         if (actions == null || actions.isEmpty()) { // OPTIONAL
   226             return "(\"" + getClass().getName() + "\" \"" + name + "\")";
   226             return "(\"" + getClass().getName() + "\" \"" + name + "\")";
   227         } else {
   227         } else {
   228             return "(\"" + getClass().getName() + "\" \"" + name +
   228             return "(\"" + getClass().getName() + "\" \"" + name +
   229                  "\" \"" + actions + "\")";
   229                  "\" \"" + actions + "\")";
   230         }
   230         }