public final class CompressedRDFFormat extends Object implements RDFFormat
Class to represent the format of serialized RDF that is also compressed
RDFFormat.BinaryRDFFormat
FileFormat.Compression
Constructor and Description |
---|
CompressedRDFFormat(RDFFormat theFormat,
FileFormat.Compression theCompression) |
Modifier and Type | Method and Description |
---|---|
RDFFormat |
baseFormat()
Return the base format.
|
Charset |
charset()
The charset used by the format
|
FileFormat.Compression |
compression()
Return the compression type of this format
|
String |
defaultExtension()
Return the default file extension for this format
|
String |
defaultMimeType()
Return the default mimetype for this format
|
Stream<String> |
extensions()
Return all supported file format extensions
|
Stream<String> |
mimeTypes()
Return all supported mimetypes of this format
|
String |
name()
The friendly format name
|
String |
toString() |
public CompressedRDFFormat(@Nonnull RDFFormat theFormat, @Nonnull FileFormat.Compression theCompression)
@Nonnull public RDFFormat baseFormat()
Compression#GZIP
.
Some compressions, notably ZIP, don't have a notion of a base format since they also act as an archive in which
case this is meaningless.@Nonnull public FileFormat.Compression compression()
@Nonnull public String name()
name
in interface FileFormat
@Nonnull public Stream<String> mimeTypes()
mimeTypes
in interface FileFormat
@Nonnull public Stream<String> extensions()
extensions
in interface FileFormat
@Nonnull public String defaultMimeType()
defaultMimeType
in interface FileFormat
@Nonnull public String defaultExtension()
defaultExtension
in interface FileFormat
@Nonnull public Charset charset()
charset
in interface FileFormat
Copyright © 2010-2016 Stardog Union. All Rights Reserved.