31 |
|
|
32 |
|
|
33 |
/** |
/** |
34 |
* |
* This task destroys the specified MIDI input device. |
35 |
* @author Grigor Iliev |
* @author Grigor Iliev |
36 |
*/ |
*/ |
37 |
public class DestroyMidiDevice extends EnhancedTask { |
public class DestroyMidiDevice extends EnhancedTask { |
38 |
private int deviceID; |
private int deviceID; |
39 |
|
|
40 |
|
/** |
41 |
|
* Creates a new instance of <code>DestroyMidiDevice</code>. |
42 |
|
* @param deviceID The ID of the MIDI input device to be destroyed. |
43 |
|
*/ |
44 |
public |
public |
45 |
DestroyMidiDevice(int deviceID) { |
DestroyMidiDevice(int deviceID) { |
46 |
setTitle("DestroyMidiDevice_task"); |
setTitle("DestroyMidiDevice_task"); |
49 |
this.deviceID = deviceID; |
this.deviceID = deviceID; |
50 |
} |
} |
51 |
|
|
52 |
|
/** The entry point of the task. */ |
53 |
public void |
public void |
54 |
run() { |
run() { |
55 |
try { |
try { |