package  ATM_Example_OCL; 


public class BankCard {

    private final int correctPIN;
    private final int accountNumber;
    private boolean invalid = false;
    public BankCard (final int accountNumber, final int correctPIN) {
        this.correctPIN = correctPIN;
        this.accountNumber = accountNumber;
    }
   
    public boolean pinIsCorrect (int pin) {
        if ( cardIsInvalid () ) return false;
        return correctPIN == pin;
    }

    public void makeCardInvalid () {
        invalid = true;
    }
    
    public boolean cardIsInvalid () {
        return invalid;
    }
    
    public int getAccountNumber () {
        return accountNumber;
    }

}