Modelo nuevo Diagrama nuevo RedState (1.0, 0.0, 0.0, 1.0, -126.67110443115234, 455.2721862792969) (0.0, 0.0) 369.0 176.0 1 State (1.0, 0.0, 0.0, 1.0, 186.3992156982422, 136.35934448242188) (0.0, 0.0) 255.0 227.0 account Account protected balance double protected interest double protected lowerLimit double protected upperLimit double protected Account Account Balance double 1 Deposit 1 WithDraw 1 PayInterest return void in amount double return void in amount double 0 0 (1.0, 0.0, 0.0, 1.0, 242.13521241133475, 360.48077392578125) [(-184.3063168424871, 94.79141235351562), (24.4100341796875, 2.878570556640625)] serviceFee double private RedState in state State Initialize private + <override> Deposit(in amount: double): void + <override> WithDraw(in amount: double): void + <override> PayInterest(): void return void - StateChangeCheck: void SilverState (1.0, 0.0, 0.0, 1.0, 487.57267993001255, 463.36537170410156) (0.0, 0.0) 360.0 176.0 SilverState in State state SilvesState in balance double in account Account Initialize private return void return void + <override> Deposit(in amount: double): void + <override> WithDraw(in amount: double): void + <override> PayInterest(): void - StateChangeCheck: void 0 0 (1.0, 0.0, 0.0, 1.0, 364.5798805723641, 356.8644644672475) [(221.33036723037026, 106.50090723685406), (24.4100341796875, 6.494880015174374)] GoldState (1.0, 0.0, 0.0, 1.0, 154.59599591968424, 658.534293536384) (0.0, 0.0) 360.0 176.0 GoldState in State state GoldState in balance double in account Account Initialize private return void + <override> Deposit(in amount: double): void + <override> WithDraw(in amount: double): void + <override> PayInterest(): void - StateChangeCheck: void 0 0 (1.0, 0.0, 0.0, 1.0, 334.59599591968424, 360.3872445861887) [(4.8896484375, 298.1470489501953), (0.0, 2.9720998962332033)] Account (1.0, 0.0, 0.0, 1.0, -137.1060654222224, 163.2664566040039) (0.0, 0.0) 253.0 193.0 state State private owner String private Balance double State State Account in owner string Deposit return void in amount double Withdraw return void in amount double PayInterest return void 0 0 (1.0, 0.0, 0.0, 1.0, 184.5176015441729, 249.85934448242188) [(1.8816141540692968, -3.480078183723606), (-68.62366696639526, 0.0)] 1 1 1 1