If a functional approach is used, a

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.

Kết quả (Việt) 1:

Nếu một cách tiếp cận chức năng được sử dụng, một điều kiện trước khi thiết lập ra những gì phải đúng trước khi các chức năng được gọi là, và một điều kiện sau khi xác định những gì là đúng sau khi các chức năng được gọi là.

Kết quả (Việt) 2:

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.