Argument Checking with CMOD

CMOD provides automatic type checking and therefore reduces the amount error checking code a programmer must write manually. CMOD generates code for argument checking in the implementation of the methods. The types of the arguments and the number of arguments with which the method is invoked is checked, and if something is wrong, the Pike exception handler is invoked.

The special case is if we have methods with optional argument(s). Then the arguments need to be checked manually in the same way as when CMOD is not used.