-- -- THIS FILE IS AUTOMATICALLY GENERATED!! -- -- Generated at 10-Nov-08 by the UML-VDM++ Link -- class 「ボタン制御」 instance variables private iボタン : 「電源ボタン」; operations public 「ボタン制御」 : () ==> 「ボタン制御」 「ボタン制御」() == iボタン := new 「電源ボタン」(); public ボタン状態を得る : () ==> 「電源ボタン」`「電源ボタン状態」 ボタン状態を得る() == return iボタン.ボタン状態を得る(); end 「ボタン制御」