Uses of Class
gate.util.OptionsMap

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