관찰 가능한 결과
70 / retry: balance=20, requested=30
checked, unchecked와 사용자 예외의 성공과 실패 증거
금액 형식 자체가 잘못된 경우와 잔액 부족으로 재시도할 경우를 다른 예외 계약으로 나눴습니다.
왜 실패하는가
금액 형식 자체가 잘못된 경우와 잔액 부족으로 재시도할 경우를 다른 예외 계약으로 나눴습니다.
코드에 남길 계약
예외 종류는 문법 편의가 아니라 호출자가 실패를 보고 어떤 행동을 선택할 수 있는지에 맞춰 설계합니다.
관찰 증거 예외 종류는 문법 편의가 아니라 호출자가 실패를 보고 어떤 행동을 선택할 수 있는지에 맞춰 설계합니다.