public class Temporary extends File implements HasDescriptor, HasFilename
| Modifier and Type | Field and Description |
|---|---|
protected int |
m_descriptor
Descriptor of the file.
|
protected java.lang.String |
m_filename
Name of the file.
|
| Constructor and Description |
|---|
Temporary()
Default c'tor: Construct a hollow shell and allow further
information to be added later.
|
Temporary(java.lang.String filename,
int descriptor)
Constructs a temporary file object.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getDescriptor()
Accessor
|
java.lang.String |
getFilename()
Accessor
|
void |
setDescriptor(int descriptor)
Accessor.
|
void |
setFilename(java.lang.String filename)
Accessor.
|
void |
toXML(java.io.Writer stream,
java.lang.String indent,
java.lang.String namespace)
Dump the state of the current element as XML output.
|
appendValue, getValue, setValue, toStringprotected java.lang.String m_filename
protected int m_descriptor
public Temporary()
public Temporary(java.lang.String filename,
int descriptor)
filename - is the name of the file that stat was invokeddescriptor - is a valid file descriptor number.public java.lang.String getFilename()
getFilename in interface HasFilenamesetFilename(String)public void setFilename(java.lang.String filename)
setFilename in interface HasFilenamefilename - getFilename()public int getDescriptor()
getDescriptor in interface HasDescriptorsetDescriptor(int)public void setDescriptor(int descriptor)
setDescriptor in interface HasDescriptordescriptor - getDescriptor()public void toXML(java.io.Writer stream,
java.lang.String indent,
java.lang.String namespace)
throws java.io.IOException
toXML in class org.griphyn.vdl.Chimerastream - is a stream opened and ready for writing. This can also
be a string stream for efficient output.indent - is a String of spaces used for pretty
printing. The initial amount of spaces should be an empty string.
The parameter is used internally for the recursive traversal.
If a null value is specified, no indentation nor
linefeeds will be generated.namespace - is the XML schema namespace prefix. If neither
empty nor null, each element will be prefixed with this prefix,
and the root element will map the XML namespace.java.io.IOException - if something fishy happens to the stream.BufferedWriter