edu.gwu.wordnet
Class Pointer.TargetIndex

java.lang.Object
  edu.gwu.wordnet.Pointer.TargetIndex

Enclosing class:

Pointer

protected class Pointer.TargetIndex

extends java.lang.Object

This class is used to avoid paging in the target before it is required, and to prevent keeping a large portion of the database resident once the target has been queried.

Methods inherited from class java.lang.Object

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