관찰 가능한 결과
true / false
캡슐화와 접근 제어의 성공과 실패 증거
두 번째 spend는 잔액보다 커서 상태를 바꾸지 않고 false를 반환합니다.
왜 실패하는가
두 번째 spend는 잔액보다 커서 상태를 바꾸지 않고 false를 반환합니다.
코드에 남길 계약
접근 제어는 현재 호출을 막는 장치이면서 미래에 구현을 바꿀 수 있는 여유를 보존하는 장치입니다.
관찰 증거 접근 제어는 현재 호출을 막는 장치이면서 미래에 구현을 바꿀 수 있는 여유를 보존하는 장치입니다.