/* * GeoTools - The Open Source Java GIS Toolkit * http://geotools.org * * (C) 2002-2008, Open Source Geospatial Foundation (OSGeo) * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; * version 2.1 of the License. * * This library 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 * Lesser General Public License for more details. */ package org.geotools.gml3; import java.util.HashSet; /** * Holds the collection of encoded XSD ids to ensure that they're unique, therefore valid. * * @author Rini Angreani, Curtin University of Technology (with Gabriel Roldan and Justin * Deoliveira's help) * * * @source $URL$ * http://svn.osgeo.org/geotools/trunk/modules/extension/xsd/xsd-gml3/src/main/java/org * /geotools/gml3/XSDIdRegistry.java $ */ public class XSDIdRegistry { HashSet<String> ids = new HashSet<String>(); public boolean idExists(String id) { return ids.contains(id); } public void add(String id) { if (!ids.add(id)) { String msg = "Duplicate id '" + id + "' detected! XSD Ids must be unique per document."; throw new IllegalArgumentException(msg); } } }