/**********************************************************************
 * This file is part of "Object Teams Development Tooling"-Software
 * 
 * Copyright 2004, 2010  Technical University Berlin, Germany.
 * 
 * This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 * $Id$
 * 
 * Please visit http://www.eclipse.org/objectteams for updates and contact.
 * 
 * Contributors:
 * 	  Technical University Berlin - Initial API and implementation
 **********************************************************************/
package org.eclipse.objectteams.example.atm;
/**
 * This class represents an account. 
 * In this application it is the base class of the ATM.ForeignAccount role 
 * and the SpecialConditions.BonusAccount role. 
 */
public class Account {
	
    private int balance;
    private Bank bank;

    /**
     * Constructor of an account object. Gets the owning bank as parameter.
     */
    public Account(Bank _bank) {
        bank = _bank;
    }

    /**
     * Get the balance of the account.
     */
    public int getBalance() {
        return balance;
    }

    /**
     * Get the bank of the account.
     */
    public Bank getBank() {
        return bank;
    }

    /**
     * Debit an amount from the account.
     */
    public boolean debit(int amount) {

        if (!(amount>balance)) {
            balance -= amount;
            return true;
        }
        return false;
    }

    /**
     * Credit an amount to the account.
     */
    public void credit(int amount) {
        balance += amount;
    }

}