Method deleteResource

src/main/java/gate/Factory.java:463–471

Delete an instance of a resource. This involves removing it from the stack of instantiations maintained by this resource type's resource data. Deletion does not guarantee that the resource will become a candidate for garbage collection, just that the GATE framework is no longer holding references to

(Resource resource)

   * @param resource the resource to be deleted.
   */
  public static void deleteResource(Resource resource) {
    ResourceData rd =
            Gate.getCreoleRegister().get(resource.getClass().getName());
    if(rd != null && rd.removeInstantiation(resource)) {
      creoleProxy.fireResourceUnloaded(new CreoleEvent(resource,
              CreoleEvent.RESOURCE_UNLOADED));
      resource.cleanup();
    }
  } // deleteResource

  /** Create a new transient Corpus. */
  public static Corpus newCorpus(String name)