1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16 package org.qedeq.kernel.se.dto.module;
17
18 import org.qedeq.base.utility.EqualsUtility;
19 import org.qedeq.kernel.se.base.module.Conclusion;
20 import org.qedeq.kernel.se.base.module.Formula;
21
22
23
24
25
26
27
28 public class ConclusionVo implements Conclusion {
29
30
31 private String label;
32
33
34 private Formula formula;
35
36
37
38
39
40
41 public ConclusionVo(final Formula formula) {
42 this.label = null;
43 this.formula = formula;
44 }
45
46
47
48
49
50
51
52 public ConclusionVo(final String label, final Formula formula) {
53 this.label = label;
54 this.formula = formula;
55 }
56
57
58
59
60 public ConclusionVo() {
61
62 }
63
64 public Formula getFormula() {
65 return formula;
66 }
67
68
69
70
71
72
73 public void setFormula(final Formula formula) {
74 this.formula = formula;
75 }
76
77 public String getLabel() {
78 return label;
79 }
80
81
82
83
84
85
86 public void setLabel(final String label) {
87 this.label = label;
88 }
89
90 public boolean equals(final Object obj) {
91 if (!(obj instanceof ConclusionVo)) {
92 return false;
93 }
94 final ConclusionVo other = (ConclusionVo) obj;
95 return EqualsUtility.equals(label, other.label)
96 && EqualsUtility.equals(formula, other.formula);
97 }
98
99 public int hashCode() {
100 return (label != null ? label.hashCode() : 0)
101 ^ (formula != null ? 1 ^ formula.hashCode() : 0);
102 }
103
104 public String toString() {
105 return (label != null ? "[" + label + "] " : " ") + getFormula() + " "
106 + "Conclusion";
107 }
108
109 }