⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 idfilter.java

📁 geotools的源码
💻 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 + -