📄 msgcallbacktimer.java
字号:
// Figure 8.39import java.awt.event.ActionEvent;public class MsgCallbackTimer extends EventTimer { private Driver theDriver; /** pre: d != null <br> * post: theDriver == d */ public MsgCallbackTimer( int m, Driver d ) { super(m); theDriver = d; } /** pre: theDriver != null <br> * post: the moveMsg method from theDriver is performed */ public void actionPerformed( ActionEvent e ) { theDriver.moveMsg( ); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -