1 |
package dk.thoerup.traininfo.util; |
package dk.thoerup.traininfo.util; |
2 |
|
|
3 |
import java.util.Set; |
|
4 |
import java.util.TreeSet; |
import java.util.TreeSet; |
5 |
|
|
6 |
public class IntSet { |
public class IntSet extends TreeSet<Integer> { |
|
private Set<Integer> ints = new TreeSet<Integer>(); |
|
|
|
|
|
public boolean hasInt(int i) { |
|
|
return ints.contains(i); |
|
|
} |
|
|
|
|
|
public void add(int i) { |
|
|
ints.add(i); |
|
|
} |
|
|
|
|
|
public void remove(int i) { |
|
|
ints.remove(i); |
|
|
} |
|
7 |
|
|
8 |
|
|
9 |
|
private static final long serialVersionUID = 1L; |
10 |
|
|
11 |
public String toString() { |
public String toString() { |
12 |
StringBuffer sb = new StringBuffer(); |
StringBuffer sb = new StringBuffer(); |
13 |
|
|
14 |
for (int i : ints) { |
for (int i : this) { |
15 |
if (sb.length() > 0) { |
if (sb.length() > 0) { |
16 |
sb.append(","); |
sb.append(","); |
17 |
} |
} |
20 |
|
|
21 |
return sb.toString(); |
return sb.toString(); |
22 |
} |
} |
23 |
|
|
|
public int size() { |
|
|
return ints.size(); |
|
|
} |
|
|
|
|
24 |
public void fromString(String intStr) { |
public void fromString(String intStr) { |
25 |
ints.clear(); |
this.clear(); |
26 |
String parts[] = intStr.split(","); |
String parts[] = intStr.split(","); |
27 |
for (String istr : parts) { |
for (String istr : parts) { |
28 |
ints.add( Integer.parseInt(istr)); |
this.add( Integer.parseInt(istr)); |
29 |
} |
} |
30 |
} |
} |
31 |
|
|