1 package org.sat4j.sat.visu;
2
3 import info.monitorenter.gui.chart.Chart2D;
4 import info.monitorenter.gui.chart.IErrorBarPolicy;
5 import info.monitorenter.gui.chart.IPointPainter;
6 import info.monitorenter.gui.chart.ITrace2D;
7 import info.monitorenter.gui.chart.ITrace2D.DistancePoint;
8 import info.monitorenter.gui.chart.ITracePainter;
9 import info.monitorenter.gui.chart.ITracePoint2D;
10
11 import java.awt.Color;
12 import java.awt.Stroke;
13 import java.beans.PropertyChangeEvent;
14 import java.beans.PropertyChangeListener;
15 import java.util.ArrayList;
16 import java.util.Arrays;
17 import java.util.Iterator;
18 import java.util.List;
19 import java.util.Set;
20
21
22
23
24
25
26
27 public class TraceComposite implements ITrace2D {
28
29 private List<ITrace2D> traces;
30
31 public TraceComposite(List<ITrace2D> traces) {
32 this.traces = traces;
33 }
34
35 public TraceComposite(ITrace2D... traces) {
36 this.traces = new ArrayList<ITrace2D>();
37 this.traces.addAll(Arrays.asList(traces));
38 }
39
40 public boolean addPoint(ITracePoint2D arg0) {
41 boolean result = true;
42 for (ITrace2D trace : this.traces) {
43 result = result && trace.addPoint(arg0);
44 }
45 return result;
46 }
47
48 public boolean addPoint(double x, double y) {
49 boolean result = true;
50 for (ITrace2D trace : this.traces) {
51 result = result && trace.addPoint(x, y);
52 }
53
54 return result;
55 }
56
57 public void propertyChange(PropertyChangeEvent evt) {
58
59
60 }
61
62 public int compareTo(ITrace2D o) {
63
64 return 0;
65 }
66
67 public void addComputingTrace(ITrace2D arg0) {
68
69
70 }
71
72 public boolean addErrorBarPolicy(IErrorBarPolicy<?> arg0) {
73
74 return false;
75 }
76
77 public boolean addPointHighlighter(IPointPainter<?> arg0) {
78
79 return false;
80 }
81
82 public void addPropertyChangeListener(String arg0,
83 PropertyChangeListener arg1) {
84
85
86 }
87
88 public boolean addTracePainter(ITracePainter<?> arg0) {
89
90 return false;
91 }
92
93 public boolean containsTracePainter(ITracePainter<?> arg0) {
94
95 return false;
96 }
97
98 public void firePointChanged(ITracePoint2D arg0, int arg1) {
99
100
101 }
102
103 public Color getColor() {
104
105 return null;
106 }
107
108 public Set<IErrorBarPolicy<?>> getErrorBarPolicies() {
109
110 return null;
111 }
112
113 public boolean getHasErrorBars() {
114
115 return false;
116 }
117
118 public String getLabel() {
119
120 return null;
121 }
122
123 public int getMaxSize() {
124
125 return 0;
126 }
127
128 public double getMaxX() {
129
130 return 0;
131 }
132
133 public double getMaxY() {
134
135 return 0;
136 }
137
138 public double getMinX() {
139
140 return 0;
141 }
142
143 public double getMinY() {
144
145 return 0;
146 }
147
148 public String getName() {
149
150 return null;
151 }
152
153 public DistancePoint getNearestPointEuclid(double arg0, double arg1) {
154
155 return null;
156 }
157
158 public DistancePoint getNearestPointManhattan(double arg0, double arg1) {
159
160 return null;
161 }
162
163 public String getPhysicalUnits() {
164
165 return null;
166 }
167
168 public String getPhysicalUnitsX() {
169
170 return null;
171 }
172
173 public String getPhysicalUnitsY() {
174
175 return null;
176 }
177
178 public Set<IPointPainter<?>> getPointHighlighters() {
179
180 return null;
181 }
182
183 public PropertyChangeListener[] getPropertyChangeListeners(String arg0) {
184
185 return null;
186 }
187
188 public Chart2D getRenderer() {
189
190 return null;
191 }
192
193 public int getSize() {
194
195 return 0;
196 }
197
198 public Stroke getStroke() {
199
200 return null;
201 }
202
203 public Set<ITracePainter<?>> getTracePainters() {
204
205 return null;
206 }
207
208 public Integer getZIndex() {
209
210 return null;
211 }
212
213 public boolean isEmpty() {
214
215 return false;
216 }
217
218 public boolean isVisible() {
219
220 return false;
221 }
222
223 public Iterator<ITracePoint2D> iterator() {
224
225 return null;
226 }
227
228 public Set<IPointPainter<?>> removeAllPointHighlighters() {
229
230 return null;
231 }
232
233 public void removeAllPoints() {
234
235
236 }
237
238 public boolean removeComputingTrace(ITrace2D arg0) {
239
240 return false;
241 }
242
243 public boolean removeErrorBarPolicy(IErrorBarPolicy<?> arg0) {
244
245 return false;
246 }
247
248 public boolean removePoint(ITracePoint2D arg0) {
249
250 return false;
251 }
252
253 public boolean removePointHighlighter(IPointPainter<?> arg0) {
254
255 return false;
256 }
257
258 public void removePropertyChangeListener(PropertyChangeListener arg0) {
259
260
261 }
262
263 public void removePropertyChangeListener(String arg0,
264 PropertyChangeListener arg1) {
265
266
267 }
268
269 public boolean removeTracePainter(ITracePainter<?> arg0) {
270
271 return false;
272 }
273
274 public void setColor(Color arg0) {
275
276
277 }
278
279 public Set<IErrorBarPolicy<?>> setErrorBarPolicy(IErrorBarPolicy<?> arg0) {
280
281 return null;
282 }
283
284 public void setName(String arg0) {
285
286
287 }
288
289 public void setPhysicalUnits(String arg0, String arg1) {
290
291
292 }
293
294 public Set<IPointPainter<?>> setPointHighlighter(IPointPainter<?> arg0) {
295
296 return null;
297 }
298
299 public void setRenderer(Chart2D arg0) {
300
301
302 }
303
304 public void setStroke(Stroke arg0) {
305
306
307 }
308
309 public Set<ITracePainter<?>> setTracePainter(ITracePainter<?> arg0) {
310
311 return null;
312 }
313
314 public void setVisible(boolean arg0) {
315
316
317 }
318
319 public void setZIndex(Integer arg0) {
320
321
322 }
323
324 public boolean showsErrorBars() {
325
326 return false;
327 }
328
329 public boolean showsNegativeXErrorBars() {
330
331 return false;
332 }
333
334 public boolean showsNegativeYErrorBars() {
335
336 return false;
337 }
338
339 public boolean showsPositiveXErrorBars() {
340
341 return false;
342 }
343
344 public boolean showsPositiveYErrorBars() {
345
346 return false;
347 }
348
349 }