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 |
getLocation |
Gets the location of this element. |
isClass |
Holds if this type is a class. |
isContravariant |
Holds if this type parameter is contravariant/is |
isCovariant |
Holds if this type parameter is covariant/is |
isDefaultConstructible |
Holds if this type parameter has the |
isStruct |
Holds if this type parameter has the |
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 |
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 |
from NamedElement |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
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 |
from Type |
getUndecoratedName |
Gets the name of this type without additional syntax such as |
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 |
from NamedElement |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasQualifiedName |
Holds if this element has the qualified 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 |
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 |
from Type |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
matchesHandle |
Holds if |
from NamedElement |
matchesHandle |
Holds if |
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 |