Public Methods | |
| String | toString () |
Static Public Methods | |
| PlayMode | getMode (String mode) |
| String[] | getNames () |
Static Public Attributes | |
| final PlayMode | NORMAL = new PlayMode() |
| final PlayMode | THREADED = new PlayMode() |
| final PlayMode | REAL_TIME = new PlayMode() |
| final PlayMode | REAL_TIME_AUDIO = new PlayMode() |
| final PlayMode | EXTERNAL = new PlayMode() |
|
|
|
|
|
00038 {
00039 if(this == NORMAL) return "Normal";
00040 if(this == THREADED) return "Threaded";
00041 if(this == REAL_TIME) return "Real Time";
00042 if(this == REAL_TIME_AUDIO) return "Real Time with Audio";
00043 if(this == EXTERNAL) return "External";
00044 return "";
00045 }
|
|
|
00048 {
00049 String[] names = { NORMAL.toString(), THREADED.toString(), REAL_TIME.toString(),
00050 REAL_TIME_AUDIO.toString(), EXTERNAL.toString() };
00051 return names;
00052 }
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.12 written by Dimitri van Heesch,
© 1997-2001