Uses of Class
ds.ov2.gui.Terminal_thread.Runtime_card_exception

Packages that use Terminal_thread.Runtime_card_exception
ds.ov2.gui Demonstrator with GUI. 
 

Uses of Terminal_thread.Runtime_card_exception in ds.ov2.gui
 

Methods in ds.ov2.gui that throw Terminal_thread.Runtime_card_exception
private  void Terminal_thread.proof_ex(Applet_type applet_type)
          Exception wrapper for proof.
 void Terminal_thread.wait_for_card()
          Wait until a card is inserted or the terminal thread is interrupted.
 void Terminal_thread.wait_until_card_is_removed()
          Wait until the card is removed or the terminal thread is interrupted.