| _director (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [private] |
| _expectedFrame (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [private] |
| _navigator (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [private] |
| _pendentSeek (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [private] |
| changeFrame(int newFrame) (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [inline, private] |
| FrameNavigatorDisplayer(FrameNavigator nav) | FrameNavigatorDisplayer | [inline] |
| getNavigator() | FrameNavigatorDisplayer | [inline] |
| makeObserver(PlayingDirector director) | FrameNavigatorDisplayer | [inline] |
| visitFrame(int frameNr) (defined in FrameNavigatorDisplayer) | FrameNavigatorDisplayer | [inline, private] |
1.2.12 written by Dimitri van Heesch,
© 1997-2001