CodeQL library for C#
Search

Class AnnotatedConstructedType

A constructed type with additional type information.

Import path

import csharp

Direct supertypes

Indirect supertypes

Fields

Inherited fields

Predicates

getTypeArgument

Gets the ith 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 ith 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