diff --git a/Diploma/Modelo nuevo/Diagrama_nuevo.pdf b/Diploma/Modelo nuevo/Diagrama_nuevo.pdf new file mode 100644 index 0000000..5db03a1 Binary files /dev/null and b/Diploma/Modelo nuevo/Diagrama_nuevo.pdf differ diff --git a/Diploma/estado.gaphor b/Diploma/estado.gaphor new file mode 100644 index 0000000..94ad9de --- /dev/null +++ b/Diploma/estado.gaphor @@ -0,0 +1,1242 @@ + + + + + +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 + + + \ No newline at end of file