Pre and Post Conditions:

Action: login(name,Acct_no,Acct_type)

           Pre: Name=NULL & Acct_no=NULL & Acct_type=NULL

           Post:Perform one of the operations(Check Balance, Transfer Money, Bill Payment)

Action:checkbalance(password)

           Pre: Password-=NULL

           Post: Access Persons record with funds Manager

Action: transfermoney(password,money,dstdetails)

            Pre: Password=NULL,Money=Null, Dstdetails=NULL

           Post:Transfer Control to funds manager and transfer money

Action: paybill(password,dstname)

            Pre:password=NULL,dstname=NULL

           Post: pay bill to destination by funds manager.

Action:Fundsmanager:Validate()

           Post:login user is correct and right person to access database.

Action:Fundsmanager:retrieve()

            Post: Get the record of login person.

Action:Fundsmanager:update()

            Post:perform transfer or pay bill or update record.

Action:Bankemployee:Create(Name, Acct_no,Acct_type)

            Pre: Name=NULL,Acct_no=NULL,Acct_type=NULL

            Post:Create a new Account

Action: Bankemployee: Deleteaccount(Name, Acct_no,Acct_type)

            Pre:Name=NULL,Acct_no=NULL,Acct_type=NULL

           Post:Delete an  Account with above Details