CodeQL library for C#
Search

Module AnnotatedType

Provides predicates and classes for representing annotations on types, such as nullability information.

Use an element’s getType() predicate to access the standard type of the element, without regard for annotations on the type. Use the corresponding getAnnotatedType() predicate to get the annotated type, that includes this additional information.

Import path

import semmle.code.csharp.AnnotatedType

Imports

csharp

The default C# QL library.

Classes

AnnotatedArrayType

An array type with additional type information.

AnnotatedConstructedType

A constructed type with additional type information.

AnnotatedType

A type with additional type information.