If a functional approach is used, a pre-condition setting out what must be true before the function is called, and a post-condition specifying what is true after the function is called.
If a functional approach is used, a pre-condition setting out what must be true before the function is called, and a post-condition specifying what is true after the function is called.
Nếu một cách tiếp cận chức năng được sử dụng, một điều kiện tiên quyết đặt ra những gì phải đúng sự thật trước khi chức năng được gọi, và một hậu điều kiện xác định những gì là đúng sau khi hàm được gọi.