Skip to content

Commit 86e9bf2

Browse files
authored
Merge pull request github#11996 from michaelnebel/csharp/refstructreffield
C# 11: Extractor support for `ref` fields in `ref struct`.
2 parents 38bcb2b + 115a0a4 commit 86e9bf2

File tree

23 files changed

+8454
-47
lines changed

23 files changed

+8454
-47
lines changed
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
class AnnotatedElement extends @cil_has_type_annotation {
2+
string toString() { none() }
3+
}
4+
5+
class Field extends @cil_field {
6+
string toString() { none() }
7+
}
8+
9+
from AnnotatedElement element, int annotation
10+
where cil_type_annotation(element, annotation) and not element instanceof Field
11+
select element, annotation

0 commit comments

Comments
 (0)