Class TypeParameter

A type parameter.

Import path


                                import semmle.code.cil.Types

Direct supertypes

Indirect supertypes

Predicates

getATypeConstraint	Gets a type constraint on this type parameter, if any.
getGeneric	Gets the generic type/method declaring this type parameter.
getIndex	Gets the index of this type parameter. For example the index of `U` in `Func<T,U>` is 1.
getLocation	Gets the location of this element.
isClass	Holds if this type is a class.
isContravariant	Holds if this type parameter is contravariant/is `out`.
isCovariant	Holds if this type parameter is covariant/is `in`.
isDefaultConstructible	Holds if this type parameter has the `new` constraint.
isStruct	Holds if this type parameter has the `struct` constraint.

Inherited predicates

compiledFromSource	Holds if this element was compiled from source code that is also present in the database. That is, this element corresponds to another element from source.	from NamedElement
compiledFromSource	Holds if this element was compiled from source code that is also present in the database. That is, this element corresponds to another element from source.	from NamedElement
fromLibrary	Holds if this element is from an assembly.	from Element
fromLibrary	Holds if this element is from an assembly.	from Element
fromSource	Holds if this element is from source code.	from Element
fromSource	Holds if this element is from source code.	from Element
getABaseInterface	Gets an immediate base interface of this class, if any.	from Type
getABaseType	Gets an immediate base type of this type, if any.	from Type
getALocation	Gets a location of this element, which can include locations in both DLLs and source files.	from Type
getAMember	Gets a member of this type, if any.	from Type
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from Element
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from Element
getASubtype	Gets an immediate subtype of this type, if any.	from Type
getAnAttribute	Gets an attribute (for example `[Obsolete]`) of this declaration, if any.	from Declaration
getBaseClass	Gets the immediate base class of this class, if any.	from Type
getCSharpDeclaration	Gets the C# declaration corresponding to this CIL declaration, if any. Note that this is only for source/unconstructed declarations.	from Declaration
getConversionIndex	Gets an index for implicit conversions. A type can be converted to another numeric type of a higher index.	from Type
getDeclaringGeneric	Gets the generic type or method declaring this type parameter.	from TypeParameter
getDeclaringType	Gets the containing type of this type, if any.	from Type
getFile	Gets the file containing this element.	from Element
getFile	Gets the file containing this element.	from Element
getLabel	Gets a unique string label for this element.	from TypeParameter
getLanguage	Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.	from Element
getLanguage	Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.	from Element
getName	Gets the name of this element.	from Type
getNamespace	Gets the namespace directly containing this type, if any.	from Type
getParent	Gets the parent of this type container, if any.	from Type
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
getQualifiedName	Gets the fully qualified name of this element, for example the fully qualified name of `M` on line 3 is `N.C.M` in	from NamedElement
getQualifiedName	Gets the fully qualified name of this element, for example the fully qualified name of `M` on line 3 is `N.C.M` in	from NamedElement
getUnboundDeclaration	Gets the unbound version of this declaration, that is, the declaration where all type arguments have been removed. For example, in	from Type
getUnboundType	Gets the unbound generic type of this type, or `this` if the type is already unbound.	from Type
getUndecoratedName	Gets the name of this type without additional syntax such as `[]`, `*`, or `<...>`.	from TypeParameter
getUnderlyingType	Gets the machine type used to store this type.	from Type
hasName	Holds if this element has name ‘name’.	from NamedElement
hasName	Holds if this element has name ‘name’.	from NamedElement
hasQualifiedName	DEPRECATED: Use `hasQualifiedName/2` instead. Holds if this element has qualified name `qualifiedName`, for example `System.Console.WriteLine`.	from NamedElement
hasQualifiedName	DEPRECATED: Use `hasQualifiedName/2` instead. Holds if this element has qualified name `qualifiedName`, for example `System.Console.WriteLine`.	from NamedElement
hasQualifiedName	Holds if this element has the qualified name `qualifier`.`name`.	from Type
hasUndecoratedName	Holds if this element has undecorated name ‘name’.	from Declaration
hasUndecoratedName	Holds if this element has undecorated name ‘name’.	from Declaration
isEnum	Holds if this type is an `enum`.	from Type
isInterface	Holds if this type is an interface.	from Type
isPrivate	Holds if this type is private.	from Type
isPublic	Holds if this type is public.	from Type
isSystemType	Holds if this type is a member of the `System` namespace and has the name `name`.	from Type
isUnboundDeclaration	Holds if this declaration is unbound.	from Declaration
isUnboundDeclaration	Holds if this declaration is unbound.	from Declaration
matchesHandle	Holds if `other` has the same metadata handle in the same assembly.	from NamedElement
matchesHandle	Holds if `other` has the same metadata handle in the same assembly.	from NamedElement
toString	Gets a textual representation of this element.	from Type
toStringWithTypes	Gets the full textual representation of this element, including type information.	from TypeContainer