C#: Analysis change notes

calumgrant · calumgrant · commit 64534d4a7ab6 · 2019-06-26T20:24:55.000+01:00
diff --git a/change-notes/1.22/analysis-csharp.md b/change-notes/1.22/analysis-csharp.md
@@ -8,6 +8,18 @@
 
 ## Changes to code extraction
 
+* The following C# 8 features are now extracted:
+  - Suppress-nullable-warning expressions, for example `x!`
+  - Nullable reference types, for example `string?`
+
 ## Changes to QL libraries
 
+* The new class `AnnotatedType` models types with type annotations, including nullability information, return kinds (`ref` and `readonly ref`), and parameter kinds (`in`, `out`, and `ref`)
+  - The new predicate `Assignable.getAnnotatedType()` gets the annotated type of an assignable (such as a variable or a property)
+  - The new predicate `Callable.getAnnotatedReturnType()` and `DelegateType.getAnnotatedReturnType()` get the annotated type of the return value
+  - The new predicate `ArrayType.getAnnotatedElementType()` gets the annotated type of the array element
+  - The new predicate `ConstructedGeneric.getAnnotatedTypeArgument()` gets the annotated type of a type argument
+  - The new predicate `TypeParameterConstraints.getAnAnnotatedTypeConstraint()` gets a type constraint with type annotations
+* The new class `SuppressNullableWarningExpr` models suppress-nullable-warning expressions such as `x!`
+
 ## Changes to autobuilder
