org.jpc.engine.embedded.database

Class IndexManager

java.lang.Object

org.jpc.engine.embedded.database.IndexManager

Direct Known Subclasses:

MutableIndexManager

public class IndexManager
extends Object

A manager of term indexes. In the current implementation, indexes can only be defined for compounds having ground functor names.

Author:

sergioc

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<Functor,List<IndexDescriptor>>	functorIndexes

Constructor Summary

Constructors

Constructor and Description
IndexManager()
IndexManager(Map<Functor,List<IndexDescriptor>> functorIndexes)

Method Summary

Modifier and Type	Method and Description
protected static void	checkIndexableFunctor(Functor functor)
List<IndexDescriptor>	getIndexDescriptors(Functor functor)
List<IndexDescriptor>	getOrCreateIndexDescriptors(Functor functor)
static IndexManager	getSystemIndexManager()
static boolean	isIndexable(Functor functor)

Methods inherited from class java.lang.Object

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

Field Detail

functorIndexes

protected final Map<Functor,List<IndexDescriptor>> functorIndexes

Constructor Detail

IndexManager

public IndexManager()

IndexManager

public IndexManager(Map<Functor,List<IndexDescriptor>> functorIndexes)

Method Detail

getSystemIndexManager

public static IndexManager getSystemIndexManager()

checkIndexableFunctor

protected static void checkIndexableFunctor(Functor functor)

isIndexable

public static boolean isIndexable(Functor functor)

getIndexDescriptors

public List<IndexDescriptor> getIndexDescriptors(Functor functor)

getOrCreateIndexDescriptors

public List<IndexDescriptor> getOrCreateIndexDescriptors(Functor functor)