微信客服：xiaoxionga100
微信客服：ITCS521
程序代写案例-22T2
时间：2022-06-25
Lab 04 Ready for 22T2
Nick Patrikeos authored 8 months ago
bank.md 1.26 KiB
Lab 04 - Exercise - The Bank's Contract
ℹ You will need to make a Private (set to Course Staff can view only) Blog Post on WebCMS for this activity. Put your answers to the
questions inside it.
Consider a simple Bank system that allows for customers to have accounts. The customers can make deposits and withdrawals, and in this
simplified system, an account balance is never allowed to go below 0.
Inside src/banking , create a BankAccount class for maintaining a customer's bank balance.
Each bank account should have a current balance and methods implementing deposits and withdrawals.
Money can only be withdrawn from an account if there are sufficient funds.
In the JavaDoc for the methods, define preconditions and postconditions for the methods.
Then, create a subclass of BankAccount called LoggedBankAccount , also with the preconditions and postconditions articulated.
Every deposit and withdrawal must make a log of the action.
Inside your blog post, answer the following questions in a few sentences:
Explain why the code is consistent with the preconditions and postconditions.
Explain why balance >= 0 is a class invariant for both classes.
Are your class definitions consistent with the Liskov Substitution Principle?
0e8212df
Nick Patrikeos authored 8 months ago
bank.md 1.26 KiB
Lab 04 - Exercise - The Bank's Contract
ℹ You will need to make a Private (set to Course Staff can view only) Blog Post on WebCMS for this activity. Put your answers to the
questions inside it.
Consider a simple Bank system that allows for customers to have accounts. The customers can make deposits and withdrawals, and in this
simplified system, an account balance is never allowed to go below 0.
Inside src/banking , create a BankAccount class for maintaining a customer's bank balance.
Each bank account should have a current balance and methods implementing deposits and withdrawals.
Money can only be withdrawn from an account if there are sufficient funds.
In the JavaDoc for the methods, define preconditions and postconditions for the methods.
Then, create a subclass of BankAccount called LoggedBankAccount , also with the preconditions and postconditions articulated.
Every deposit and withdrawal must make a log of the action.
Inside your blog post, answer the following questions in a few sentences:
Explain why the code is consistent with the preconditions and postconditions.
Explain why balance >= 0 is a class invariant for both classes.
Are your class definitions consistent with the Liskov Substitution Principle?
0e8212df
