/* FilePermission.java --
|
/* FilePermission.java --
|
Copyright (C) 1998, 2000, 2003, 2004, 2005, 2006
|
Copyright (C) 1998, 2000, 2003, 2004, 2005, 2006
|
Free Software Foundation, Inc.
|
Free Software Foundation, Inc.
|
|
|
This file is part of GNU Classpath.
|
This file is part of GNU Classpath.
|
|
|
GNU Classpath is free software; you can redistribute it and/or modify
|
GNU Classpath is free software; you can redistribute it and/or modify
|
it under the terms of the GNU General Public License as published by
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 2, or (at your option)
|
the Free Software Foundation; either version 2, or (at your option)
|
any later version.
|
any later version.
|
|
|
GNU Classpath is distributed in the hope that it will be useful, but
|
GNU Classpath is distributed in the hope that it will be useful, but
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
General Public License for more details.
|
General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GNU Classpath; see the file COPYING. If not, write to the
|
along with GNU Classpath; see the file COPYING. If not, write to the
|
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
|
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
|
02110-1301 USA.
|
02110-1301 USA.
|
|
|
Linking this library statically or dynamically with other modules is
|
Linking this library statically or dynamically with other modules is
|
making a combined work based on this library. Thus, the terms and
|
making a combined work based on this library. Thus, the terms and
|
conditions of the GNU General Public License cover the whole
|
conditions of the GNU General Public License cover the whole
|
combination.
|
combination.
|
|
|
As a special exception, the copyright holders of this library give you
|
As a special exception, the copyright holders of this library give you
|
permission to link this library with independent modules to produce an
|
permission to link this library with independent modules to produce an
|
executable, regardless of the license terms of these independent
|
executable, regardless of the license terms of these independent
|
modules, and to copy and distribute the resulting executable under
|
modules, and to copy and distribute the resulting executable under
|
terms of your choice, provided that you also meet, for each linked
|
terms of your choice, provided that you also meet, for each linked
|
independent module, the terms and conditions of the license of that
|
independent module, the terms and conditions of the license of that
|
module. An independent module is a module which is not derived from
|
module. An independent module is a module which is not derived from
|
or based on this library. If you modify this library, you may extend
|
or based on this library. If you modify this library, you may extend
|
this exception to your version of the library, but you are not
|
this exception to your version of the library, but you are not
|
obligated to do so. If you do not wish to do so, delete this
|
obligated to do so. If you do not wish to do so, delete this
|
exception statement from your version. */
|
exception statement from your version. */
|
|
|
|
|
package java.io;
|
package java.io;
|
|
|
import java.security.Permission;
|
import java.security.Permission;
|
|
|
public final class FilePermission extends Permission implements Serializable
|
public final class FilePermission extends Permission implements Serializable
|
{
|
{
|
private static final long serialVersionUID = 7930732926638008763L;
|
private static final long serialVersionUID = 7930732926638008763L;
|
|
|
private static final String ALL_FILES = "<<ALL FILES>>";
|
private static final String ALL_FILES = "<<ALL FILES>>";
|
|
|
private boolean readPerm = false;
|
private boolean readPerm = false;
|
private boolean writePerm = false;
|
private boolean writePerm = false;
|
private boolean executePerm = false;
|
private boolean executePerm = false;
|
private boolean deletePerm = false;
|
private boolean deletePerm = false;
|
private final String actionsString;
|
private final String actionsString;
|
|
|
// Checks and caches the actions
|
// Checks and caches the actions
|
private void checkPerms() throws IllegalArgumentException
|
private void checkPerms() throws IllegalArgumentException
|
{
|
{
|
String action;
|
String action;
|
int i = actionsString.indexOf(',');
|
int i = actionsString.indexOf(',');
|
int startI = 0;
|
int startI = 0;
|
while (i != -1)
|
while (i != -1)
|
{
|
{
|
action = actionsString.substring(startI, i).trim().toLowerCase();
|
action = actionsString.substring(startI, i).trim().toLowerCase();
|
if (action.equals("read"))
|
if (action.equals("read"))
|
readPerm = true;
|
readPerm = true;
|
else if (action.equals("write"))
|
else if (action.equals("write"))
|
writePerm = true;
|
writePerm = true;
|
else if (action.equals("execute"))
|
else if (action.equals("execute"))
|
executePerm = true;
|
executePerm = true;
|
else if (action.equals("delete"))
|
else if (action.equals("delete"))
|
deletePerm = true;
|
deletePerm = true;
|
else
|
else
|
throw new IllegalArgumentException("Unknown action: " + action);
|
throw new IllegalArgumentException("Unknown action: " + action);
|
|
|
startI = i + 1;
|
startI = i + 1;
|
i = actionsString.indexOf(',', startI);
|
i = actionsString.indexOf(',', startI);
|
}
|
}
|
|
|
action = actionsString.substring(startI).trim().toLowerCase();
|
action = actionsString.substring(startI).trim().toLowerCase();
|
if (action.equals("read"))
|
if (action.equals("read"))
|
readPerm = true;
|
readPerm = true;
|
else if (action.equals("write"))
|
else if (action.equals("write"))
|
writePerm = true;
|
writePerm = true;
|
else if (action.equals("execute"))
|
else if (action.equals("execute"))
|
executePerm = true;
|
executePerm = true;
|
else if (action.equals("delete"))
|
else if (action.equals("delete"))
|
deletePerm = true;
|
deletePerm = true;
|
else
|
else
|
throw new IllegalArgumentException("Unknown action: " + action);
|
throw new IllegalArgumentException("Unknown action: " + action);
|
}
|
}
|
|
|
/**
|
/**
|
* Create a new FilePermission.
|
* Create a new FilePermission.
|
*
|
*
|
* @param pathExpression an expression specifying the paths this
|
* @param pathExpression an expression specifying the paths this
|
* permission represents.
|
* permission represents.
|
* @param actionsString a comma-separated list of the actions this
|
* @param actionsString a comma-separated list of the actions this
|
* permission represents. The actions must be "read", "write",
|
* permission represents. The actions must be "read", "write",
|
* "execute" and/or "delete".
|
* "execute" and/or "delete".
|
*/
|
*/
|
public FilePermission(String pathExpression, String actionsString)
|
public FilePermission(String pathExpression, String actionsString)
|
{
|
{
|
// FIXME: what to do when the file string is malformed?
|
// FIXME: what to do when the file string is malformed?
|
super(pathExpression);
|
super(pathExpression);
|
if (pathExpression == null)
|
if (pathExpression == null)
|
throw new NullPointerException("pathExpression");
|
throw new NullPointerException("pathExpression");
|
if (actionsString == null)
|
if (actionsString == null)
|
throw new IllegalArgumentException("actionsString");
|
throw new IllegalArgumentException("actionsString");
|
this.actionsString = actionsString;
|
this.actionsString = actionsString;
|
checkPerms();
|
checkPerms();
|
}
|
}
|
|
|
/**
|
/**
|
* Get the actions this FilePermission supports.
|
* Get the actions this FilePermission supports.
|
* @return the String representing the actions this FilePermission supports.
|
* @return the String representing the actions this FilePermission supports.
|
*/
|
*/
|
public String getActions()
|
public String getActions()
|
{
|
{
|
return actionsString;
|
return actionsString;
|
}
|
}
|
|
|
/**
|
/**
|
* Get the hash code for this Object.<P>
|
* Get the hash code for this Object.<P>
|
* FilePermission's hash code is calculated as the exclusive or of the
|
* FilePermission's hash code is calculated as the exclusive or of the
|
* target
|
* target
|
* String's hash code and the action String's hash code.
|
* String's hash code and the action String's hash code.
|
* @specnote Sun did not specify how to calculate the hash code;
|
* @specnote Sun did not specify how to calculate the hash code;
|
* I made this up.
|
* I made this up.
|
* @return the hash code for this Object.
|
* @return the hash code for this Object.
|
*/
|
*/
|
public int hashCode()
|
public int hashCode()
|
{
|
{
|
return getName().hashCode() ^ actionsString.hashCode();
|
return getName().hashCode() ^ actionsString.hashCode();
|
}
|
}
|
|
|
/**
|
/**
|
* Check two FilePermissions for semantic equality.
|
* Check two FilePermissions for semantic equality.
|
* Two FilePermissions are exactly equivalent if they have identical path
|
* Two FilePermissions are exactly equivalent if they have identical path
|
* expressions and have exactly the same access permissions.
|
* expressions and have exactly the same access permissions.
|
* @param o the Object to compare to.
|
* @param o the Object to compare to.
|
* @return whether the Objects are semantically equivalent.
|
* @return whether the Objects are semantically equivalent.
|
*/
|
*/
|
public boolean equals(Object o)
|
public boolean equals(Object o)
|
{
|
{
|
if (! (o instanceof FilePermission))
|
if (! (o instanceof FilePermission))
|
return false;
|
return false;
|
FilePermission p = (FilePermission) o;
|
FilePermission p = (FilePermission) o;
|
|
|
String f1 = getName();
|
String f1 = getName();
|
String f2 = p.getName();
|
String f2 = p.getName();
|
|
|
// Compare names, taking into account if they refer to a directory
|
// Compare names, taking into account if they refer to a directory
|
// and one has a separator and the other does not.
|
// and one has a separator and the other does not.
|
if (f1.length() > 0 && f1.charAt(f1.length() - 1) == File.separatorChar)
|
if (f1.length() > 0 && f1.charAt(f1.length() - 1) == File.separatorChar)
|
{
|
{
|
if (f2.length() > 0
|
if (f2.length() > 0
|
&& f2.charAt(f2.length() - 1) == File.separatorChar)
|
&& f2.charAt(f2.length() - 1) == File.separatorChar)
|
{
|
{
|
if (! f2.equals(f1))
|
if (! f2.equals(f1))
|
return false;
|
return false;
|
}
|
}
|
else
|
else
|
{
|
{
|
if (! f2.equals(f1.substring(0, f1.length() - 1)))
|
if (! f2.equals(f1.substring(0, f1.length() - 1)))
|
return false;
|
return false;
|
}
|
}
|
}
|
}
|
else
|
else
|
{
|
{
|
if (f2.length() > 0
|
if (f2.length() > 0
|
&& f2.charAt(f2.length() - 1) == File.separatorChar)
|
&& f2.charAt(f2.length() - 1) == File.separatorChar)
|
{
|
{
|
if (! f1.equals(f2.substring(0, f2.length() - 1)))
|
if (! f1.equals(f2.substring(0, f2.length() - 1)))
|
return false;
|
return false;
|
}
|
}
|
else
|
else
|
{
|
{
|
if (! f1.equals(f2))
|
if (! f1.equals(f2))
|
return false;
|
return false;
|
}
|
}
|
}
|
}
|
return (readPerm == p.readPerm
|
return (readPerm == p.readPerm
|
&& writePerm == p.writePerm
|
&& writePerm == p.writePerm
|
&& executePerm == p.executePerm
|
&& executePerm == p.executePerm
|
&& deletePerm == p.deletePerm);
|
&& deletePerm == p.deletePerm);
|
}
|
}
|
|
|
/**
|
/**
|
* Check to see if this permission implies another.
|
* Check to see if this permission implies another.
|
* Permission A implies permission B if these things are all true:
|
* Permission A implies permission B if these things are all true:
|
* <OL>
|
* <OL>
|
* <LI>A and B are both FilePermissions.</LI>
|
* <LI>A and B are both FilePermissions.</LI>
|
* <LI>All possible files in B are included in A
|
* <LI>All possible files in B are included in A
|
* (possibly more are in A).</LI>
|
* (possibly more are in A).</LI>
|
* <LI>All actions B supports, A also supports.</LI>
|
* <LI>All actions B supports, A also supports.</LI>
|
* </OL>
|
* </OL>
|
* @param p the Permission to compare against.
|
* @param p the Permission to compare against.
|
* @return whether this Permission implies p
|
* @return whether this Permission implies p
|
*/
|
*/
|
public boolean implies(Permission p)
|
public boolean implies(Permission p)
|
{
|
{
|
if (! (p instanceof FilePermission))
|
if (! (p instanceof FilePermission))
|
return false;
|
return false;
|
|
|
String f1 = getName();
|
String f1 = getName();
|
|
|
if (f1.equals(ALL_FILES))
|
if (f1.equals(ALL_FILES))
|
return true;
|
return true;
|
|
|
FilePermission fp = (FilePermission) p;
|
FilePermission fp = (FilePermission) p;
|
String f2 = fp.getName();
|
String f2 = fp.getName();
|
|
|
if (f2.equals(ALL_FILES))
|
if (f2.equals(ALL_FILES))
|
return false;
|
return false;
|
|
|
try
|
try
|
{
|
{
|
f1 = new File(f1).getCanonicalPath();
|
f1 = new File(f1).getCanonicalPath();
|
f2 = new File(f2).getCanonicalPath();
|
f2 = new File(f2).getCanonicalPath();
|
}
|
}
|
catch (IOException ioe)
|
catch (IOException ioe)
|
{
|
{
|
return false;
|
return false;
|
}
|
}
|
|
|
String sub1;
|
String sub1;
|
|
|
switch (f1.charAt(f1.length() - 1))
|
switch (f1.charAt(f1.length() - 1))
|
{
|
{
|
case '*':
|
case '*':
|
sub1 = f1.substring(0, f1.length() - 1); // chop off "*"
|
sub1 = f1.substring(0, f1.length() - 1); // chop off "*"
|
if (f2.length() <= sub1.length())
|
if (f2.length() <= sub1.length())
|
{
|
{
|
// If it's smaller, there is no way it could be part of
|
// If it's smaller, there is no way it could be part of
|
// this directory. If it's the same (or length - 1), it
|
// this directory. If it's the same (or length - 1), it
|
// could be the same directory but specifies access to
|
// could be the same directory but specifies access to
|
// the directory rather than the files in it.
|
// the directory rather than the files in it.
|
return false;
|
return false;
|
}
|
}
|
else if (f2.charAt(sub1.length() - 1) == File.separatorChar)
|
else if (f2.charAt(sub1.length() - 1) == File.separatorChar)
|
{
|
{
|
// Make sure the part before the "/" is the same.
|
// Make sure the part before the "/" is the same.
|
if (! f2.substring(0, sub1.length()).equals(sub1))
|
if (! f2.substring(0, sub1.length()).equals(sub1))
|
return false;
|
return false;
|
// Make sure there are no subdirectories specified
|
// Make sure there are no subdirectories specified
|
// underneath this one.
|
// underneath this one.
|
if (f2.substring(sub1.length() + 1).indexOf(File.separatorChar)
|
if (f2.substring(sub1.length() + 1).indexOf(File.separatorChar)
|
!= -1)
|
!= -1)
|
return false;
|
return false;
|
}
|
}
|
else
|
else
|
{
|
{
|
// Obviously not equal: f2 is either not a directory or
|
// Obviously not equal: f2 is either not a directory or
|
// is not the same directory (its name continues further
|
// is not the same directory (its name continues further
|
// than we want).
|
// than we want).
|
return false;
|
return false;
|
}
|
}
|
break;
|
break;
|
case '-':
|
case '-':
|
// Chop off "/-".
|
// Chop off "/-".
|
sub1 = f1.substring(0, f1.length() - 2);
|
sub1 = f1.substring(0, f1.length() - 2);
|
if (f2.length() < sub1.length())
|
if (f2.length() < sub1.length())
|
{
|
{
|
// If it's smaller, there is no way it could be part of
|
// If it's smaller, there is no way it could be part of
|
// this directory.
|
// this directory.
|
return false;
|
return false;
|
}
|
}
|
else if (f2.length() > sub1.length()
|
else if (f2.length() > sub1.length()
|
&& f2.charAt(sub1.length()) != File.separatorChar)
|
&& f2.charAt(sub1.length()) != File.separatorChar)
|
return false;
|
return false;
|
else if (! f2.substring(0, sub1.length()).equals(sub1))
|
else if (! f2.substring(0, sub1.length()).equals(sub1))
|
return false;
|
return false;
|
break;
|
break;
|
|
|
default:
|
default:
|
if (!f1.equals(f2))
|
if (!f1.equals(f2))
|
return false;
|
return false;
|
break;
|
break;
|
}
|
}
|
|
|
if (fp.readPerm && ! readPerm)
|
if (fp.readPerm && ! readPerm)
|
return false;
|
return false;
|
if (fp.writePerm && ! writePerm)
|
if (fp.writePerm && ! writePerm)
|
return false;
|
return false;
|
if (fp.executePerm && ! executePerm)
|
if (fp.executePerm && ! executePerm)
|
return false;
|
return false;
|
if (fp.deletePerm && ! deletePerm)
|
if (fp.deletePerm && ! deletePerm)
|
return false;
|
return false;
|
|
|
return true;
|
return true;
|
}
|
}
|
}
|
}
|
|
|
