static void Main(string[] args)
{
//Select the commented lines below
//Ctrl+K+U -> Ctrl+C ->Ctrl+K+C
//Paste them into the console
//Wessex Bank plc
//FName MName LName
//234.567
//GB82 WEST 1234 5698 7654 32
//5337 8172 9295 0938
//3112 2913 0550 5467
//4929 9302 3989 5624
Account bankAccount = new Account();
bankAccount.FillInfo();
Console.Clear();
Console.WriteLine(bankAccount);
}
static void Test(Account account, int months = 12)
{
Console.WriteLine(account.Customer);
for (int i = 1; i < months; i++)
Console.WriteLine(account.CalculateInterest(i));
Console.WriteLine();
}
public Bank RemoveAccount(Account account)
{
this.accounts.Remove(account);
return this;
}
public void AddAccount(Account a)
{
accounts.Add(a);
}
public void TransferTo(int amount, Account a)
{
Contract.Requires(a != null);
Contract.Requires(a.value >= 0);
Contract.Requires(amount >= 0);
Contract.Requires(value - amount >= 0);
Contract.Ensures((Contract.OldValue<int>(value) + Contract.OldValue<int>(a.value)) == (value + a.value));
Contract.Ensures(a.value == Contract.OldValue<int>(a.value) + amount);
Contract.Ensures(value == Contract.OldValue<int>(value) - amount);
Withdraw(amount);
a.Dispose(amount);
}
