📄 multiidsetmanager.java
字号:
/**
* Description: manage multi IDSet, in order to distinguish repeated IDSet
*
* @ Author Create/Modi Note
* Xiaofeng Xie Jun 06, 2005
*
*/
package Global.methods;
import java.util.*;
public class MultiIDSetManager {
private Vector idSetGroup = new Vector();
public int[] getIDSetAt(int index) {
return (int[])idSetGroup.elementAt(index);
}
public int getSize() {
return idSetGroup.size();
}
public void clear() {
idSetGroup.clear();
}
public boolean setElement(int[] idSet) {
if (idSet==null||idSet.length==0) {
return false;
}
int index = getIndex(idSet);
if (index==-1) {
idSetGroup.add(idSet);
return true;
}
return false;
}
private int getIndex(int[] idSet) {
int size = getSize();
for (int i=0; i<size; i++) {
if (ArraySet.isDualContain(getIDSetAt(i), idSet)) {
return i;
}
}
return -1;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -