acats/support/f392a00.a

78    procedure Increment_Bank_Reserve (Acct : in     Bank_Account);
79    procedure Assign_Representative  (Acct : in     Bank_Account);
80    procedure Increment_Counters     (Acct : in     Bank_Account);
81    procedure Open                   (Acct : in out Bank_Account);
93    procedure Assign_Representative (Acct : in     Savings_Account);
94    procedure Increment_Counters    (Acct : in     Savings_Account);
95    procedure Open                  (Acct : in out Savings_Account);
108    procedure Increment_Counters (Acct : in     Preferred_Account);
109    procedure Open               (Acct : in out Preferred_Account);
112    function Verify_Open (Acct : in Preferred_Account) return Boolean;
127    procedure Increment_Bank_Reserve (Acct : in Bank_Account) is
129       Bank_Reserve := Bank_Reserve + Acct.Balance;
132    procedure Assign_Representative (Acct : in Bank_Account) is
137    procedure Increment_Counters (Acct : in Bank_Account) is
143    procedure Open (Acct : in out Bank_Account) is
145       Acct.Balance := Opening_Balance;
153    procedure Assign_Representative (Acct : in Savings_Account) is
158    procedure Increment_Counters (Acct : in Savings_Account) is
164    procedure Open (Acct : in out Savings_Account) is
166       Open (Bank_Account(Acct));
167       Acct.Rate := Current_Rate;
168       Acct.Balance := 2.0 * Opening_Balance;
176    procedure Increment_Counters (Acct : in Preferred_Account) is
182    procedure Open (Acct : in out Preferred_Account) is
184       Open (Savings_Account(Acct));
185       Acct.Minimum_Balance := Preferred_Minimum_Balance;
186       Acct.Balance := Acct.Minimum_Balance;
193    function Verify_Open (Acct : in Preferred_Account) return Boolean is
195       return (Acct.Balance         = Preferred_Minimum_Balance and
196               Acct.Rate            = Current_Rate              and
197               Acct.Minimum_Balance = Preferred_Minimum_Balance);