public class Ignore extends Invocation implements HasText
StatCall
,
Serialized FormConstructor and Description |
---|
Ignore()
Default c'tor.
|
Ignore(java.lang.String value)
Constructs a piece of data.
|
Modifier and Type | Method and Description |
---|---|
void |
appendValue(java.lang.String fragment)
Appends a piece of text to the existing text.
|
java.lang.String |
getValue()
Accessor
|
void |
setValue(java.lang.String value)
Accessor.
|
void |
toString(java.io.Writer stream)
Converts the active state into something meant for human consumption.
|
void |
toXML(java.io.Writer stream,
java.lang.String indent,
java.lang.String namespace)
Dump the state of the current element as XML output.
|
public Ignore()
public Ignore(java.lang.String value)
value
- is the data to remember. The string may be empty,
but it must not be null
.java.lang.NullPointerException
- if the argument was null.public void appendValue(java.lang.String fragment)
appendValue
in interface HasText
fragment
- is a piece of text to append to existing text.
Appending null
is a noop.public java.lang.String getValue()
getValue
in interface HasText
setValue(String)
public void setValue(java.lang.String value)
setValue
in interface HasText
value
- is the new value to set.getValue()
public void toString(java.io.Writer stream) throws java.io.IOException
toString
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.java.io.IOException
- if something fishy happens to the stream.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