| java.lang.Object
 de.uka.ilkd.key.util.make.Config
| Config | | public class Config (Code) | | |
| SIMPLIFY_PATH_FILE | | public static File SIMPLIFY_PATH_FILE(Code) | | |
| SIMPLIFY_PATH_KEY | | final public static String SIMPLIFY_PATH_KEY(Code) | | |
| getResourceFile | | public static 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 |
| main | | public static void main(String args)(Code) | | args[0] contains the file with the config infromation
args[1] if dev use development templates else dist templates
|
|
|