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

📄 elementlib.java

📁 由国外的一个著名的geonetwork修改而来
💻 JAVA
字号:
//=============================================================================//===	Copyright (C) 2001-2005 Food and Agriculture Organization of the//===	United Nations (FAO-UN), United Nations World Food Programme (WFP)//===	and United Nations Environment Programme (UNEP)//===//===	This program is free software; you can redistribute it and/or modify//===	it under the terms of the GNU General Public License as published by//===	the Free Software Foundation; either version 2 of the License, or (at//===	your option) any later version.//===//===	This program is distributed in the hope that it will be useful, but//===	WITHOUT ANY WARRANTY; without even the implied warranty of//===	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU//===	General Public License for more details.//===//===	You should have received a copy of the GNU General Public License//===	along with this program; if not, write to the Free Software//===	Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA//===//===	Contact: Jeroen Ticheler - FAO - Viale delle Terme di Caracalla 2,//===	Rome - Italy. email: GeoNetwork@fao.org//==============================================================================package org.fao.geonet.lib;import java.util.ArrayList;import java.util.HashSet;import java.util.Set;import org.jdom.Element;//=============================================================================public class ElementLib{	//-----------------------------------------------------------------------------	//---	//--- API methods	//---	//-----------------------------------------------------------------------------	public Set<String> getIds(Element elem)	{		HashSet<String> hs = new HashSet<String>();		for (Object child : elem.getChildren())			hs.add(((Element) child).getChildText("id"));		return hs;	}	//-----------------------------------------------------------------------------	public Element pruneChildren(Element elem, Set<String> ids)	{		ArrayList<Element> alToPrune = new ArrayList<Element>();		//--- collect elements to prune		for (Object obj : elem.getChildren())		{			Element child = (Element) obj;			String id = child.getChildText("id");			if (!ids.contains(id))				alToPrune.add(child);		}		//--- remove collected elements		for (Element child : alToPrune)			child.detach();		return elem;	}}//=============================================================================

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -