第12章 契约Ada(第2页)