Design by contract tightly integrated with other language constructs.
طراحی شده توسط قرارداد محکم با ساختارهای زبان‌های دیگر یکپارچه شده‌است.