CodeQL library for C#

codeql/csharp-all 1.1.0 (changelog, source)

Class AnnotatedArrayType

An array type with additional type information.

Import path

import csharp

Direct supertypes

AnnotatedType

Indirect supertypes

TAnnotatedType

Fields

Inherited fields

from AnnotatedType

Predicates

getElementType	Gets the annotated element type of this array, for example `int?` in `int?[]`.
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