|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | 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.
| 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: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||