C++: Add upgrade and downgrade scripts

github · Jan 13, 2025 · 522e5f7 · 522e5f7
1 parent 113cb04
commit 522e5f7
Show file tree

Hide file tree

Showing 8 changed files with 9,681 additions and 0 deletions.
diff --git a/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/old.dbscheme b/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/old.dbscheme
diff --git a/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/semmlecode.cpp.dbscheme b/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/semmlecode.cpp.dbscheme
diff --git a/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/upgrade.properties b/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/upgrade.properties
@@ -0,0 +1,3 @@
+description: Improve user types and proxy classes
+compatibility: full
+usertypes.rel: run usertypes.qlo
diff --git a/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/usertypes.ql b/cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/usertypes.ql
@@ -0,0 +1,10 @@
+class UserType extends @usertype {
+  string toString() { none() }
+}
+
+bindingset[kind]
+int getKind(int kind) { if kind in [15, 16, 17] then result = 6 else result = kind }
+
+from UserType usertype, string name, int kind
+where usertypes(usertype, name, kind)
+select usertype, name, getKind(kind)