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

    Modifier and Type Method Description
    int balance()  
    void debit​(int amount)  
    void deposit​(int amount)  
    java.lang.String getHolder()  
    int overdraft()  
    void setHolder​(java.lang.String newHolder)  

    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