Method getPlugins

src/main/java/gate/Gate.java:1114–1128

Returns information about plugin directories which provide the requested resource @param resourceClassName the class name of the resource you are interested in @return information about the directories which provide an implementation of the requested resource

(String resourceClassName)

   *         of the requested resource
   */
  public static Set<Plugin> getPlugins(String resourceClassName) {
    Set<Plugin> dirs = new HashSet<Plugin>();
    
    for (Plugin plugin: getKnownPlugins()) {
      
      
      for (ResourceInfo rInfo : plugin.getResourceInfoList()) {
        if (rInfo.resourceClassName.equals(resourceClassName)) {
          dirs.add(plugin);
        }
      }
    }
    
    return dirs;
  }

  /**
   * Tells the system to &quot;forget&quot; about one previously known