public class CustomizedMidiFileWriter
extends javax.sound.midi.spi.MidiFileWriter
Constructor and Description |
---|
CustomizedMidiFileWriter() |
Modifier and Type | Method and Description |
---|---|
int[] |
getMidiFileTypes()
new
|
int[] |
getMidiFileTypes(javax.sound.midi.Sequence sequence)
Obtains the file types that this provider can write from the
sequence specified.
|
boolean |
isFileTypeSupported(int type) |
int |
write(javax.sound.midi.Sequence in,
int type,
java.io.File out) |
int |
write(javax.sound.midi.Sequence in,
int type,
java.io.OutputStream out) |
public int[] getMidiFileTypes()
getMidiFileTypes
in class javax.sound.midi.spi.MidiFileWriter
public int[] getMidiFileTypes(javax.sound.midi.Sequence sequence)
getMidiFileTypes
in class javax.sound.midi.spi.MidiFileWriter
sequence
- the sequence for which midi file type support
is queriedpublic boolean isFileTypeSupported(int type)
isFileTypeSupported
in class javax.sound.midi.spi.MidiFileWriter
public int write(javax.sound.midi.Sequence in, int type, java.io.OutputStream out) throws java.io.IOException
write
in class javax.sound.midi.spi.MidiFileWriter
java.io.IOException
public int write(javax.sound.midi.Sequence in, int type, java.io.File out) throws java.io.IOException
write
in class javax.sound.midi.spi.MidiFileWriter
java.io.IOException