Method initConfigData

src/main/java/gate/Gate.java:542–586

Reads config data ( gate.xml files). There are three sorts of these files: The builtin file from GATE's resources - this is read first. A site-wide init file given as a command-line argument or as a gate.config property - this is read second. The user's file from

()

   * simply overwrite the previous settings.
   */
  public static void initConfigData() throws GateException {
    ConfigDataProcessor configProcessor = new ConfigDataProcessor();
    URL configURL;

    // parse the site configuration file    
    if (siteConfigFile != null && siteConfigFile.exists()) {
    	//TODO should we set this to something sensible when we init paths now there is no gate home?
	    
	    try {
	      configURL = siteConfigFile.toURI().toURL();
	    }
	    catch(MalformedURLException mue) {
	      // this should never happen
	      throw new GateRuntimeException(mue);
	    }
	    try (InputStream configStream = new FileInputStream(siteConfigFile)) {
	      configProcessor.parseConfigFile(configStream, configURL);
	    }
	    catch(IOException e) {
	      throw new GateException("Couldn't open site configuration file: "
	        + configURL + " " + e);
	    }
    }

    // parse the user configuration data if present
    if(userConfigFile != null && userConfigFile.exists()) {
      try {
        configURL = userConfigFile.toURI().toURL();
      }
      catch(MalformedURLException mue) {
        // this should never happen
        throw new GateRuntimeException(mue);
      }
      try (InputStream configStream = new FileInputStream(userConfigFile)) {
        configProcessor.parseConfigFile(configStream, configURL);
      }
      catch(IOException e) {
        throw new GateException("Couldn't open user configuration file: "
          + configURL + " " + e);
      }
    }

    // remember the init-time config options
    originalUserConfig.putAll(userConfig);
  } // initConfigData()

  private static int lastSym;