01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10: package de.uka.ilkd.key.proof.init;
11:
12: import de.uka.ilkd.key.gui.configuration.LibrariesSettings;
13: import de.uka.ilkd.key.gui.configuration.ProofSettings;
14:
15: /**
16: * A simple EnvInput which includes default rules and a Java path.
17: */
18: public class DefaultEnvInput implements EnvInput {
19:
20: private final String name;
21: private final String javaPath;
22: protected InitConfig initConfig;
23:
24: //-------------------------------------------------------------------------
25: //constructors
26: //-------------------------------------------------------------------------
27:
28: public DefaultEnvInput(String name, String javaPath) {
29: this .name = name;
30: this .javaPath = javaPath;
31: }
32:
33: //-------------------------------------------------------------------------
34: //public interface
35: //-------------------------------------------------------------------------
36:
37: public String name() {
38: return name;
39: }
40:
41: public int getNumberOfChars() {
42: return 1;
43: }
44:
45: public void setInitConfig(InitConfig initConfig) {
46: this .initConfig = initConfig;
47: }
48:
49: public Includes readIncludes() throws ProofInputException {
50: assert initConfig != null;
51: return new Includes();
52: }
53:
54: public LibrariesSettings readLibrariesSettings()
55: throws ProofInputException {
56: return ProofSettings.DEFAULT_SETTINGS.getLibrariesSettings();
57: }
58:
59: public String readJavaPath() throws ProofInputException {
60: return javaPath;
61: }
62:
63: public void read(ModStrategy mod) throws ProofInputException {
64: //nothing to do
65: }
66: }
|