rasmus.interpreter.io
Class ResourceManager

java.lang.Object
  extended by rasmus.interpreter.io.ResourceManager

public class ResourceManager
extends java.lang.Object


Field Summary
protected  java.util.Hashtable<java.lang.String,Resource> resources
           
 
Constructor Summary
ResourceManager()
           
 
Method Summary
static ResourceManager getInstance(NameSpace namespace)
           
static java.lang.String getMimeTypeExtension(java.lang.String mimetype)
           
 Resource getResource(java.lang.String path)
           
 java.util.Collection<Resource> getResources()
           
 void importResource(java.lang.String path, java.io.File file)
           
 void importResources(ResourceManager manager)
           
static boolean isURL(java.lang.String url)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

resources

protected java.util.Hashtable<java.lang.String,Resource> resources
Constructor Detail

ResourceManager

public ResourceManager()
Method Detail

getInstance

public static ResourceManager getInstance(NameSpace namespace)

getResources

public java.util.Collection<Resource> getResources()

getResource

public Resource getResource(java.lang.String path)

isURL

public static boolean isURL(java.lang.String url)

getMimeTypeExtension

public static java.lang.String getMimeTypeExtension(java.lang.String mimetype)
                                             throws java.io.IOException
Throws:
java.io.IOException

importResource

public void importResource(java.lang.String path,
                           java.io.File file)

importResources

public void importResources(ResourceManager manager)