📄 prefetchedcursor.java
字号:
package jnicli;
import java.util.*;
import java.io.Serializable;
public class PrefetchedCursor implements Cursor, Serializable {
// Public constructor to allow instantiation of this class
public PrefetchedCursor() {}
PrefetchedCursor(DatabaseJNI db, long cursor, ClassDescriptor desc) {
long oid;
int size = db.jniGetNumberOfSelectedRecords(cursor);
objects = new Object[size];
oids = new long[size];
for (int i = 0; i < size; i++) {
oids[i] = db.jniNext(cursor);
objects[i] = db.unswizzleObject(cursor, desc);
}
db.jniCloseCursor(cursor);
}
public boolean hasMoreElements() {
return i < objects.length;
}
public Object nextElement() {
if (i >= objects.length) {
throw new NoSuchElementException();
}
return objects[i++];
}
public long getOid() {
if (i == 0) {
throw new NoSuchElementException();
}
return oids[i-1];
}
public void update() {
throw new CliException("Cursor not in update mode");
}
public int size() {
return objects.length;
}
// make this fields public in order to be accessible in JDK1.1 environment
public Object[] objects;
public long[] oids;
transient int i;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -