(Screen screen)
| 38 | public final int num_screens() { return screens.size(); } |
| 39 | |
| 40 | public final void add_screen(Screen screen) { screens.add(screen); } |
| 41 | public final void remove_screen(int id) { |
| 42 | ListIterator iter, nextiter; |
| 43 | for (iter = begin(); iter != end(); iter = nextiter) { |
no test coverage detected