Eiffel example The routine in the following example written in Eiffel takes as an argument an integer which must be a valid value for an hour of the day, i. e., 0 through 23, inclusively. The precondition follows the keyword require. It specifies that the argument must be greater than or equal to zero and less than or equal to 23. The tag "valid_argument:" describes this precondition clause and serves to identify it in case of a runtime precondition violation.
eiffel example the routine in the following example written in eiffel takes as an argument an integer which must be a valid value for an hour of the day i e 0 through 23 inclusively the precondition follows the keyword require it specifies that the argument must be greater than or equal to zero and less than or equal to 23 the tag "valid_argument" describes this precondition clause and serves to identify it in case of a runtime precondition violation