Skip to content

Commit c0f76c2

Browse files
dhendriksdhendriks
committed
#5 @OverRide replaces 'non-Javadoc' and '@see'.
1 parent 07d65f2 commit c0f76c2

File tree

5 files changed

+0
-180
lines changed

5 files changed

+0
-180
lines changed

‎src/main/java/com/github/javabdd/BDD.java

Lines changed: 0 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -778,11 +778,6 @@ private boolean gotoNext() {
778778
}
779779
}
780780

781-
/*
782-
* (non-Javadoc)
783-
*
784-
* @see java.util.Iterator#hasNext()
785-
*/
786781
@Override
787782
public boolean hasNext() {
788783
return allsatProfile != null;
@@ -805,21 +800,11 @@ public byte[] nextSat() {
805800
return b;
806801
}
807802

808-
/*
809-
* (non-Javadoc)
810-
*
811-
* @see java.util.Iterator#next()
812-
*/
813803
@Override
814804
public byte[] next() {
815805
return nextSat();
816806
}
817807

818-
/*
819-
* (non-Javadoc)
820-
*
821-
* @see java.util.Iterator#remove()
822-
*/
823808
@Override
824809
public void remove() {
825810
throw new UnsupportedOperationException();
@@ -1015,21 +1000,11 @@ protected boolean gotoNextA() {
10151000
return false;
10161001
}
10171002

1018-
/*
1019-
* (non-Javadoc)
1020-
*
1021-
* @see java.util.Iterator#hasNext()
1022-
*/
10231003
@Override
10241004
public boolean hasNext() {
10251005
return a != null;
10261006
}
10271007

1028-
/*
1029-
* (non-Javadoc)
1030-
*
1031-
* @see java.util.Iterator#next()
1032-
*/
10331008
@Override
10341009
public BDD next() {
10351010
return nextBDD();
@@ -1166,11 +1141,6 @@ public BDD nextBDD() {
11661141
return lastReturned;
11671142
}
11681143

1169-
/*
1170-
* (non-Javadoc)
1171-
*
1172-
* @see java.util.Iterator#remove()
1173-
*/
11741144
@Override
11751145
public void remove() {
11761146
if (lastReturned == null) {
@@ -1503,11 +1473,6 @@ public double logSatCount(BDDVarSet varset) {
15031473
*/
15041474
public abstract boolean equalsBDD(BDD that);
15051475

1506-
/*
1507-
* (non-Javadoc)
1508-
*
1509-
* @see java.lang.Object#equals(java.lang.Object)
1510-
*/
15111476
@Override
15121477
public boolean equals(Object o) {
15131478
if (!(o instanceof BDD)) {
@@ -1516,19 +1481,9 @@ public boolean equals(Object o) {
15161481
return this.equalsBDD((BDD)o);
15171482
}
15181483

1519-
/*
1520-
* (non-Javadoc)
1521-
*
1522-
* @see java.lang.Object#hashCode()
1523-
*/
15241484
@Override
15251485
public abstract int hashCode();
15261486

1527-
/*
1528-
* (non-Javadoc)
1529-
*
1530-
* @see java.lang.Object#toString()
1531-
*/
15321487
@Override
15331488
public String toString() {
15341489
BDDFactory f = this.getFactory();

‎src/main/java/com/github/javabdd/BDDDomain.java

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -350,11 +350,6 @@ public int ensureCapacity(BigInteger range) {
350350
throw new BDDException("Can't add bits to domains, requested domain " + name + " upper limit " + range);
351351
}
352352

353-
/*
354-
* (non-Javadoc)
355-
*
356-
* @see java.lang.Object#toString()
357-
*/
358353
@Override
359354
public String toString() {
360355
return getName();

‎src/main/java/com/github/javabdd/BDDFactory.java

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -949,11 +949,6 @@ private ReorderMethod(int id, String name) {
949949
this.name = name;
950950
}
951951

952-
/*
953-
* (non-Javadoc)
954-
*
955-
* @see java.lang.Object#toString()
956-
*/
957952
@Override
958953
public String toString() {
959954
return name;
@@ -1343,11 +1338,6 @@ public static class GCStats {
13431338
protected GCStats() {
13441339
}
13451340

1346-
/*
1347-
* (non-Javadoc)
1348-
*
1349-
* @see java.lang.Object#toString()
1350-
*/
13511341
@Override
13521342
public String toString() {
13531343
StringBuffer sb = new StringBuffer();
@@ -1498,11 +1488,6 @@ public void resetMeasurements() {
14981488
swapCount = 0;
14991489
}
15001490

1501-
/*
1502-
* (non-Javadoc)
1503-
*
1504-
* @see java.lang.Object#toString()
1505-
*/
15061491
@Override
15071492
public String toString() {
15081493
StringBuffer sb = new StringBuffer();

‎src/main/java/com/github/javabdd/BDDVarSet.java

Lines changed: 0 additions & 90 deletions
Original file line numberDiff line numberDiff line change
@@ -176,11 +176,6 @@ public BDDDomain[] getDomains() {
176176
*/
177177
public abstract BDDVarSet intersectWith(BDDVarSet b);
178178

179-
/*
180-
* (non-Javadoc)
181-
*
182-
* @see java.lang.Object#hashCode()
183-
*/
184179
@Override
185180
public abstract int hashCode();
186181

@@ -192,11 +187,6 @@ public BDDDomain[] getDomains() {
192187
*/
193188
public abstract boolean equalsBDDVarSet(BDDVarSet that);
194189

195-
/*
196-
* (non-Javadoc)
197-
*
198-
* @see java.lang.Object#equals(java.lang.Object)
199-
*/
200190
@Override
201191
public final boolean equals(Object o) {
202192
if (o instanceof BDDVarSet) {
@@ -227,11 +217,6 @@ public DefaultImpl(BDD b) {
227217
this.b = b;
228218
}
229219

230-
/*
231-
* (non-Javadoc)
232-
*
233-
* @see com.github.javabdd.BDDVarSet#free()
234-
*/
235220
@Override
236221
public void free() {
237222
if (b != null) {
@@ -240,42 +225,22 @@ public void free() {
240225
}
241226
}
242227

243-
/*
244-
* (non-Javadoc)
245-
*
246-
* @see com.github.javabdd.BDDVarSet#getFactory()
247-
*/
248228
@Override
249229
public BDDFactory getFactory() {
250230
return b.getFactory();
251231
}
252232

253-
/*
254-
* (non-Javadoc)
255-
*
256-
* @see com.github.javabdd.BDDVarSet#id()
257-
*/
258233
@Override
259234
public BDDVarSet id() {
260235
return new DefaultImpl(b.id());
261236
}
262237

263-
/*
264-
* (non-Javadoc)
265-
*
266-
* @see com.github.javabdd.BDDVarSet#intersect(com.github.javabdd.BDDVarSet)
267-
*/
268238
@Override
269239
public BDDVarSet intersect(BDDVarSet s) {
270240
DefaultImpl i = (DefaultImpl)s;
271241
return new DefaultImpl(b.or(i.b));
272242
}
273243

274-
/*
275-
* (non-Javadoc)
276-
*
277-
* @see com.github.javabdd.BDDVarSet#intersectWith(com.github.javabdd.BDDVarSet)
278-
*/
279244
@Override
280245
public BDDVarSet intersectWith(BDDVarSet s) {
281246
DefaultImpl i = (DefaultImpl)s;
@@ -284,21 +249,11 @@ public BDDVarSet intersectWith(BDDVarSet s) {
284249
return this;
285250
}
286251

287-
/*
288-
* (non-Javadoc)
289-
*
290-
* @see com.github.javabdd.BDDVarSet#isEmpty()
291-
*/
292252
@Override
293253
public boolean isEmpty() {
294254
return b.isOne();
295255
}
296256

297-
/*
298-
* (non-Javadoc)
299-
*
300-
* @see com.github.javabdd.BDDVarSet#size()
301-
*/
302257
@Override
303258
public int size() {
304259
int result = 0;
@@ -316,11 +271,6 @@ public int size() {
316271
return result;
317272
}
318273

319-
/*
320-
* (non-Javadoc)
321-
*
322-
* @see com.github.javabdd.BDDVarSet#toArray()
323-
*/
324274
@Override
325275
public int[] toArray() {
326276
int[] result = new int[size()];
@@ -339,21 +289,11 @@ public int[] toArray() {
339289
return result;
340290
}
341291

342-
/*
343-
* (non-Javadoc)
344-
*
345-
* @see com.github.javabdd.BDDVarSet#toBDD()
346-
*/
347292
@Override
348293
public BDD toBDD() {
349294
return b.id();
350295
}
351296

352-
/*
353-
* (non-Javadoc)
354-
*
355-
* @see com.github.javabdd.BDDVarSet#toLevelArray()
356-
*/
357297
@Override
358298
public int[] toLevelArray() {
359299
int[] result = new int[size()];
@@ -372,22 +312,12 @@ public int[] toLevelArray() {
372312
return result;
373313
}
374314

375-
/*
376-
* (non-Javadoc)
377-
*
378-
* @see com.github.javabdd.BDDVarSet#union(com.github.javabdd.BDDVarSet)
379-
*/
380315
@Override
381316
public BDDVarSet union(BDDVarSet s) {
382317
DefaultImpl i = (DefaultImpl)s;
383318
return new DefaultImpl(b.and(i.b));
384319
}
385320

386-
/*
387-
* (non-Javadoc)
388-
*
389-
* @see com.github.javabdd.BDDVarSet#union(int)
390-
*/
391321
@Override
392322
public BDDVarSet union(int var) {
393323
BDD ith = b.getFactory().ithVar(var);
@@ -396,11 +326,6 @@ public BDDVarSet union(int var) {
396326
return j;
397327
}
398328

399-
/*
400-
* (non-Javadoc)
401-
*
402-
* @see com.github.javabdd.BDDVarSet#unionWith(com.github.javabdd.BDDVarSet)
403-
*/
404329
@Override
405330
public BDDVarSet unionWith(BDDVarSet s) {
406331
DefaultImpl i = (DefaultImpl)s;
@@ -409,32 +334,17 @@ public BDDVarSet unionWith(BDDVarSet s) {
409334
return this;
410335
}
411336

412-
/*
413-
* (non-Javadoc)
414-
*
415-
* @see com.github.javabdd.BDDVarSet#unionWith(int)
416-
*/
417337
@Override
418338
public BDDVarSet unionWith(int var) {
419339
b.andWith(b.getFactory().ithVar(var));
420340
return this;
421341
}
422342

423-
/*
424-
* (non-Javadoc)
425-
*
426-
* @see com.github.javabdd.BDDVarSet#hashCode()
427-
*/
428343
@Override
429344
public int hashCode() {
430345
return b.hashCode();
431346
}
432347

433-
/*
434-
* (non-Javadoc)
435-
*
436-
* @see com.github.javabdd.BDDVarSet#equals(com.github.javabdd.BDDVarSet)
437-
*/
438348
@Override
439349
public boolean equalsBDDVarSet(BDDVarSet s) {
440350
if (s instanceof DefaultImpl) {

0 commit comments

Comments
 (0)