+2004-09-10 Dalibor Topic <robilad@kaffe.org>
+
+ * gnu/java/net/protocol/file/Connection.java (permission): New field.
+ (DEFAULT_PERMISSION): New constant.
+ (Connection): Create a FilePermission with permission to read file.
+
+2004-09-10 Michael Koch <konqueror@gmx.de>
+
+ * gnu/java/net/protocol/file/Connection.java
+ (getLastModified): Moved around.
+ (getPermission): Return stored permission.
+
2004-09-10 Michael Koch <konqueror@gmx.de>
* Makefile.in: Regenerate.
*/
public class Connection extends URLConnection
{
+ /**
+ * Default permission for a file
+ */
+ private static final String DEFAULT_PERMISSION = "read";
+
/**
* HTTP-style DateFormat, used to format the last-modified header.
*/
*/
private OutputStream outputStream;
+ /**
+ * FilePermission to read the file
+ */
+ private FilePermission permission;
+
/**
* Calls superclass constructor to initialize.
*/
public Connection(URL url)
{
super (url);
+
+ permission = new FilePermission(getURL().getFile(), DEFAULT_PERMISSION);
}
/**
return outputStream;
}
+ /**
+ * Get the last modified time of the resource.
+ *
+ * @return the time since epoch that the resource was modified.
+ */
+ public long getLastModified()
+ {
+ try
+ {
+ if (!connected)
+ connect();
+
+ return file.lastModified();
+ }
+ catch (IOException e)
+ {
+ return -1;
+ }
+ }
+
/**
* Get an http-style header field. Just handle a few common ones.
*/
* @return the length of the content.
*/
public int getContentLength()
- {
- try
- {
- if (!connected)
- connect();
-
- return (int) file.length();
- }
- catch (IOException e)
- {
- return -1;
- }
- }
-
- /**
- * Get the last modified time of the resource.
- *
- * @return the time since epoch that the resource was modified.
- */
- public long getLastModified()
{
try
{
if (!connected)
connect();
- return file.lastModified();
+ return (int) file.length();
}
catch (IOException e)
{
*/
public Permission getPermission() throws IOException
{
- return new FilePermission(getURL().getFile(), "read");
+ return permission;
}
}