Package eu.bandm.tools.dtm
Class Tool
java.lang.Object
eu.bandm.tools.dtm.Tool
Collection of diverse transformations, normalizations and
automated documentation on
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.-
Nested Class Summary
-
Field Summary
Modifier and TypeFieldDescriptionprotected final MessageReceiver<SimpleMessage<@Opt XMLDocumentIdentifier>>
protected final MessageCounter
protected final MessagePrinter<SimpleMessage<@Opt XMLDocumentIdentifier>>
protected final MessageStore<SimpleMessage<@Opt XMLDocumentIdentifier>>
static final String
static final String
protected final ToolOptions
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
protected void
protected boolean
protected void
static void
void
nonStatic_main
(String[] args) void
protected void
runGui()
-
Field Details
-
NAME_PROGRAM
- See Also:
-
NAME_VERSION
- See Also:
-
generationDescription
-
options
-
msg_p
-
msg_c
-
msg_s
-
msg
-
-
Constructor Details
-
Tool
public Tool()
-
-
Method Details
-
checkOption_source
-
checkOption_result
-
hasErrors
protected boolean hasErrors() -
log
-
renderToHtml
public void renderToHtml() -
runGui
protected void runGui() -
nonStatic_main
-
main
-