C#: Add predicate isRef to the CIL Field class.

michaelnebel · michaelnebel · commit 2be090bb914a · 2023-01-30T14:28:35.000+01:00
diff --git a/csharp/ql/lib/semmle/code/cil/Variable.qll b/csharp/ql/lib/semmle/code/cil/Variable.qll
@@ -152,4 +152,7 @@ class Field extends DotNet::Field, Variable, Member, CustomModifierReceiver, @ci
   override ValueOrRefType getDeclaringType() { cil_field(this, result, _, _) }
 
   override Location getLocation() { result = this.getDeclaringType().getLocation() }
+
+  /** Holds if this declaration is `ref`. */
+  predicate isRef() { cil_type_annotation(this, 32) }
 }

Original file line number	Diff line number	Diff line change
`@@ -152,4 +152,7 @@ class Field extends DotNet::Field, Variable, Member, CustomModifierReceiver, @ci`
`152`	`152`	`override ValueOrRefType getDeclaringType() { cil_field(this, result, _, _) }`
`153`	`153`
`154`	`154`	`override Location getLocation() { result = this.getDeclaringType().getLocation() }`
	`155`	`+`
	`156`	+ /** Holds if this declaration is `ref`. */
	`157`	`+ predicate isRef() { cil_type_annotation(this, 32) }`
`155`	`158`	`}`