Merge branch 'main' into aeisenberg/autofix-reminder

github · Jul 29, 2024 · c0c71b3 · c0c71b3
2 parents 3022cf6 + 46b92f3
commit c0c71b3
Show file tree

Hide file tree

Showing 400 changed files with 92,316 additions and 5,683 deletions.
diff --git a/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/old.dbscheme b/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/old.dbscheme
diff --git a/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/semmlecode.cpp.dbscheme b/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/semmlecode.cpp.dbscheme
diff --git a/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/upgrade.properties b/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/upgrade.properties
@@ -0,0 +1,4 @@
+description: Revert support for using-enum declarations.
+compatibility: partial
+usings.rel: run usings.qlo
+using_container.rel: run using_container.qlo
diff --git a/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/using_container.ql b/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/using_container.ql
@@ -0,0 +1,14 @@
+class UsingEntry extends @using {
+  string toString() { none() }
+}
+
+class Element extends @element {
+  string toString() { none() }
+}
+
+from UsingEntry u, Element parent, int kind
+where
+  usings(u, _, _, kind) and
+  using_container(parent, u) and
+  kind != 3
+select parent, u
diff --git a/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/usings.ql b/cpp/downgrades/25e365d1e8147df0f759b604f96eb4bffea48271/usings.ql
@@ -0,0 +1,17 @@
+class UsingEntry extends @using {
+  string toString() { none() }
+}
+
+class Element extends @element {
+  string toString() { none() }
+}
+
+class Location extends @location_default {
+  string toString() { none() }
+}
+
+from UsingEntry u, Element target, Location loc, int kind
+where
+  usings(u, target, loc, kind) and
+  kind != 3
+select u, target, loc