コード例 #1
0
        private void BtnFirstPerson_Click(object sender, RoutedEventArgs e)
        {
            AccountList.Items.Clear();
            SelectedCustomer = selectedBank.Customers.ToList <IFCustomer>()[0];
            Button addAccountBTn = new Button();

            addAccountBTn.Content = "Add account";
            //addAccountBTn.Padding = new Thickness(6.0d);
            //addAccountBTn.Margin = new Thickness(0.0d);
            addAccountBTn.FontSize            = 10;
            addAccountBTn.HorizontalAlignment = HorizontalAlignment.Stretch;
            addAccountBTn.Click += BtnAddAccount_Click;
            AddAccount.Content   = addAccountBTn;
            AccountList.Items.Add(AddAccount);
            foreach (Account acc in SelectedCustomer.Accounts)
            {
                ListViewItem accNumber    = new ListViewItem();
                Button       btnAccNumber = new Button();
                btnAccNumber.Content = acc.Number;

                btnAccNumber.Click += btnViewAccount_Click;
                accNumber.Content   = btnAccNumber;
                AccountList.Items.Add(accNumber);
            }
        }
コード例 #2
0
        public MainPage()
        {
            this.InitializeComponent();
            //MainGrid.MaxHeight = main.MinHeight;
            //Accounts.MaxHeight = main.MinHeight;
            //AccountsScroll.MaxHeight = main.MinHeight;

            banks = new List <IFBank>();
            banks.Add(new Bank("Nordea"));
            banks[0].Customers.Add(new Customer("Ole Hansen", 1, banks[0]));
            banks[0].Customers.Add(new Customer("Bent Jensen", 2, banks[0]));
            banks[0].Customers.Add(new Customer("Kurt Jensen", 3, banks[0]));
            banks.Add(new Bank("Danske Bank"));
            banks[1].Customers.Add(new Customer("Ole Hansen", 1, banks[1]));
            banks[1].Customers.Add(new Customer("Børge jørgensen", 2, banks[1]));
            banks[1].Customers.Add(new Customer("Aase Olsen", 3, banks[1]));
            banks.Add(new Bank("Jyske Bank"));
            banks[2].Customers.Add(new Customer("Søren Christensen", 1, banks[2]));
            banks[2].Customers.Add(new Customer("Ida Sørensen", 2, banks[2]));
            banks[2].Customers.Add(new Customer("Freja Hansen", 3, banks[2]));
            banks[0].banks   = banks;
            banks[1].banks   = banks;
            banks[2].banks   = banks;
            selectedBank     = null;
            SelectedCustomer = null;
            selectedAccount  = null;
            Bank depositWithdrawBank = new Bank("dWBank");

            depositWithdrawBank.Customers.Add(new Customer("dWCustomer", 1, depositWithdrawBank));
            depositWithdrawAccount = new Account(depositWithdrawBank, depositWithdrawBank.Customers.ToList()[0], depositWithdrawBank.GetNextAccountNumber());
            depositWithdrawBank.Accounts.Add(depositWithdrawAccount);
        }
コード例 #3
0
 public Account(IFBank bankInfo, IFCustomer CustomerInfo, int number)
 {
     this.BankInfo      = bankInfo;
     this.CustomerInfo  = CustomerInfo;
     this.Number        = number;
     this.InOutMovement = new List <IFMovement>();
     //this.InOutMovement.Add(FirstInMovement);
 }
コード例 #4
0
 protected AccountContract(decimal balance, IFBank bankInfo, IFCustomer CustomerInfo, int number)
 {
     Contract.Requires(bankInfo.Customers.Any(cust => cust.Id.Equals(CustomerInfo.Id)));
     Contract.Requires(!bankInfo.Accounts.Any(acc => acc.Number.Equals(number)));
 }
コード例 #5
0
ファイル: Bank.cs プロジェクト: Helbo15/DesignByContract2
 public ICollection <IFMovement> MakeStatement(IFCustomer aCustomer, IFAccount aAccount)
 {
     return(aAccount.InOutMovement);
 }
コード例 #6
0
 public ICollection <IFMovement> MakeStatement(IFCustomer aCustomer, IFAccount aAccount)
 {
     Contract.Requires(aCustomer.Accounts.Contains(aAccount));
     return(null);
 }