Inside method implimentation, you can add a code to check for pre-conditions and post-conditions using the require and ensure keywords, as shown as "Method Implementation Syntax".
Inside method implementations, you can add code to check for pre-conditions and post-conditions using the require and ensure keywords, as shown in the "Method Implementation Syntax" section of the Methods topic.