public interface Converter
Converters can use any format, human-readable or not.
Modifier and Type | Method and Description |
---|---|
void |
export(Recording recording,
java.nio.file.Path destination,
ConversionSettings settings)
Converts a recording, then exports the result to a file.
|
java.lang.String |
fileExtension()
The file extension for the output files, including the dot.
|
java.lang.String |
formatName()
Gets the name of the format that recordings are exported to.
|
java.lang.String formatName()
java.lang.String fileExtension()
void export(Recording recording, java.nio.file.Path destination, ConversionSettings settings) throws java.io.IOException
recording
- the recording to exportdestination
- the destination file to export tosettings
- a container object for additional settings to use in the conversionjava.io.IOException
- if the file could not be written