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: /** class contains optional attributes of a Taclet.
12: */package de.uka.ilkd.key.rule;
13:
14: import de.uka.ilkd.key.logic.ListOfName;
15: import de.uka.ilkd.key.logic.Name;
16: import de.uka.ilkd.key.logic.SLListOfName;
17:
18: public class TacletAttributes {
19: private boolean noninteractive;
20:
21: private String displayName;
22: private ListOfName oldNames;
23: private String helpText;
24:
25: public TacletAttributes() {
26: this .noninteractive = false;
27: this .displayName = null;
28: this .oldNames = SLListOfName.EMPTY_LIST;
29: this .helpText = null;
30: }
31:
32: /** returns true if the <I>interactive</I> option is set */
33: public boolean noninteractive() {
34: return noninteractive;
35: }
36:
37: public String displayName() {
38: return displayName;
39: }
40:
41: public ListOfName oldNames() {
42: return oldNames;
43: }
44:
45: public String helpText() {
46: return helpText;
47: }
48:
49: /** sets an optional display name (presented to the user)
50: */
51: public void setDisplayName(String s) {
52: displayName = s;
53: }
54:
55: /** adds an old name to the list of old names
56: */
57: public void addOldName(String s) {
58: oldNames = oldNames.prepend(new Name(s));
59: }
60:
61: public void setHelpText(String s) {
62: helpText = s;
63: }
64:
65: /** sets the noninteractive flag to the given value.
66: */
67: public void setNoninteractive(boolean ni) {
68: noninteractive = ni;
69: }
70:
71: }
|