Method loadPlugin

src/main/java/gate/Utils.java:1255–1263

Load a plugin from the default GATE plugins directory. This will load the plugin with the specified directory name from the default GATE plugins path, if GATE knows its own location. @param dirName The directory name of the plugin within the standard GATE plugins directory.

(String dirName)

   * @param dirName The directory name of the plugin within the standard GATE plugins directory.
   */
  @Deprecated
  public static void loadPlugin(String dirName) {
    File gatehome = Gate.getGateHome();
    if(gatehome == null) {
      throw new GateRuntimeException("Cannot load Plugin, Gate home location not known");
    }
    File pluginDir = new File(new File(gatehome,"plugins"),dirName);
    loadPlugin(pluginDir);
  }
  
  /**
   * Load a plugin from the specified directory.