Uses of Class
org.javaseis.io.ExtentListEntry

Packages that use ExtentListEntry

org.javaseis.io

Uses of ExtentListEntry in org.javaseis.io

Fields in org.javaseis.io declared as ExtentListEntry

protected ExtentListEntry

ExtentManager.currentExtent

Fields in org.javaseis.io with type parameters of type ExtentListEntry

protected java.util.List<ExtentListEntry>

ExtentManager.extentList

Constructors in org.javaseis.io with parameters of type ExtentListEntry

ExtentListEntry(ExtentListEntry entry, long position)
Copy an existing extent list entry and set a search position