checkArgs | Validate the arguments in a call to a typed function. |
checkArgs-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-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-method | Class "TypedSignature" representing type information about function parameters and the return type |
hasParameterType-method | Functions to query existence of specific type information |
hasReturnType | Functions to query existence of specific type information |
hasReturnType-method | Class "TypedSignature" representing type information about function parameters and the return type |
hasReturnType-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-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-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-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. |
typeInfo<- | Get or set type information for a function. |
TypeSpecification-class | Class "TypeSpecification" and derived class |