Stub IndexerName attribute

tamasvajk · tamasvajk · commit 7e7a52de3cff · 2021-06-23T09:26:53.000+02:00
diff --git a/csharp/ql/src/Stubs/Stubs.qll b/csharp/ql/src/Stubs/Stubs.qll
@@ -693,9 +693,9 @@ private string stubMember(Member m) {
               if m instanceof Indexer
               then
                 result =
-                  "    " + stubModifiers(m) + stubClassName(m.(Indexer).getType()) + " " +
-                    stubExplicitImplementation(m) + "this[" + stubParameters(m) + "] { " +
-                    stubGetter(m) + stubSetter(m) + "}\n"
+                  "    " + stubIndexerNameAttribute(m) + stubModifiers(m) +
+                    stubClassName(m.(Indexer).getType()) + " " + stubExplicitImplementation(m) +
+                    "this[" + stubParameters(m) + "] { " + stubGetter(m) + stubSetter(m) + "}\n"
               else
                 if m instanceof Field // EnumConstants are already stubbed
                 then
@@ -719,6 +719,12 @@ private string stubMember(Member m) {
                         "    // ERR: Stub generator didn't handle member: " + m.getName() + "\n"
 }
 
+private string stubIndexerNameAttribute(Indexer i) {
+  if i.getName() != "Item"
+  then result = "[System.Runtime.CompilerServices.IndexerName(\"" + i.getName() + "\")]\n    "
+  else result = ""
+}
+
 private Constructor getBaseConstructor(ValueOrRefType type) {
   result =
     min(Constructor bc |
