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
TopicMapException
void dropExtract(java.lang.String[] urls) throws TopicMapException
TopicMapException
void dropExtract(java.lang.String content) throws TopicMapException
TopicMapException
Copyright 2004-2015 Wandora Team