gate.corpora
Class DatabaseDocumentImpl.EventsHandler

java.lang.Object
  gate.corpora.DatabaseDocumentImpl.EventsHandler

All Implemented Interfaces:

FeatureMapListener, EventListener

Enclosing class:

DatabaseDocumentImpl

 class DatabaseDocumentImpl.EventsHandler
extends Object
implements FeatureMapListener

All the events from the features are handled by this inner class.

Constructor Summary

DatabaseDocumentImpl.EventsHandler()

Method Summary

void	featureMapUpdated() Called when a feature map has been updated

Methods inherited from class java.lang.Object

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

Constructor Detail

DatabaseDocumentImpl.EventsHandler

DatabaseDocumentImpl.EventsHandler()

Method Detail

featureMapUpdated

public void featureMapUpdated()

Description copied from interface: FeatureMapListener

Called when a feature map has been updated

Specified by:

featureMapUpdated in interface FeatureMapListener