home *** CD-ROM | disk | FTP | other *** search
- package java.util;
-
- class Vector$1 implements Enumeration {
- int count;
- // $FF: synthetic field
- private final Vector this$0;
-
- Vector$1(Vector var1) {
- this.this$0 = var1;
- this.count = 0;
- }
-
- public boolean hasMoreElements() {
- return this.count < this.this$0.elementCount;
- }
-
- public Object nextElement() {
- Vector var1 = this.this$0;
- synchronized(var1) {
- if (this.count < this.this$0.elementCount) {
- Object var2 = this.this$0.elementData[this.count++];
- return var2;
- }
- }
-
- throw new NoSuchElementException("Vector Enumeration");
- }
- }
-