|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.w3c.tools.resources.upgrade.Attribute | +--org.w3c.tools.resources.upgrade.StringAttribute | +--org.w3c.tools.resources.upgrade.FilenameAttribute
The generic description of a FilenameAttribute. A file name is a String, augmented with the fact that it should be a valid file name.
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)
|
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 |
public FilenameAttribute(java.lang.String name, java.lang.String def, java.lang.Integer flags)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |