home *** CD-ROM | disk | FTP | other *** search
- package webeq3.util;
-
- import java.util.Vector;
-
- public class IntSet {
- // $FF: renamed from: v java.util.Vector
- private Vector field_0 = new Vector();
-
- public void addElement(int var1) {
- Integer var2 = new Integer(var1);
-
- for(int var3 = 0; var3 < this.field_0.size(); ++var3) {
- if (this.field_0.elementAt(var3).equals(var2)) {
- return;
- }
- }
-
- this.field_0.addElement(var2);
- }
-
- public boolean contains(int var1) {
- Integer var2 = new Integer(var1);
-
- for(int var3 = 0; var3 < this.field_0.size(); ++var3) {
- if (this.field_0.elementAt(var3).equals(var2)) {
- return true;
- }
- }
-
- return false;
- }
-
- public int size() {
- return this.field_0.size();
- }
-
- public void clear() {
- this.field_0.removeAllElements();
- }
- }
-