public interface OccurrenceStore
Modifier and Type | Interface and Description |
---|---|
static class |
OccurrenceStore.State |
static class |
OccurrenceStore.Type |
Modifier and Type | Method and Description |
---|---|
void |
addAllOccurrences(Term term,
java.util.Collection<TermOccurrence> c) |
void |
addOccurrence(Term term,
TermOccurrence e) |
void |
close() |
void |
deleteMany(TermSelector selector) |
void |
flush() |
OccurrenceStore.State |
getCurrentState() |
java.util.Collection<TermOccurrence> |
getOccurrences(Term term) |
OccurrenceStore.Type |
getStoreType() |
java.lang.String |
getUrl()
Returns the path to access the occurrence store if
this occurrence store is of type
Type#FILE ,
null otherwise. |
void |
makeIndex() |
java.util.Iterator<TermOccurrence> |
occurrenceIterator(Term term) |
void |
removeTerm(Term t)
Removes all occurrences of the term
|
java.util.Iterator<TermOccurrence> occurrenceIterator(Term term)
java.util.Collection<TermOccurrence> getOccurrences(Term term)
void addOccurrence(Term term, TermOccurrence e)
void addAllOccurrences(Term term, java.util.Collection<TermOccurrence> c)
OccurrenceStore.Type getStoreType()
void flush()
OccurrenceStore.State getCurrentState()
void makeIndex()
java.lang.String getUrl()
Type#FILE
,
null
otherwise.null
if this store is of type OccurrenceStore.Type.MEMORY
void removeTerm(Term t)
t
- void deleteMany(TermSelector selector)
void close()