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, toString
protected 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 HasFilename
setFilename(String)
public void setFilename(java.lang.String filename)
setFilename
in interface HasFilename
filename
- getFilename()
public int getDescriptor()
getDescriptor
in interface HasDescriptor
setDescriptor(int)
public void setDescriptor(int descriptor)
setDescriptor
in interface HasDescriptor
descriptor
- 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.Chimera
stream
- 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