tailieunhanh - TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ CHO C# - 10

Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# khác với những trường hợp còn lại. Lớp Extra Hình 16-9: Lớp Extra Danh sách hàm thành phần: STT Tên Tham số Kết quả bool Xử lý Kiểm tra xem dòng Line 1 IsContractor string Line có phải là khai báo của một contructor không. Kiểm tra xem dòng s có chứa một trong những từ 2 IsAccessibilityL evelFound string s bool khóa {"private", "public", "protected", "internal","protected internal", "static" } 3 IsContain string large, string small bool Kiểm tra chuỗi large có chứa chuỗi small. 109 Tìm hiểu công nghệ. | Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C khác với những trường hợp còn _lại. Lớp Extra Hình 16-9 Lớp Extra Danh sách hàm thành phần STT Tên Tham số Kết quả Xử lý 1 IsContractor string Line bool Kiểm tra xem dòng Line có phải là khai báo của một contructor không. 2 IsAccessibilityL evelFound string s bool Kiểm tra xem dòng s có chứa một trong những từ khóa private public protected internal protected internal static 3 IsContain string large string small bool Kiểm tra chuỗi large có chứa chuỗi small. 109 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C 4 IsHaveContract EditPoint e TextDocument t bool Kiểm tra hàm tại điểm EditPoint e - trong văn bản TextDocument t -co chứa PreCondition - hoặc PostCondition. 5 GetReturnType string FuncName string- Lấy kiểu trả về của FuncName này. 6 GetFuncName string -FuncDec int Flag string Từ khai báo của hàm vd public int A int x trả về 2 dạng Flag 1 A x Flag 2 A int x 7 IsHaveVar string FName bool Kiểm tra FName co tham số không. 8 FixFuncName string FName string Type string Sửa tên hàm FName . thành FName_JType . trong đó Type là PreCondition PostCondition Invariant hay BasePreCondition BasePostCondition Baseinvariant. 9 AddOLDVar string FNamel string FName2 string OLDVar OLDVar là mảng các biến và kiểu dữ liệu tương ứng sửa đổi FNamel và FName2 bằng cách thêm những thông tin của OLDVar vào tham số. 110 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C KẾT LUẬN Sau khi nghiên cứu đề tài chúng em đã hiểu khá rõ về công nghệ Design By Contract và khả năng ứng dụng của nó trong lập trình hướng đối tượng. Đồng thời để phục vụ cho yêu cầu của đề tài cũng như giúp cho việc hoàn thiện kiến thức đã tìm hiểu được chúng em đã xây dựng một công cụ hỗ trợ Design By Contract dưới dạng Add-In cho C . .