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:
11: package de.uka.ilkd.key.strategy;
12:
13: import de.uka.ilkd.key.logic.Name;
14:
15: public abstract class SimpleFOLOptions {
16:
17: protected final static String BASE_NAME = "Simple FOL";
18:
19: public abstract Name name();
20:
21: public boolean gamma() {
22: return false;
23: }
24:
25: public boolean test() {
26: return false;
27: }
28:
29: public static final SimpleFOLOptions FOL = new SimpleFOLOptions() {
30: public Name name() {
31: return new Name(BASE_NAME);
32: }
33:
34: public boolean gamma() {
35: return true;
36: }
37: };
38:
39: public static final SimpleFOLOptions TEST = new SimpleFOLOptions() {
40: public Name name() {
41: return new Name(BASE_NAME + " for unit test generation");
42: }
43:
44: public boolean test() {
45: return true;
46: }
47: };
48:
49: }
|