rasmus.interpreter.io
Class Resource
java.lang.Object
rasmus.interpreter.io.Resource
public class Resource
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Resource
public Resource(ResourceManager manager,
java.lang.String path,
java.io.File file)
Resource
public Resource(ResourceManager manager,
java.lang.String path,
java.io.File file,
boolean stored)
clone
public Resource clone(ResourceManager manager)
getManager
public ResourceManager getManager()
getPath
public java.lang.String getPath()
getFile
public java.io.File getFile()
checkout
protected void checkout()
close
public void close()