37 import javax.sound.midi.MidiFileFormat;
63     public MidiFileFormat getMidiFileFormat(InputStream stream) throws InvalidMidiDataException, IOException {
64         return getMidiFileFormatFromStream(stream, MidiFileFormat.UNKNOWN_LENGTH, null);
68     private MidiFileFormat getMidiFileFormatFromStream(InputStream stream, int fileLength, SMFParser smfParser) throws InvalidMidiDataException, IOException {
70         int duration = MidiFileFormat.UNKNOWN_LENGTH;
140         MidiFileFormat format = new MidiFileFormat(type, divisionType, resolution, fileLength, duration);
145     public MidiFileFormat getMidiFileFormat(URL url) throws InvalidMidiDataException, IOException {
148         MidiFileFormat fileFormat = null;
158     public MidiFileFormat getMidiFileFormat(File file) throws InvalidMidiDataException, IOException {
165             length = MidiFileFormat.UNKNOWN_LENGTH;
167         MidiFileFormat fileFormat = null;
179         MidiFileFormat format = getMidiFileFormatFromStream(stream,
180                                                             MidiFileFormat.UNKNOWN_LENGTH,

Indexes created Tue Jul 24 14:28:13 CEST 2018