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.apache.commons.lang.ArrayUtils;
19 import org.qedeq.base.utility.EqualsUtility;
20 import org.qedeq.kernel.se.base.module.ModusPonens;
21
22
23
24
25
26
27
28 public class ModusPonensVo implements ModusPonens {
29
30
31 private String reference1;
32
33
34 private String reference2;
35
36
37
38
39
40
41
42 public ModusPonensVo(final String reference1, final String reference2) {
43 this.reference1 = reference1;
44 this.reference2 = reference2;
45 }
46
47
48
49
50 public ModusPonensVo() {
51
52 }
53
54 public ModusPonens getModusPonens() {
55 return this;
56 }
57
58 public String getReference1() {
59 return reference1;
60 }
61
62
63
64
65
66
67 public void setReference1(final String reference1) {
68 this.reference1 = reference1;
69 }
70
71 public String getReference2() {
72 return reference2;
73 }
74
75
76
77
78
79
80 public void setReference2(final String reference2) {
81 this.reference2 = reference2;
82 }
83
84 public String[] getReferences() {
85 if (reference1 == null) {
86 if (reference2 == null) {
87 return ArrayUtils.EMPTY_STRING_ARRAY;
88 }
89 return new String[] {reference2 };
90 }
91 if (reference2 == null) {
92 return new String[] {reference1 };
93 }
94 return new String[] {reference1, reference2 };
95 }
96
97 public boolean equals(final Object obj) {
98 if (!(obj instanceof ModusPonens)) {
99 return false;
100 }
101 final ModusPonens other = (ModusPonens) obj;
102 return EqualsUtility.equals(getReference1(), other.getReference1())
103 && EqualsUtility.equals(getReference2(), other.getReference2());
104 }
105
106 public int hashCode() {
107 return (getReference1() != null ? getReference1().hashCode() : 0)
108 + (getReference2() != null ? 1 ^ getReference2().hashCode() : 0);
109 }
110
111 public String toString() {
112 StringBuffer result = new StringBuffer();
113 result.append(getName());
114 if (getReference1() != null || getReference2() != null) {
115 result.append(" (");
116 if (getReference1() != null) {
117 result.append(getReference1());
118 }
119 if (getReference2() != null) {
120 if (getReference1() != null) {
121 result.append(", ");
122 }
123 result.append(getReference2());
124 }
125 result.append(")");
126 }
127 return result.toString();
128 }
129
130 public String getName() {
131 return "MP";
132 }
133
134 }