$ % $ % BankAccount. public class BankAccount {... private??? balance; } "commands, transformers, mutators! "abstract state! "queries, accessors!

Transcription

1 "! public class { private??? balance; "! # "! "commands, transformers, mutators! "abstract state! "queries, accessors! "constructors! & "! public class { private double balance;

2 "! void "this! x.command1(); x.command2(); x.command3(); x.command1().command2().command3(); e.g. new StringBuilder().append("19").append(84).toString(); ( ' setter/getter setter/getter" private! - -. private double balance getter setter public class { public double getbalance() { return balance; public long getaccountnumber() { return accountnumber; public Customer getowner { return owner; private double balance; private long accountnumber; private Customer owner; field field() Java field getfield() *GUI Builders JavaBeans, ) --* * Makes a deposit to the current account amount > 0, "amount is positive" getbalance() == prev(getbalance()) amount, * "balance updated according to deposit" public void deposit(double amount) { balance = amount; --* deposit //

3 --* --* * Withdraw amount from the current account amount <= getbalance(), "can't overdraft" 0 < amount, "amount is positive" getbalance() == prev(getbalance()) - amount, * "balance updated according to withdraw" public void withdraw(double amount) { balance -= amount; withdraw. / / # "! * Makes a transfer of amount from one account to the other 0 < amount <= from.getbalance(), "from can't overdraft" to.getbalance() == prev(to.getbalance()) amount from.getbalance() == prev(from.getbalance()) - amount public static void transfer(double amount, from, to) { from.withdraw(amount); to.deposit(amount); deposit*withdraw. / * Makes a transfer of amount from other to the current account 0 < amount, "amount is positive" amount <= other.getbalance(), "other can't overdraft" getbalance() == prev(getbalance()) amount, * balance updated other.getbalance() == prev(other.getbalance()) amount, * balance of other updated public void deposit(double amount, other) { other.withdraw(amount); balance = amount; & * This class represents a bank account getbalance() >= 0, * "can't overdraft" getaccountnumber() > 0, * "an account must have an identifier" owner()!= null, * "an account must have owner" public class { ( " class invariant! '

4 * Constructs a new account and sets its owner and * identifier id > 0, "account number must be positive" customer!= null, * "an account must have an owner" getowner() == customer, * "argument was assigned getaccountnumber() == id, * "argument was assigned" public (Customer customer, long id) { accountnumber = id; owner = customer; 0. "! "encapsulation!, ret == balance, * "consistency of representation" public double getbalance() { privatebalance final * final*accountnumber final private long accountnumber; "blank final! * This class represents a bank account getbalance() == balance, * balance interface is consistent with representation" getowner() == owner * owner interface is consistent with representation" public class {

5 Project ->Generate Javadoc & *.. public. private private Use Standard Doclet Destination HTML " configure!. " Java SDK!JDK Sun C:\Program Files\Java\jdk1.5.x_xx\bin\.exe " x*! ( @imp_post / taglets.jar1 D:\ohad\soft1\taglets.jar NextGenerate Javadoc Finish html, )

6 Extra Javadoc options -taglet il.ac.tau.cs.software1.util.pretaglet -taglet il.ac.tau.cs.software1.util.posttaglet -taglet il.ac.tau.cs.software1.util.invtaglet -taglet il.ac.tau.cs.software1.util.impposttaglet -taglet il.ac.tau.cs.software1.util.impinvtaglet -tagletpath D:\ohad\soft1\taglets.jar taglets.jar1 Finish