|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use OptionsMap | |
| gate | This package contains the public interface to the GATE Java API. |
| Uses of OptionsMap in gate |
| 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 | ||||||||||