/[classpath]/classpath/java/io/FilePermission.java
ViewVC logotype

Diff of /classpath/java/io/FilePermission.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.11 by tromey, Wed Aug 6 19:45:30 2003 UTC revision 1.12 by mkoch, Sun Oct 12 16:53:14 2003 UTC
# Line 189  public final class FilePermission extend Line 189  public final class FilePermission extend
189    public boolean implies(Permission p)    public boolean implies(Permission p)
190    {    {
191      FilePermission fp;      FilePermission fp;
192        
193      if(!(p instanceof FilePermission))      if(!(p instanceof FilePermission))
194        return false;        return false;
195        
196      fp = (FilePermission)p;      fp = (FilePermission)p;
197            
198      String f1 = getName();      String f1 = getName();
199      String f2 = fp.getName();      String f2 = fp.getName();
200        
201      if(f1.charAt(0) != File.separatorChar)      if(f1.charAt(0) != File.separatorChar)
202        {        {
203          f1 = CURRENT_DIRECTORY + f1;          f1 = CURRENT_DIRECTORY + f1;
# Line 204  public final class FilePermission extend Line 207  public final class FilePermission extend
207          f2 = CURRENT_DIRECTORY + f2;          f2 = CURRENT_DIRECTORY + f2;
208        }        }
209            
210      String sub1, sub2a, sub2b;      String sub1;
211        
212      switch(f1.charAt(f1.length() - 1))      switch(f1.charAt(f1.length() - 1))
213        {        {
214          case '*':          case '*':

Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26