e718. determining the file format of a midi audio file.txt

这里面包含了一百多个JAVA源文件

try {
        // From file
        MidiFileFormat fformat = MidiSystem.getMidiFileFormat(new File("midifile"));
    
        // From URL
        fformat = MidiSystem.getMidiFileFormat(new URL("http://hostname/midifile"));
    
        // Get file format
        switch (fformat.getType()) {
          case 0:
            // mid
            break;
          case 1:
            // rmf
            break;
        }
    } catch (MalformedURLException e) {
    } catch (IOException e) {
    } catch (InvalidMidiDataException e) {
        // File format is not supported.
    }