Cách thành ngữ để kiểm tra và ghi lại các điều kiện tiên quyết và điều kiện chức năng trong R là gì? Tôi sẽ xem xét Eiffel
được xây dựng trong các họa tiết require
và ensure
hoặc D
'in
và out
khối trạng thái tại đây, nhưng hầu hết các ngôn ngữ đều không có các thứ này để phát triển các phương pháp hay nhất để ước tính chúng.Cách thành ngữ để kiểm tra và ghi lại các điều kiện tiên quyết và postconditions trong R là gì?
Bằng cách kiểm tra điều kiện tiên quyết, tôi có nghĩa là ném một số loại ngoại lệ thời gian chạy nếu dữ liệu không đáp ứng các giả định chức năng được truyền vào. Hiện tại có tuyên bố stopifnot
cho mọi điều kiện tiên quyết mà tôi có thể nghĩ lúc bắt đầu chức năng. Điều tương tự cũng áp dụng cho postconditions, nhưng đối với giá trị trả về thay vì các tham số.
Hơn nữa, có cách nào tiêu chuẩn để ghi lại những điều kiện tiên quyết và postconditions này là gì không? Ví dụ, nó là khá chuẩn để đánh vần chúng trong các bình luận JavaDoc trong Java.
Các phương pháp hay nhất về R theo khía cạnh này là gì?