public class XMLOutputOperator extends BaseOperator
ParametrizedOperation.ValueType
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
filename
Path to the output file/
|
protected java.lang.String[] |
paramNames |
protected ParametrizedOperation.ValueType[] |
paramTypes |
protected boolean |
produceHeader
Should we produce the XML header?
|
Constructor and Description |
---|
XMLOutputOperator() |
XMLOutputOperator(java.lang.String filename,
boolean produceHeader) |
Modifier and Type | Method and Description |
---|---|
void |
apply(AreaTree atree)
Applies the operation to the given tree.
|
void |
apply(AreaTree atree,
Area root)
Applies the operation to the given subtree of the tree.
|
java.lang.String |
colorString(java.lang.String spec)
Converts the CSS specification rgb(r,g,b) to #rrggbb
|
void |
dumpTo(AreaTree tree,
java.io.PrintWriter out)
Formats the complete tag tree to an output stream
|
java.lang.String |
getDescription()
Obtains a longer description of the service.
|
java.lang.String |
getFilename() |
java.lang.String |
getId()
Obtains a unique ID of the service
|
java.lang.String |
getName()
Obtains a descriptive name of the service that may be presented to the user.
|
java.lang.String[] |
getParamNames()
Obtains a list of available parameter names of the operation.
|
ParametrizedOperation.ValueType[] |
getParamTypes()
Obtains a list of available parameter value types.
|
boolean |
getProduceHeader() |
void |
setFilename(java.lang.String filename) |
void |
setProduceHeader(boolean produceHeader) |
toString
getParam, getParamRange, setParam
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getParam, getParamRange, setParam
protected boolean produceHeader
protected java.lang.String filename
protected final java.lang.String[] paramNames
protected final ParametrizedOperation.ValueType[] paramTypes
public XMLOutputOperator()
public XMLOutputOperator(java.lang.String filename, boolean produceHeader)
public java.lang.String getId()
Service
public java.lang.String getName()
Service
public java.lang.String getDescription()
Service
public java.lang.String[] getParamNames()
ParametrizedOperation
public ParametrizedOperation.ValueType[] getParamTypes()
ParametrizedOperation
public boolean getProduceHeader()
public void setProduceHeader(boolean produceHeader)
public java.lang.String getFilename()
public void setFilename(java.lang.String filename)
public void apply(AreaTree atree)
AreaTreeOperator
atree
- the area tree to be modified.public void apply(AreaTree atree, Area root)
AreaTreeOperator
atree
- the area tree to be modified.root
- the root node of the affected subtree.public void dumpTo(AreaTree tree, java.io.PrintWriter out)
public java.lang.String colorString(java.lang.String spec)
spec
- the CSS color specification