관찰 가능한 결과
Ada / Ada(4)
상속과 super의 성공과 실패 증거
Employee 참조는 Manager 객체를 받을 수 있지만 Manager 전용 메서드는 상위 계약에 포함되지 않습니다.
왜 실패하는가
Employee 참조는 Manager 객체를 받을 수 있지만 Manager 전용 메서드는 상위 계약에 포함되지 않습니다.
코드에 남길 계약
상속은 구현 편의가 아니라 하위 객체를 상위 계약으로 사용해도 의미가 깨지지 않는 경우에만 선택합니다.
관찰 증거 상속은 구현 편의가 아니라 하위 객체를 상위 계약으로 사용해도 의미가 깨지지 않는 경우에만 선택합니다.