controlwindow.ctxt

来自「Java程序设计(美) David D. Riley著 机械工业出版社 书籍配套」· CTXT 代码 · 共 13 行

#BlueJ class context
comment0.target=class\ ControlWindow
comment1.target=theRobot
comment2.target=turnBtn
comment3.params=r
comment3.target=ControlWindow(Robot)
comment3.text=post\:\ \ \ this\ window\ is\ created\nand\ getX()\ \=\=\ 13*72+10\ \ and\ getY()\=\=20\nand\ getWidth()\ \=\=\ 200\ \ and\ \ getHeight()\ \=\=\ 120\nand\ theRobot\ \=\=\ r\ \ \nand\ turnBtn\ is\ created\ and\ placed\ on\ this\nand\ moveBtn\ is\ created\ and\ placed\ on\ this\ \n\n
comment4.params=e
comment4.target=void\ actionPerformed(ActionEvent)
comment4.text=This\ is\ an\ event\ hanlder\ for\ both\ buttons.\npost\:\ \ \ e.getSource()\=\=turnBtn\ implies\ postcondition\ of\ theRobot.rotateClockwise()\nand\ \ e.getCourse\=\=moveBtn\ implies\ postcondition\ of\ theRobot.moveByOneStep()\ \n\n
comment5.target=moveBtn
numComments=6