|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OptionsMap | |
gate |
Uses of OptionsMap in gate |
Fields in gate declared as OptionsMap | |
private static OptionsMap |
Gate.userConfig
GATE development environment configuration data (stored in gate.xml). |
private static OptionsMap |
Gate.originalUserConfig
This map stores the init-time config data in case we need it later. |
Methods in gate that return OptionsMap | |
static OptionsMap |
Gate.getUserConfig()
Get the GATE development environment configuration data (initialised from gate.xml). |
static OptionsMap |
Gate.getOriginalUserConfig()
Get the original, initialisation-time, GATE development environment configuration data (initialised from gate.xml). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |