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

Fields in gate declared as OptionsMap

private static OptionsMap	Gate.originalUserConfig This map stores the init-time config data in case we need it later.
private static OptionsMap	Gate.userConfig GATE development environment configuration data (stored in gate.xml).

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