/** @return The mime type of the file format. */
public final String getMimeType() {
String mime = fileFormat.getMimeType();
if (mime == null || mime.length() < 3) {
return APPLICATION_OCTET_STREAM;
}
return mime;
}
{
UnknownFormat.setMimeType(Unknown);
UnknownFormat.setAttributeValue("PUID", Unknown);
UnknownFormat.setAttributeValue("Name", Unknown);
}
/** @return the number of file extensions. */
public final int getNumExtensions() {
return fileFormat.getNumExtensions();
}
/** @return the puid of this file format. */
public final String getPUID() {
return fileFormat.getPUID();
}
/** @return The version of this file format. */
public final String getVersion() {
return fileFormat.getVersion();
}
/** @return the name of this file format. */
public final String getFormat() {
return fileFormat.getName();
}
/** @return A list of extensions defined against this file format. */
public final List<String> getExtensions() {
return fileFormat.getExtensions();
}
/**
* @param theIndex The index of the file extension
* @return the file extension.
*/
public final String getExtension(final int theIndex) {
return fileFormat.getExtension(theIndex);
}