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.AnnotatedTypeImports
| 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. |