Package account
Class AccountImplEUROValid4J2
java.lang.Object
account.AccountImplEUROValid4J2
public class AccountImplEUROValid4J2
extends java.lang.Object
-
Constructor Summary
Constructors Constructor Description AccountImplEUROValid4J2(int amount, java.lang.String owner, int min)
-
Method Summary
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
AccountImplEUROValid4J2
public AccountImplEUROValid4J2(int amount, java.lang.String owner, int min) throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-
-
Method Details
-
balance
public int balance() -
deposit
public void deposit(int amount) throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-
debit
public void debit(int amount) throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-
getHolder
public java.lang.String getHolder() throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-
setHolder
public void setHolder(java.lang.String newHolder) throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-
overdraft
public int overdraft() throws org.valid4j.errors.ContractViolation- Throws:
org.valid4j.errors.ContractViolation
-