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.Axiom;
20 import org.qedeq.kernel.se.base.module.Formula;
21 import org.qedeq.kernel.se.base.module.FunctionDefinition;
22 import org.qedeq.kernel.se.base.module.InitialFunctionDefinition;
23 import org.qedeq.kernel.se.base.module.InitialPredicateDefinition;
24 import org.qedeq.kernel.se.base.module.LatexList;
25 import org.qedeq.kernel.se.base.module.PredicateDefinition;
26 import org.qedeq.kernel.se.base.module.Proposition;
27 import org.qedeq.kernel.se.base.module.Rule;
28
29
30
31
32
33
34
35
36 public class FunctionDefinitionVo implements FunctionDefinition {
37
38
39 private String argumentNumber;
40
41
42 private String name;
43
44
45
46
47 private String latexPattern;
48
49
50 private Formula formula;
51
52
53 private LatexList description;
54
55
56
57
58 public FunctionDefinitionVo() {
59
60 }
61
62 public Axiom getAxiom() {
63 return null;
64 }
65
66 public InitialPredicateDefinition getInitialPredicateDefinition() {
67 return null;
68 }
69
70 public PredicateDefinition getPredicateDefinition() {
71 return null;
72 }
73
74 public InitialFunctionDefinition getInitialFunctionDefinition() {
75 return null;
76 }
77
78 public FunctionDefinition getFunctionDefinition() {
79 return this;
80 }
81
82 public Proposition getProposition() {
83 return null;
84 }
85
86 public Rule getRule() {
87 return null;
88 }
89
90
91
92
93
94
95 public final void setArgumentNumber(final String argumentNumber) {
96 this.argumentNumber = argumentNumber;
97 }
98
99 public final String getArgumentNumber() {
100 return argumentNumber;
101 }
102
103
104
105
106
107
108
109 public void setName(final String name) {
110 this.name = name;
111 }
112
113 public String getName() {
114 return name;
115 }
116
117
118
119
120
121
122
123
124 public final void setLatexPattern(final String latexPattern) {
125 this.latexPattern = latexPattern;
126 }
127
128 public final String getLatexPattern() {
129 return latexPattern;
130 }
131
132 public final Formula getFormula() {
133 return formula;
134 }
135
136
137
138
139
140
141 public final void setFormula(final Formula formula) {
142 this.formula = formula;
143 }
144
145
146
147
148
149
150 public final void setDescription(final LatexListVo description) {
151 this.description = description;
152 }
153
154 public LatexList getDescription() {
155 return description;
156 }
157
158 public boolean equals(final Object obj) {
159 if (!(obj instanceof FunctionDefinition)) {
160 return false;
161 }
162 final FunctionDefinition other = (FunctionDefinition) obj;
163 return EqualsUtility.equals(getArgumentNumber(), other.getArgumentNumber())
164 && EqualsUtility.equals(getName(), other.getName())
165 && EqualsUtility.equals(getLatexPattern(), other.getLatexPattern())
166 && EqualsUtility.equals(getFormula(), other.getFormula())
167 && EqualsUtility.equals(getDescription(), other.getDescription());
168 }
169
170 public int hashCode() {
171 return (getArgumentNumber() != null ? getArgumentNumber().hashCode() : 0)
172 ^ (getName() != null ? 1 ^ getName().hashCode() : 0)
173 ^ (getLatexPattern() != null ? 2 ^ getLatexPattern().hashCode() : 0)
174 ^ (getFormula() != null ? 3 ^ getFormula().hashCode() : 0)
175 ^ (getDescription() != null ? 5 ^ getDescription().hashCode() : 0);
176 }
177
178 public String toString() {
179 final StringBuffer buffer = new StringBuffer();
180 buffer.append("Function Definition arguments=" + getArgumentNumber() + "\n");
181 buffer.append("\tname=" + getName() + "\n");
182 buffer.append("\tpattern=" + getLatexPattern() + "\n");
183 buffer.append("\formula=" + getFormula() + "\n");
184 buffer.append("\tdescription:\n" + getDescription() + "\n");
185 return buffer.toString();
186 }
187
188 }