事前条件・事後条件・null非許容参照型を用いた例を以下に示す。