modnlp.idx.gui
public class IndexManagerCL extends java.lang.Object implements IndexingReporter
Constructor and Description |
---|
IndexManagerCL(IndexManager p) |
Modifier and Type | Method and Description |
---|---|
void |
addIndexedFile(java.lang.String fname) |
void |
enableChoice(boolean c) |
void |
print(java.lang.String m) |
void |
removeIndexedFile(java.lang.String fname) |
public IndexManagerCL(IndexManager p)
public void print(java.lang.String m)
print
in interface IndexingReporter
public void enableChoice(boolean c)
enableChoice
in interface IndexingReporter
public void addIndexedFile(java.lang.String fname)
addIndexedFile
in interface IndexingReporter
public void removeIndexedFile(java.lang.String fname)
removeIndexedFile
in interface IndexingReporter