001: // This file is part of KeY - Integrated Deductive Software Design
002: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
003: // Universitaet Koblenz-Landau, Germany
004: // Chalmers University of Technology, Sweden
005: //
006: // The KeY system is protected by the GNU General Public License.
007: // See LICENSE.TXT for details.
008: //
009: //
010: package de.uka.ilkd.key.util.install;
011:
012: import javax.swing.JPanel;
013:
014: /** The installer frame consists of a header, the content pane and a
015: * button panel. This content pane is an instance of this class.
016: */
017:
018: public abstract class InstallationPane extends JPanel {
019:
020: private String name;
021: private KeYInstaller installer;
022:
023: public InstallationPane(String name, KeYInstaller installer) {
024: this .name = name;
025: this .installer = installer;
026: setRequestFocusEnabled(true);
027: }
028:
029: public String keyHome() {
030: return installer.keyHome();
031: }
032:
033: public String keyLib() {
034: return installer.keyLib();
035: }
036:
037: public String togetherHome() {
038: return installer.togetherHome();
039: }
040:
041: public void keyHome(String dir) {
042: installer.keyHome(dir);
043: }
044:
045: public void keyLib(String dir) {
046: installer.keyLib(dir);
047: }
048:
049: public void togetherHome(String dir) {
050: installer.togetherHome(dir);
051: }
052:
053: /**
054: * returns path where to find key.jar
055: */
056: public String keyJarPath() {
057: return installer.keyJarPath();
058: }
059:
060: /**
061: * returns complete path to find key.jar
062: */
063: public String keyJarFile() {
064: return installer.keyJarFile();
065: }
066:
067: public String[] supportedOS() {
068: return installer.supportedOS();
069: }
070:
071: public String os() {
072: return installer.os();
073: }
074:
075: public void os(String os) {
076: installer.os(os);
077: }
078:
079: /**
080: * returns directory of Together version
081: */
082: public String togetherVersion() {
083: return installer.togetherVersion();
084: }
085:
086: /**
087: * returns list of all supported together version
088: */
089: public String[] supportedTgVersion() {
090: return installer.supportedTgVersion();
091: }
092:
093: /**
094: * sets version of together
095: */
096: public void togetherVersion(String vers) {
097: installer.togetherVersion(vers);
098: }
099:
100: /**
101: * sets path where to find key.jar
102: */
103: public void keyJarPath(String dir) {
104: installer.keyJarPath(dir);
105: }
106:
107: public abstract boolean updateModel();
108:
109: public String name() {
110: return name;
111: }
112:
113: }
|