Method getGateResource

src/main/java/gate/util/Files.java:417–421

Get a resource from the GATE resources directory. The return value is a java.net.URL that can be used to retrieve the contents of the resource. The resource name should be relative to resourcePath which is equal with gate/resources ; e.g. for a resource stored as ga

(String resourceName)

   * this method should be passed the name <TT>jape/Test11.jape</TT>.
   */
  public static URL getGateResource(String resourceName) {
    if(resourceName.startsWith("/") || resourceName.startsWith("\\") )
      return getResource(resourcePath + resourceName);
    else return getResource(resourcePath + "/" + resourceName);
  }

  /**
   * This method takes a regular expression and a directory name and returns