growingdot.ctxt

Java程序设计(美) David D. Riley著 机械工业出版社 书籍配套 代码

#BlueJ class context
comment0.target=class\ GrowingDot
comment0.text=Class\ Invariant\:\t\nredDot.getWidth()\ \=\=\ redDot.getHeight()\nand\ \ redDot.getX()\ \=\=\ 100\ -\ redDot.getWidth()/2\nand\ \ redDot.getY()\ \=\=\ 100\ -\ redDot.getHeight()/2\ \n\n
comment1.target=darkness
comment2.params=
comment2.target=GrowingDot()
comment2.text=post\:\tredDot\ is\ added\ on\ this\ \nand\ startBtn\ \!\=\ null\nand\ this\ is\ colored\ black\nand\ clock\ is\ scheduled\ for\ 0.1\ sec.\ repeated\ events\ \ \n\n
comment3.target=clock
comment4.target=redDot
comment5.target=startBtn
comment6.params=e
comment6.target=void\ actionPerformed(ActionEvent)
comment6.text=pre\:\tredDot\ \!\=\ null\ \ <br>\npost\:\t([e-mail]()\ \=\=\ 200)\ implies\nredDot\ is\ resized\ to\ 4\ by\ 4\ and\ this\ recolored\ to\ black\nand\ \ ([e-mail]()\ \!\=\ 200)\ implies\n(\ redDot\ resize\ to\ 2\ by\ 2\ larger\ than\ redDot@pre\nand\ this\ is\ recolored\ whiter\ )\ \n\n
numComments=7