FuncType models a parameterized Func type.
Slots
- aritySource
-
Int arity()
- doParameterizeSource
-
override CType doParameterize(Int ch)
Overrides compiler::GenericType.doParameterize
- fitsSource
-
Overrides compiler::CType.fits
Doc inherited from compiler::CType.fits
Does this type implement the specified type. If true, then this type is assignable to the specified type (although the converse is not necessarily true). All types (including mixin types) fit sys::Obj.
- flagsSource
-
override Int flags()
Overrides compiler::CType.flags
Doc inherited from compiler::CType.flags
Get the flags bitmask.
- inferredSignatureSource
-
Bool inferredSignature
- isGenericParameterSource
-
override readonly Bool isGenericParameter
Overrides compiler::CType.isGenericParameter
Doc inherited from compiler::CType.isGenericParameter
Return if this type is a generic parameter (such as V or K) in a generic type (List, Map, or Method). Generic parameters serve as place holders for the parameterization of the generic type. Fantom has a predefined set of generic parameters which are always defined in the sys pod with a one character name.
- isValidSource
-
override Bool isValid()
Overrides compiler::CType.isValid
Doc inherited from compiler::CType.isValid
Is this a valid type usable anywhere (such as local var)
- makeSource
- makeItBlockSource
-
new makeItBlock(CType itType)
- mostSpecificSource
- namesSource
-
readonly Str[] names
- parameterizeThisSource
-
override FuncType parameterizeThis(CType thisType)
Overrides compiler::CType.parameterizeThis
Replace any occurance of "sys::This" with thisType.
- paramsSource
-
readonly CType[] params
- retSource
-
readonly CType ret
- signatureSource
-
override readonly Str signature
Overrides compiler::CType.signature
Doc inherited from compiler::CType.signature
This is the full signature of the type.
- toAritySource
- toMostSpecificSource
- toParamDefsSource
- usesThisSource
-
Bool usesThis()
Return if this function type has
This
type in its signature.