rewriteTypeCheck: Insert code to support type validation

In TypeInfo: Optional Type Specification Prototype

Description

This generic function and its methods are used to modify the expressions in the body of a function in order to support the validation of type information in calls to this function. This changes the form of explicit calls to return, modifies the last expression if it is not an explicit call to return, and adds an initial command to compute check the arguments in the cal via checkArgs.

Usage

rewriteTypeCheck(f, doReturn = TRUE, checkArgs = TRUE, addInvisible = FALSE)

Arguments

f	the object which is to be modified to add the information for checking the return value and checking the input arguments. These are functions, expressions, calls, and other language objects.
doReturn	a logical value. If this is FALSE, the modifications are greatly simplified and no additions are made to handle the validation of the return value. This is used when the type information provides no information about the return type and so it cannot be validated or constrained.
checkArgs	a logical value indicating whether the modifications should including check the arguments. If the only type information given is about the return type, no checking of the arguments is necessary (in the current model).
addInvisible	logical indicating whether returned argument needs to be cloaked in invisible.

Value

The potentially modified version of the original input argument. The modifications contain any necessary changes to support the type checking at run-time.

Author(s)

Duncan Temple Lang <[e-mail]>

See Also

typeInfo checkArgs checkReturnValue

Examples

 f = function(x, y) {
   z = x + y
   sum(z)
 }

TypeInfo documentation built on Nov. 8, 2020, 5:40 p.m.