diff options
Diffstat (limited to 'libjava/java/util/PropertyPermissionCollection.java')
| -rw-r--r-- | libjava/java/util/PropertyPermissionCollection.java | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/libjava/java/util/PropertyPermissionCollection.java b/libjava/java/util/PropertyPermissionCollection.java index 8f9c71d3e59..76110349583 100644 --- a/libjava/java/util/PropertyPermissionCollection.java +++ b/libjava/java/util/PropertyPermissionCollection.java @@ -1,5 +1,5 @@ /* PropertyPermissionCollection.java -- a collection of PropertyPermissions - Copyright (C) 2002 Free Software Foundation, Inc. + Copyright (C) 2002, 2004 Free Software Foundation, Inc. This file is part of GNU Classpath. @@ -103,10 +103,12 @@ class PropertyPermissionCollection extends PermissionCollection /** * Returns true if this collection implies the given permission. This even * returns true for this case: - * <p> -<pre>collection.add(new PropertyPermission("a.*", "read")); -collection.add(new PropertyPermission("a.b.*", "write")); -collection.implies(new PropertyPermission("a.b.c", "read,write"));</pre> + * + * <pre> + * collection.add(new PropertyPermission("a.*", "read")); + * collection.add(new PropertyPermission("a.b.*", "write")); + * collection.implies(new PropertyPermission("a.b.c", "read,write")); + * </pre> * * @param permission the permission to check * @return true if it is implied by this |