Uses of Class
gate.util.OptionsMap

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.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).