Uses of Class
eu.bandm.tools.dtm.ToolOptions

Packages that use ToolOptions

Package	Description
eu.bandm.tools.dtm	Canonical model of a W3C DTD with evaluated semantics; plus utility applications.

Uses of ToolOptions in eu.bandm.tools.dtm

Fields in eu.bandm.tools.dtm declared as ToolOptions

Modifier and Type	Field	Description
ToolOptions	ToolGui.model
protected final ToolOptions	Tool.options

Methods in eu.bandm.tools.dtm that return ToolOptions

Modifier and Type	Method	Description
ToolOptions	ToolGui.getModel()
ToolOptions	ToolOptions.makeDefaultInstance()

Methods in eu.bandm.tools.dtm with parameters of type ToolOptions

Modifier and Type	Method	Description
protected void	Tool.checkOption_result(ToolOptions opt)
protected void	Tool.checkOption_source(ToolOptions opt)
protected void	HtmlRenderer.initModes(ToolOptions options)	Sets the global boolean flags etc.
protected void	HtmlRenderer.insertAlphaindex(ToolOptions options)
protected void	HtmlRenderer.insertAnalyses(ToolOptions options)
protected ToolOptions.visibility	HtmlRenderer.intern(ToolOptions options, ToolOptions.visibility optionMode)	Option still does not use enumerations.
void	HtmlRenderer.printHtml(Writer output, String dtdFileName, String outfilename, @Opt File outputdir, ToolOptions options, String cmdLineText)	Main (currently: the only) entry method after constructor call.
protected ToolOptions.visibility	HtmlRenderer.readMode(boolean present, boolean isFileInsert, boolean isAdditional, String name, ToolOptions.visibility code, ToolOptions options)	Processes on/off/onOff/offOn-switches.
void	ToolGui.set_model(ToolOptions model0)