FileResource

The basic resource to serve files. This resource allows you to export files.

Inherits

The FileResource class inerits from the following classes:

• Resource
• FramedResource

Attributes description

The FileResource defines the following attributes:

• filename
• backup

semantics

The optional name of the file to be served by the file resource. By default, the file resource will serve the file's having the resource's name. You can define this attribute in order to change the URL to file mapping. E.g. you can serve the file foo.html through the name oof.html, by setting the foo.html filename attribute to off.html.

type

This attribute is an editable FilenameAttribute

default value

This attribute defaults to null.

semantics

Should this resource create a backup file if the file content change (with the newContent method).

type

This attribute is an editable BooleanAttribute

default value

This attribute defaults to false.

Jigsaw Team
$Id: org.w3c.tools.resources.FileResource.html,v 1.3 1998/03/27 08:25:25 bmahe Exp $