Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# giữa những hàm với những thuộc tính. Ví dụ, điều kiện bất biến của STACK2 có thể mô tả sự liên quan giữa thuộc tính empty và count như sau: empty = (count = 0) Trong ví dụ này, xác nhận về điều kiện bất biến liên quan đến một thuộc tính và một hàm. Nó không riêng là việc lặp lại xác nhận ở hậu điều kiện của hàm (empty). Một xác nhận sẽ trở nên hữu ích hơn nếu nó có liên quan đến nhiều...
Tìm hiểu cơng nghệ Design By Contract Xây dựng công cụ hỗ trợ cho C# hàm với thuộc tính Ví dụ, điều kiện bất biến STACK2 mơ tả liên quan thuộc tính empty count sau: empty = (count = 0) Trong ví dụ này, xác nhận điều kiện bất biến liên quan đến thuộc tính hàm Nó khơng riêng việc lặp lại xác nhận hậu điều kiện hàm (empty) Một xác nhận trở nên hữu ích có liên quan đến nhiều thuộc tính ví dụ nhiều hàm Tiếp theo, ta có ví dụ tiêu biểu khác Liên quan đến khái niệm tài khoản ngân hàng, ta giả sử có lớp BANK_ACCOUNT có đặc tính deposits_list, withdrawals_list balance Lúc đó, điều kiện bất biến lớp mệnh đề sau: consistent_balance: deposits_list.total – withdrawals_list.total = balance Hàm total cho biết giá trị tích lũy danh sách hoạt động (số tiền gửi hay số tiền rút) Ví dụ cho thấy tình trạng quán giá trị truy cập thơng qua thuộc tính deposits_list, withdrawals_list balance 9.2 Định dạng thuộc tính điều kiện bất biến lớp Về mặt cú pháp, điều kiện bất biến lớp xác nhận, nằm phần invariant, sau phần feature trước end class STACK4[G] creation …As in STACK2 feature As in STACK2 invariant count_non_negative: