Uses of Class
gate.util.OptionsMap

Packages that use OptionsMap

Package	Description
gate
gate.gui

Uses of OptionsMap in gate

Methods in gate that return OptionsMap

Modifier and Type	Method and Description
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

Modifier and Type	Field and Description
protected OptionsMap	CorpusQualityAssurance.userConfig