C#: Add overload resolution priority attribute class.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/Attribute.qll

@@ -69,6 +69,9 @@ class Attribute extends TopLevelExprParent, @attribute {
     attributes(this, _, getTypeRef(result), _)
   }
 
+  /** Gets the namespace containing the attribute type declaration. */
+  Namespace getNamespace() { result = this.getType().getNamespace() }
+
   /** Gets the element that this attribute is attached to. */
   Attributable getTarget() { attributes(this, _, _, result) }
 

csharp/ql/lib/semmle/code/csharp/frameworks/system/runtime/CompilerServices.qll

@@ -74,11 +74,25 @@ class SystemRuntimeCompilerServicesConfiguredTaskAwaitableTConfiguredTaskAwaiter
 /** An attribute of type `System.Runtime.CompilerServices.InlineArrayAttribute`. */
 class SystemRuntimeCompilerServicesInlineArrayAttribute extends Attribute {
   SystemRuntimeCompilerServicesInlineArrayAttribute() {
-    this.getType().hasFullyQualifiedName("System.Runtime.CompilerServices", "InlineArrayAttribute")
+    this.getNamespace() instanceof SystemRuntimeCompilerServicesNamespace and
+    this.getType().hasName("InlineArrayAttribute")
   }
 
   /**
    * Gets the length of the inline array.
    */
   int getLength() { result = this.getConstructorArgument(0).getValue().toInt() }
 }
+
+/** An attribute of type `System.Runtime.CompilerServices.OverloadResolutionPriority`. */
+class SystemRuntimeCompilerServicesOverloadResolutionPriorityAttribute extends Attribute {
+  SystemRuntimeCompilerServicesOverloadResolutionPriorityAttribute() {
+    this.getNamespace() instanceof SystemRuntimeCompilerServicesNamespace and
+    this.getType().hasName("OverloadResolutionPriorityAttribute")
+  }
+
+  /**
+   * Gets the priority number.
+   */
+  int getPriority() { result = this.getConstructorArgument(0).getValue().toInt() }
+}