List of closeResource() Examples

Examples of closeResource()

de.tuclausthal.informatik.winf.mobileagents.resource.ResourceProvider.closeResource()
Closes a resource and frees all handles and other resources associated with it. After closing, the resource must not be used anymore. @param res resource to be closed

Examples of de.tuclausthal.informatik.winf.mobileagents.resource.ResourceProvider.closeResource()

    if (!this.agentInfo.getResourceList().hasResource(resource))
      return;


    ResourceProvider rp =
      ResourceManager.getInstance().getResourceProvider(resource);
    rp.closeResource(resource);
  }


  /**
   * <p>Relocates the <code>Agent</code> to the given host.</p>
   *

View Full Code Here

Examples of de.tuclausthal.informatik.winf.mobileagents.resource.ResourceProvider.closeResource()

  public void closeResource(Resource r)
  {
    if(this.resources.contains(r))
    {
      ResourceProvider p = ResourceManager.getInstance().getResourceProvider(r);
      p.closeResource(r);
      this.resources.remove(r);
    } else
    {
      throw new RuntimeException("This resource does not exist in this ResourceList!");
    }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.