public class Tool extends Object
DTD
s.
Creates either (dynamic) xhtml, including svg for import graphs,
or plain dtd text, for further processing, or analyses' results
as xml or plain text.
Can be run be command line or interactively.Modifier and Type | Class and Description |
---|---|
protected class |
Tool.MyGui |
Modifier and Type | Field and Description |
---|---|
String |
generationDescription |
protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> |
msg |
protected MessageCounter<SimpleMessage<XMLDocumentIdentifier>> |
msg_c |
protected MessagePrinter<SimpleMessage<XMLDocumentIdentifier>> |
msg_p |
protected MessageStore<SimpleMessage<XMLDocumentIdentifier>> |
msg_s |
static String |
NAME_PROGRAM |
static String |
NAME_VERSION |
protected ToolOptions |
options |
Constructor and Description |
---|
Tool() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkOption_result(ToolOptions opt) |
protected void |
checkOption_source(ToolOptions opt) |
protected boolean |
hasErrors() |
protected void |
log(String text) |
static void |
main(String[] args) |
void |
nonStatic_main(String[] args) |
void |
renderToHtml() |
protected void |
runGui() |
public static final String NAME_PROGRAM
public static final String NAME_VERSION
public String generationDescription
protected final ToolOptions options
protected final MessagePrinter<SimpleMessage<XMLDocumentIdentifier>> msg_p
protected final MessageCounter<SimpleMessage<XMLDocumentIdentifier>> msg_c
protected final MessageStore<SimpleMessage<XMLDocumentIdentifier>> msg_s
protected final MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg
protected void checkOption_source(ToolOptions opt)
protected void checkOption_result(ToolOptions opt)
protected boolean hasErrors()
protected void log(String text)
public void renderToHtml()
protected void runGui()
public void nonStatic_main(String[] args)
public static void main(String[] args)
see also the complete user documentation .