753      * Obtains a MIDI sequence from the specified input stream.  The stream must
787         Sequence sequence = null;
792                 sequence = reader.getSequence( stream ); // throws IOException
799         if( sequence==null ) {
800             throw new InvalidMidiDataException("could not get sequence from input stream");
802             return sequence;
808      * Obtains a MIDI sequence from the specified URL.  The URL must
831         Sequence sequence = null;
836                 sequence = reader.getSequence( url ); // throws IOException
843         if( sequence==null ) {
844             throw new InvalidMidiDataException("could not get sequence from URL");
846             return sequence;
852      * Obtains a MIDI sequence from the specified <code>File</code>.
875         Sequence sequence = null;
880                 sequence = reader.getSequence( file ); // throws IOException
887         if( sequence==null ) {
888             throw new InvalidMidiDataException("could not get sequence from file");
890             return sequence;
949      * sequence specified.
950      * @param sequence the sequence for which MIDI file type support
955     public static int[] getMidiFileTypes(Sequence sequence) {
964             int[] types = writer.getMidiFileTypes(sequence);
982      * from the sequence indicated.
985      * @param sequence the sequence for which file writing support is queried
987      * sequence, otherwise <code>false</code>
989     public static boolean isFileTypeSupported(int fileType, Sequence sequence) {
995             if( writer.isFileTypeSupported(fileType,sequence)) {
1006      * @param in sequence containing MIDI data to be written to the file
1040      * @param in sequence containing MIDI data to be written to the file

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