Skip to content

Commit cd41f4f

Browse files
committed
C#: Analysis change notes.
1 parent 573646f commit cd41f4f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

change-notes/1.21/analysis-csharp.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,12 @@
1212
* The following C# 8 features are now extracted:
1313
- Range expressions
1414
- Recursive patterns
15+
* The `unmanaged` type parameter constraint is now extracted.
1516

1617
## Changes to QL libraries
1718

1819
* The class `Attribute` has two new predicates: `getConstructorArgument()` and `getNamedArgument()`. The first predicate returns arguments to the underlying constructor call and the latter returns named arguments for initializing fields and properties.
20+
* The class `TypeParameterConstraints` has a new predicate `hasUnmanagedTypeConstraint()`, indicating that the type parameter has the `unmanaged` constraint.
1921
* The following QL classes have been added to model C# 8 features:
2022
- Class `IndexExpr` models from-end index expressions, for example `^1`
2123
- Class `PatternExpr` is an `Expr` that appears in a pattern. It has the new subclasses `DiscardPatternExpr`, `LabeledPatternExpr`, `RecursivePatternExpr`, `TypeAccessPatternExpr`, `TypePatternExpr`, and `VariablePatternExpr`.

0 commit comments

Comments
 (0)