CodeQL library for C#

codeql/csharp-all 5.4.1 (changelog, source)

Class AnnotatedConstructedType

A constructed type with additional type information.

Import path

import csharp

Direct supertypes

AnnotatedType

Indirect supertypes

TAnnotatedType

Fields

Inherited fields

from AnnotatedType

Predicates

getTypeArgument	Gets the `i`th type argument of this constructed type.
toString	Gets a textual representation of this annotated type.

Inherited predicates

appliesTo	Holds if this annotated type applies to element `e`.	from AnnotatedType
appliesToTypeArgument	Holds if this annotated type is the `i`th type argument of constructed generic ‘g’.	from AnnotatedType
appliesToTypeConstraint	Holds if this annotated type applies to type parameter constraints `constraints`.	from AnnotatedType
getAnnotations	Gets the type annotation set of this annotated type.	from AnnotatedType
getLocation	Gets the location of this annotated type.	from AnnotatedType
getType	Gets the unannotated type, for example `string` in `string?`. Note that this might be a nullable value type (`System.Nullable`).	from AnnotatedType
getUnderlyingType	Gets the underlying type, for example `string` in `string?` or `int` in `int?`. This also gets the underlying type of nullable value types (`System.Nullable`).	from AnnotatedType
isNonNullableRefType	Holds if the type is a non-nullable reference, for example, `string` in a nullable-enabled context.	from AnnotatedType
isNullableRefType	Holds if the type is a nullable reference, for example `string?`.	from AnnotatedType
isOut	Holds if the type is an `out`, for example parameter `p` in `void F(out int p)`.	from AnnotatedType
isReadonlyRef	Holds if the type is a `ref readonly`, for example the return type of `ref readonly int F()`.	from AnnotatedType
isRef	Holds if the type is a `ref`, for example the return type of `ref int F()`.	from AnnotatedType

Charpred

AnnotatedConstructedType