第12章 契约Ada(第3页)