typeInfo(func)
"typeInfo<-"(func, rewrite = TRUE, value)
func
is rewritten so that checks for the arguments
and return type are added to the code and the appropriate
actions are taken when the function returns control to the caller.
This is necessary to get calls to return
in the function
to behave correctly and allow the return value to be validated.
TypeSpecification-class
typeInfo
returns the type information associated with
the function.
typeInfo<-
returns the modified function.
checkArgs
checkReturnValue