In case the parameter can not be checked by the compiler for valid values, it shall be checked using the assertion function.
Example:
[Previous page] [Next page]