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:
12: package de.uka.ilkd.key.counterexample;
13:
14: public class Clauses {
15: private Clause clause;
16: private Clauses next;
17:
18: public Clauses() {
19: clause = null;
20: next = null;
21: }
22:
23: public Clauses(Clause c) {
24: clause = c;
25: next = null;
26: }
27:
28: public void add(Clause clause) {
29: this .add(new Clauses(clause));
30: }
31:
32: public void add(Clauses cs) {
33: if (clause != null) {
34: Clauses step = this ;
35: while (step.next != null) {
36: step = step.next;
37: }
38: step.next = cs;
39: } else {
40: this .clause = cs.getHead();
41: }
42: }
43:
44: public String toString() {
45: Clauses step = this ;
46: String s = step.getClause();
47: while (step.next != null) {
48: step = step.next;
49: s = s + step.getClause();
50: }
51: return s;
52: }
53:
54: public String getClause() {
55: return clause.toString();
56: }
57:
58: public Clause getHead() {
59: return this .clause;
60: }
61:
62: public void addComment(String comment) {
63: this .add(new Clause("", "", comment));
64: }
65:
66: }
|