public interface DropExtractor
| Modifier and Type | Method and Description |
|---|---|
void |
dropExtract(java.io.File[] files) |
void |
dropExtract(java.lang.String content) |
void |
dropExtract(java.lang.String[] urls) |
void dropExtract(java.io.File[] files)
throws TopicMapException
TopicMapExceptionvoid dropExtract(java.lang.String[] urls)
throws TopicMapException
TopicMapExceptionvoid dropExtract(java.lang.String content)
throws TopicMapException
TopicMapExceptionCopyright 2004-2015 Wandora Team