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: package de.uka.ilkd.key.proof.decproc;
10:
11: import de.uka.ilkd.key.logic.Constraint;
12:
13: /** This class is just a return value
14: */
15: public class DecisionProcedureResult {
16: protected String text;
17: protected boolean result;
18: protected String notes;
19: protected Constraint constraint = Constraint.BOTTOM;
20: protected DecProcTranslation translation;
21:
22: public String getText() {
23: return text;
24: }
25:
26: public String getNotes() {
27: return notes;
28: }
29:
30: public Constraint getConstraint() {
31: return constraint;
32: }
33:
34: public boolean getResult() {
35: return result;
36: }
37:
38: public DecProcTranslation getTranslation() {
39: return translation;
40: }
41:
42: public DecisionProcedureResult(boolean b, String s, Constraint c) {
43: this (b, s, c, null);
44: }
45:
46: public DecisionProcedureResult(boolean b, String s, Constraint c,
47: DecProcTranslation tr) {
48: text = s;
49: result = b;
50: constraint = c;
51: translation = tr;
52: }
53:
54: }
|