| java.lang.Object
 de.uka.ilkd.key.util.install.KeYInstaller
All known Subclasses: de.uka.ilkd.key.util.install.KeYInstallerUI,
| KeYInstaller | | abstract public class KeYInstaller (Code) | | This class is an abstract installer for the binary version of KeY. The
installer UI itself is realised in subclasses in order to support
a graphical and a command line interface.
|
| binaryPath | | public String binaryPath()(Code) | | returns subdirectory where to put the (shell) scripts
|
| checkLibraries | | public String[] checkLibraries()(Code) | | Checks if libraries are found in the keyLib directory
and returns a list of missing files
|
| comment | | protected String comment(String comment)(Code) | | creates a comment with the given content
for the installation OS
|
| configPath | | public String configPath()(Code) | | returns directory where to put the config files
|
| environment | | protected String environment()(Code) | | creates preamble in script setting the environment variables
|
| extractFromJar | | public void extractFromJar(String entrypath, String writetopath, String filename, JarFile jarFile) throws KeYInstallerException(Code) | | Extracts files from the key/program jar-archive.
Parameters:
entryname - name of the file in the jar
Parameters:
filename - name to be copied to. |
| javaHome | | public String javaHome()(Code) | | returns directory of JAVA_HOME
|
| javaHome | | public void javaHome(String dir)(Code) | | sets directory of JAVA_HOME
|
| keyHome | | public String keyHome()(Code) | | returns directory of KEY_HOME
|
| keyHome | | public void keyHome(String dir)(Code) | | sets directory of KEY_HOME
|
| keyJarFile | | public String keyJarFile()(Code) | | returns file where to find key.jar
|
| keyJarPath | | public String keyJarPath()(Code) | | returns directory where to find key.jar
|
| keyJarPath | | public void keyJarPath(String dir)(Code) | | sets directory where to find key.jar
|
| keyLib | | public String keyLib()(Code) | | returns directory of KEY_LIB
|
| keyLib | | public void keyLib(String dir)(Code) | | sets directory of KEY_LIB
|
| keyextjarsPath | | public String keyextjarsPath()(Code) | | returns directory where to put the system
libraries ( per default )
|
| keypatternsPath | | public String keypatternsPath()(Code) | | returns subdirectory where to put the patterns
|
| keyscriptsPath | | public String keyscriptsPath()(Code) | | returns directory where to put the keyscripts
|
| libs | | public String[] libs()(Code) | | returns the names of the required libraries
|
| mkdirs | | public void mkdirs()(Code) | | creates directory structure as used by key
|
| os | | public void os(String os)(Code) | | sets os; has to be one of supportedOS
|
| start | | abstract public void start()(Code) | | entry method
|
| startProverScriptFileName | | protected String startProverScriptFileName()(Code) | | |
| startProverScriptFilePath | | protected String startProverScriptFilePath()(Code) | | |
| startProverScriptPatternName | | protected String startProverScriptPatternName()(Code) | | |
| startProverScriptPatternPath | | protected String startProverScriptPatternPath()(Code) | | |
| startScriptFileName | | protected String startScriptFileName()(Code) | | |
| startScriptFilePath | | protected String startScriptFilePath()(Code) | | |
| startScriptPatternName | | protected String startScriptPatternName()(Code) | | |
| startScriptPatternPath | | protected String startScriptPatternPath()(Code) | | |
| supportedOS | | public String[] supportedOS()(Code) | | returns list of all supported os
|
| supportedTgVersion | | public String[] supportedTgVersion()(Code) | | returns list of all supported together version
|
| systemPath | | public String systemPath()(Code) | | returns directory where to put the system
(jar file)
|
| togetherHome | | public String togetherHome()(Code) | | returns directory of TOGETHER_HOME
|
| togetherHome | | public void togetherHome(String dir)(Code) | | sets directory of TOGETHER_HOME
|
| togetherVersion | | public String togetherVersion()(Code) | | returns directory of Together version
|
| togetherVersion | | public void togetherVersion(String vers)(Code) | | sets version of together
|
| variable | | protected String variable(String variable, String value)(Code) | | sets an envrionment variable to the given value
for the installation OS
|
|
|