Lines Matching refs:open_close
181 struct open_close {}; struct
208 void open_drawer(open_close const&);
209 void close_drawer(open_close const&);
214 void stop_and_open(open_close const&);
229 row < Stopped , open_close , Open , &p::open_drawer >,
231 row < Open , open_close , Empty , &p::close_drawer >,
233 row < Empty , open_close , Open , &p::open_drawer >,
238 row < Playing , open_close , Open , &p::stop_and_open >,
242 row < Paused , open_close , Open , &p::stop_and_open >
259 void player::open_drawer(open_close const&){} in open_drawer()
260 void player::close_drawer(open_close const&){} in close_drawer()
265 void player::stop_and_open(open_close const&){} in stop_and_open()
274 p.process_event(open_close()); // user opens CD player in main()
275 p.process_event(open_close()); // inserts CD and closes in main()