checkArgs |
Validate the arguments in a call to a typed function. |
checkArgs,function-method |
Validate the arguments in a call to a typed function. |
checkArgs,IndependentTypeSpecification-method |
Validate the arguments in a call to a typed function. |
checkArgs,InheritsTypeTest-method |
Validate the arguments in a call to a typed function. |
checkArgs,missing-method |
Validate the arguments in a call to a typed function. |
checkArgs,SimultaneousTypeSpecification-method |
Validate the arguments in a call to a typed function. |
checkArgs-methods |
Validate the arguments in a call to a typed function. |
checkReturnValue |
Verify the return value from the function has the appropriate type |
ClassNameOrExpression-class |
Class "ClassNameOrExpression" to represent type information as either class names or arbitrary language test |
coerce,character,NamedTypeTest-method |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
DynamicTypeTest |
Class "DynamicTypeTest" for computed tests on objects. |
DynamicTypeTest-class |
Class "DynamicTypeTest" for computed tests on objects. |
hasParameterType |
Functions to query existence of specific type information |
hasParameterType,function-method |
Functions to query existence of specific type information |
hasParameterType,IndependentTypeSpecification-method |
Functions to query existence of specific type information |
hasParameterType,NamedTypeTest-method |
Functions to query existence of specific type information |
hasParameterType,SimultaneousTypeSpecification-method |
Functions to query existence of specific type information |
hasParameterType,TypedSignature-method |
Class "TypedSignature" representing type information about function parameters and the return type |
hasParameterType,TypeSpecification-method |
Functions to query existence of specific type information |
hasReturnType |
Functions to query existence of specific type information |
hasReturnType,function-method |
Functions to query existence of specific type information |
hasReturnType,SimultaneousTypeSpecification-method |
Functions to query existence of specific type information |
hasReturnType,TypedSignature-method |
Class "TypedSignature" representing type information about function parameters and the return type |
hasReturnType,TypeSpecification-method |
Functions to query existence of specific type information |
IndependentTypeSpecification |
Create separate type information for different parameters. |
IndependentTypeSpecification-class |
Class "TypeSpecification" and derived class |
InheritsTypeTest |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
InheritsTypeTest-class |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
initialize,TypeSpecifcation-method |
Class "TypeSpecification" and derived class |
initialize,TypeSpecification-method |
Class "TypeSpecification" and derived class |
NamedTypeTest-class |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
paramNames |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,function-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,IndependentTypeSpecification-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,NamedTypeTest-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,ReturnTypeSpecification-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,SimultaneousTypeSpecification-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,TypedSignature-method |
Compute the names of all the specified parameters in a TypeSpecification object |
paramNames,TypeSpecification-method |
Compute the names of all the specified parameters in a TypeSpecification object |
ReturnTypeSpecification |
Constructor for specifying information about only the return type |
ReturnTypeSpecification-class |
Class "TypeSpecification" and derived class |
rewriteTypeCheck |
Insert code to support type validation |
showTypeInfo |
Display information about argument types |
showTypeInfo,ANY-method |
Display information about argument types |
showTypeInfo,DynamicTypeTest-method |
Display information about argument types |
showTypeInfo,function-method |
Display information about argument types |
showTypeInfo,IndependentTypeSpecification-method |
Display information about argument types |
showTypeInfo,InheritsTypeTest-method |
Display information about argument types |
showTypeInfo,SimultaneousTypeSpecification-method |
Display information about argument types |
showTypeInfo,StrictIsTypeTest-method |
Display information about argument types |
showTypeInfo,TypedSignature-method |
Display information about argument types |
SimultaneousTypeSpecification |
Create type signature information governing parameters in a call. |
SimultaneousTypeSpecification-class |
Class "TypeSpecification" and derived class |
StrictIsTypeTest |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
StrictIsTypeTest-class |
Class "NamedTypeTest" and sub-classes for tests on class of an object. |
TypedSignature |
Constructor for a TypedSignature object |
TypedSignature-class |
Class "TypedSignature" representing type information about function parameters and the return type |
typeInfo |
Get or set type information for a function. |
TypeSpecification-class |
Class "TypeSpecification" and derived class |