public class GDLDumper extends LinguistDumper
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROP_DUMP_ARC_LABELS
The property to specify whether to dump arc labels.
|
static java.lang.String |
PROP_SKIP_HMMS
The property specifying whether to skip HMMs during dumping.
|
static java.lang.String |
PROP_VERTICAL_LAYOUT
The property to specify whether to use vertical graph layout.
|
PROP_FILENAME
PROP_LINGUIST
Constructor and Description |
---|
GDLDumper() |
GDLDumper(java.lang.String filename,
Linguist linguist,
boolean verticalLayout,
boolean skipHMMs,
boolean dumpArcLabels) |
Modifier and Type | Method and Description |
---|---|
protected void |
dumpArc(java.io.PrintStream out,
SearchState from,
SearchStateArc arc,
int level)
Dumps an arc
|
protected void |
endDump(java.io.PrintStream out)
Called at the end of the dump
|
protected void |
endDumpNode(java.io.PrintStream out,
SearchState state,
int level)
Called to dump out a node in the search space
|
protected java.lang.String |
getDefaultName()
Retreives the default name for the destination dump.
|
void |
newProperties(PropertySheet ps)
This method is called when this configurable component needs to be reconfigured.
|
protected void |
startDump(java.io.PrintStream out)
Called at the start of the dump
|
protected void |
startDumpNode(java.io.PrintStream out,
SearchState state,
int level)
Called to dump out a node in the search space
|
run, setDepthFirst
getLinguist, getName
@S4Boolean(defaultValue=true) public static final java.lang.String PROP_SKIP_HMMS
@S4Boolean(defaultValue=false) public static final java.lang.String PROP_VERTICAL_LAYOUT
@S4Boolean(defaultValue=true) public static final java.lang.String PROP_DUMP_ARC_LABELS
public GDLDumper(java.lang.String filename, Linguist linguist, boolean verticalLayout, boolean skipHMMs, boolean dumpArcLabels)
public GDLDumper()
public void newProperties(PropertySheet ps) throws PropertyException
Configurable
newProperties
in interface Configurable
newProperties
in class LinguistDumper
ps
- a property sheet holding the new dataPropertyException
- if there is a problem with the properties.protected java.lang.String getDefaultName()
protected void startDump(java.io.PrintStream out)
startDump
in class LinguistDumper
out
- the output stream.protected void endDump(java.io.PrintStream out)
endDump
in class LinguistDumper
out
- the output stream.protected void startDumpNode(java.io.PrintStream out, SearchState state, int level)
startDumpNode
in class LinguistDumper
out
- the output stream.state
- the state to dumplevel
- the level of the stateprotected void endDumpNode(java.io.PrintStream out, SearchState state, int level)
endDumpNode
in class LinguistDumper
out
- the output stream.state
- the state to dumplevel
- the level of the stateprotected void dumpArc(java.io.PrintStream out, SearchState from, SearchStateArc arc, int level)
dumpArc
in class LinguistDumper
out
- the output stream.from
- arc leaves this statearc
- the arc to dumplevel
- the level of the state