74 |
/** |
/** |
75 |
* The size of the MIDI file in bytes. |
* The size of the MIDI file in bytes. |
76 |
*/ |
*/ |
77 |
protected int bytes = UNKNOWN_LENGTH; |
protected int byteLength = UNKNOWN_LENGTH; |
78 |
|
|
79 |
/** |
/** |
80 |
* The length of the MIDI file in microseconds. |
* The length of the MIDI file in microseconds. |
81 |
*/ |
*/ |
82 |
protected long microseconds = UNKNOWN_LENGTH; |
protected long microsecondLength = UNKNOWN_LENGTH; |
83 |
|
|
84 |
/** |
/** |
85 |
* A special value indicating an unknown quantity. |
* A special value indicating an unknown quantity. |
101 |
this.type = type; |
this.type = type; |
102 |
this.divisionType = divisionType; |
this.divisionType = divisionType; |
103 |
this.resolution = resolution; |
this.resolution = resolution; |
104 |
this.bytes = bytes; |
this.byteLength = bytes; |
105 |
this.microseconds = microseconds; |
this.microsecondLength = microseconds; |
106 |
} |
} |
107 |
|
|
108 |
/** |
/** |
143 |
*/ |
*/ |
144 |
public int getByteLength() |
public int getByteLength() |
145 |
{ |
{ |
146 |
return bytes; |
return byteLength; |
147 |
} |
} |
148 |
|
|
149 |
/** |
/** |
153 |
*/ |
*/ |
154 |
public long getMicrosecondLength() |
public long getMicrosecondLength() |
155 |
{ |
{ |
156 |
return microseconds; |
return microsecondLength; |
157 |
} |
} |
158 |
} |
} |