Method getResource

src/main/java/gate/util/Files.java:388–406

Get a resource from the GATE ClassLoader. The return value is a java.net.URL that can be used to retrieve the contents of the resource.

(String resourceName)

   * resource.
   */
  public static URL getResource(String resourceName) {
    // Strip any leading '/'
    if(resourceName.charAt(0) == '/') {
      resourceName = resourceName.substring(1);
    }

    ClassLoader gcl = Gate.getClassLoader();
    if(gcl == null) {
      // if the GATE ClassLoader has not been initialised yet (i.e. this
      // method was called before Gate.init) then fall back to the current
      // classloader
      return Files.class.getClassLoader().getResource(resourceName);
    }
    else {
      // if we can, get the resource through the GATE ClassLoader to allow
      // loading of resources from plugin JARs as well as gate.jar
      return gcl.getResource(resourceName);
    }
  }

  /**
   * Get a resource from the GATE resources directory.  The return value is a