io.georocket.index.xml

Class GmlIdIndexer

java.lang.Object

io.georocket.index.xml.GmlIdIndexer

All Implemented Interfaces:

io.georocket.index.Indexer, io.georocket.index.xml.StreamIndexer<io.georocket.util.XMLStreamEvent>, io.georocket.index.xml.XMLIndexer

public class GmlIdIndexer
extends java.lang.Object
implements io.georocket.index.xml.XMLIndexer

Indexes GML IDs

Author:

Michel Kraemer

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<java.lang.String>	ids

Constructor Summary

Constructors

Constructor and Description
GmlIdIndexer()

Method Summary

Modifier and Type	Method and Description
java.util.Map<java.lang.String,java.lang.Object>	getResult()
void	onEvent(io.georocket.util.XMLStreamEvent event)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ids

protected java.util.Set<java.lang.String> ids

Constructor Detail

GmlIdIndexer

public GmlIdIndexer()

Method Detail

onEvent

public void onEvent(io.georocket.util.XMLStreamEvent event)

Specified by:

onEvent in interface io.georocket.index.xml.StreamIndexer<io.georocket.util.XMLStreamEvent>

getResult

public java.util.Map<java.lang.String,java.lang.Object> getResult()

Specified by:

getResult in interface io.georocket.index.Indexer