org.w3c.tools.resources.upgrade
Class FilenameAttribute

java.lang.Object
  extended by org.w3c.tools.resources.upgrade.Attribute
      extended by org.w3c.tools.resources.upgrade.StringAttribute
          extended by org.w3c.tools.resources.upgrade.FilenameAttribute
All Implemented Interfaces:
java.io.Serializable

public class FilenameAttribute
extends StringAttribute

The generic description of a FilenameAttribute. A file name is a String, augmented with the fact that it should be a valid file name.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.w3c.tools.resources.upgrade.Attribute
COMPUTED, DONTSAVE, EDITABLE, flags, MANDATORY, name, type
 
Constructor Summary
FilenameAttribute(java.lang.String name, java.lang.String def, java.lang.Integer flags)
           
 
Method Summary
 
Methods inherited from class org.w3c.tools.resources.upgrade.StringAttribute
checkValue, getPickleLength, pickle, unpickle
 
Methods inherited from class org.w3c.tools.resources.upgrade.Attribute
checkFlag, getDefault, getName, getType, stringify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FilenameAttribute

public FilenameAttribute(java.lang.String name,
                         java.lang.String def,
                         java.lang.Integer flags)