int method(){ assert this.checkPreCondition(); try{ return 1; } finally { assert this.checkPostCondition(); } } try節の評価が終了した段階で必ずfinally節を評価する、という仕様になっている。つまり、try節内でreturnやbreakを利用した場合、try節…