Delete more about alias types in downgrade script

Author: owen-mc

go/downgrades/60e1b7912d7c68066b13c776b07c2da5fc13342a/objects.ql

@@ -0,0 +1,14 @@
+class Type_ extends @type {
+  string toString() { result = "Type" }
+}
+
+// The schema for types and typename are:
+//
+// types(unique int id: @type, int kind: int ref);
+// objects(unique int id: @object, int kind: int ref, string name: string ref);
+from Type_ type, int object, int kind
+where
+  objects(type, object) and
+  types(type, kind) and
+  kind != 40 // @typealias
+select type, object

go/downgrades/60e1b7912d7c68066b13c776b07c2da5fc13342a/type_objects.ql

@@ -0,0 +1,18 @@
+class Type_ extends @type {
+  string toString() { result = "Type" }
+}
+
+class Object_ extends @object {
+  string toString() { result = "Object" }
+}
+
+// The schema for types and typename are:
+//
+// types(unique int id: @type, int kind: int ref);
+// type_objects(unique int tp: @type ref, int object: @object ref);
+from Type_ type, Object_ object, int kind
+where
+  type_objects(type, object) and
+  types(type, kind) and
+  kind != 40 // @typealias
+select type, object

go/downgrades/60e1b7912d7c68066b13c776b07c2da5fc13342a/typename.ql

@@ -0,0 +1,14 @@
+class Type_ extends @type {
+  string toString() { result = "Type" }
+}
+
+// The schema for types and typename are:
+//
+// types(unique int id: @type, int kind: int ref);
+// typename(unique int tp: @type ref, string name: string ref);
+from Type_ type, string name, int kind
+where
+  typename(type, name) and
+  types(type, kind) and
+  kind != 40 // @typealias
+select type, name

go/downgrades/60e1b7912d7c68066b13c776b07c2da5fc13342a/types.ql

@@ -0,0 +1,12 @@
+class Type_ extends @type {
+  string toString() { result = "Type" }
+}
+
+// The schema for types is:
+//
+// types(unique int id: @type, int kind: int ref);
+from Type_ type, int kind
+where
+  types(type, kind) and
+  kind != 40 // @typealias
+select type, kind

go/downgrades/60e1b7912d7c68066b13c776b07c2da5fc13342a/upgrade.properties

@@ -2,3 +2,6 @@ description: Remove support for type aliases
 compatibility: full
 
 alias_rhs.rel: delete
+types.rel: run types.qlo
+typename.rel: run typename.qlo
+type_objects.rel: run type_objects.qlo