| java.lang.Object
 de.uka.ilkd.key.util.KeYResourceManager
| KeYResourceManager | | public class KeYResourceManager (Code) | | |
| copyIfNotExists | | public boolean copyIfNotExists(Object o, String resourcename, String targetLocation)(Code) | | Copies the specified resource to targetLocation if such a file
does not exist yet.
The created file is removed automatically after finishing JAVA.
Parameters:
o - an Object the directory from where resourcenameis copied is determined by looking on the package where o.getClass()is declared
Parameters:
resourcename - String the name of the file to search (only relativepathname to the path of the calling class)
Parameters:
targetLocation - target for copying true if resource was copied |
| createImageIcon | | public ImageIcon createImageIcon(Object o, String filename)(Code) | | Creates an icon from an image contained in a resource.
The resource is fist search using the package name of the calling Object
and if it is not found there the packagename of its superclass is used
recusrivly.
Parameters:
o - the Object reference to the calling object
Parameters:
filename - String the name of the file to search (only relativepathname to the path of the calling class) the newly created image |
| createImageIcon | | public ImageIcon createImageIcon(Class cl, String filename)(Code) | | Creates an icon from an image contained in a resource.
The resource is fist search using the package name of the given class
and if the resource is not found the packagename of its superclass is used
recursivly.
Parameters:
cl - the Class the resource is looked for
Parameters:
filename - String the name of the file to search (only relativepathname to the path of the calling class) the newly created image |
| getResourceFile | | public URL getResourceFile(Class cl, String resourcename)(Code) | | loads a resource and returns its URL
Parameters:
cl - the Class used to determine the resource
Parameters:
resourcename - the String that contains the name of the resource the URL of the resource |
| getResourceFile | | public URL getResourceFile(Object o, String resourcename)(Code) | | loads a resource and returns its URL
Parameters:
o - the Object used to determine the resource
Parameters:
resourcename - the String that contains the name of the resource the URL of the resource |
| getSHA1 | | public String getSHA1()(Code) | | returns the SHA 1 git code from which this version has been
derived
returns the SHA1 hash uniquely identifying the version |
| getVersion | | public String getVersion()(Code) | | returns a readable customizable versin number
|
|
|