Uses of Class
gate.util.OptionsMap

Packages that use OptionsMap

gate	This package contains the public interface to the GATE Java API.
gate.gui
gate.gui.docview

Uses of OptionsMap in gate

Methods in gate that return OptionsMap

static OptionsMap	Gate.getOriginalUserConfig() Get the original, initialisation-time, GATE development environment configuration data (initialised from gate.xml).
static OptionsMap	Gate.getUserConfig() Get the GATE development environment configuration data (initialised from gate.xml).

Uses of OptionsMap in gate.gui

Fields in gate.gui declared as OptionsMap

protected OptionsMap	CorpusQualityAssurance.userConfig
protected static OptionsMap	OptionsDialog.userConfig

Uses of OptionsMap in gate.gui.docview

Fields in gate.gui.docview declared as OptionsMap

protected OptionsMap

OntologyClassView.userConfig