home *** CD-ROM | disk | FTP | other *** search
- import COM.objectspace.jgl.Array;
- import COM.objectspace.jgl.Sorting;
-
- public class ElementVector extends Array {
- static LessStringIgnoreCase sortTest = new LessStringIgnoreCase();
-
- public Object add(Object var1) {
- if (!((Array)this).contains(var1)) {
- super.add(var1);
- }
-
- return null;
- }
-
- public void removeElement(Object var1) {
- ((Array)this).remove(var1);
- }
-
- void sort() {
- Sorting.sort(this, sortTest);
- }
- }
-