📄 idfilter.java
字号:
package uk.ac.leeds.ccg.geotools;
import uk.ac.leeds.ccg.geotools.*;
import java.util.*;
public class IDFilter extends uk.ac.leeds.ccg.geotools.SimpleFilter
{
Vector list;
NullShape idObj = new NullShape(0);
public boolean isVisible(int id)
{
synchronized(idObj){
idObj.setID(id);
if(list.contains(idObj)){
return false;
}
return true;
}
}
public synchronized void setIsVisible(int id,boolean visible){
Integer i = new Integer(id);
if(visible && list.contains(i)){
list.removeElement(i);
return;
}
if(!visible && !list.contains(i)){
list.addElement(i);
return;
}
}
public Object clone() {
IDFilter c = new IDFilter();
for(int i=0;i<list.size();i++){
Integer id = (Integer)list.elementAt(i);
c.setIsVisible(id.intValue(),false);
}
return c;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -