public interface ResourceFormatGenerator
Modifier and Type | Method and Description |
---|---|
void |
generateDocument(INodeSet nodeset,
java.io.OutputStream stream)
generate formatted output
|
java.util.Set<java.lang.String> |
getFileExtensions() |
java.util.List<java.lang.String> |
getMIMETypes() |
default java.lang.String |
getPreferredFileExtension() |
default java.lang.String |
getPreferredMimeType() |
java.util.Set<java.lang.String> getFileExtensions()
default java.lang.String getPreferredFileExtension()
java.util.List<java.lang.String> getMIMETypes()
default java.lang.String getPreferredMimeType()
void generateDocument(INodeSet nodeset, java.io.OutputStream stream) throws ResourceFormatGeneratorException, java.io.IOException
nodeset
- nodesstream
- output streamjava.io.IOException
- on io errorResourceFormatGeneratorException
- on format error