Go: Update dbscheme for aliases

github · mbg · Jul 24, 2024 · Jul 24, 2024 · Jul 24, 2024 · Jul 24, 2024
commit f4b3dfc408289f1ced6d4a78f2f7598646e7b9a7
@@ -861,6 +861,9 @@ var NamedType = TypeKind.NewBranch("@namedtype", CompositeType)
 // TypeSetLiteral is the type of type set literals
 var TypeSetLiteral = TypeKind.NewBranch("@typesetliteraltype", CompositeType)

+// TypeAlias is the type of type aliases
+var TypeAlias = TypeKind.NewBranch("@typealias", CompositeType)
+
 // PackageType is the type of packages
 var PackageType = NewPrimaryKeyType("@package")

@@ -1142,6 +1145,12 @@ var UnderlyingTypeTable = NewTable("underlying_type",
 	EntityColumn(TypeType, "tp"),
 )

+// AliasRhsTable is the table associating type aliases with their RHS.
+var AliasRhsTable = NewTable("alias_rhs",
+	EntityColumn(TypeAlias, "alias").Unique(),
+	EntityColumn(TypeType, "tp"),
+)
+
 // ComponentTypesTable is the table associating composite types with their component types
 var ComponentTypesTable = NewTable("component_types",
 	EntityColumn(CompositeType, "parent"),

@@ -204,6 +204,8 @@ base_type(unique int ptr: @pointertype ref, int tp: @type ref);

 underlying_type(unique int named: @namedtype ref, int tp: @type ref);

+alias_rhs(unique int alias: @typealias ref, int tp: @type ref);
+
 #keyset[parent, index]
 component_types(int parent: @compositetype ref, int index: int ref, string name: string ref, int tp: @type ref);

@@ -501,7 +503,8 @@ case @type.kind of
 | 36 = @recvchantype
 | 37 = @sendrcvchantype
 | 38 = @namedtype
-| 39 = @typesetliteraltype;
+| 39 = @typesetliteraltype
+| 40 = @typealias;

 @basictype = @booltype | @numerictype | @stringtype | @literaltype | @invalidtype | @unsafepointertype;

@@ -525,7 +528,7 @@ case @type.kind of
             | @stringliteraltype | @nilliteraltype;

 @compositetype = @typeparamtype | @containertype | @structtype | @pointertype | @interfacetype | @tupletype
-               | @signaturetype | @namedtype | @typesetliteraltype;
+               | @signaturetype | @namedtype | @typesetliteraltype | @typealias;

 @containertype = @arraytype | @slicetype | @maptype | @chantype;


@@ -1007,6 +1007,9 @@ class NamedType extends @namedtype, CompositeType {
  override Type getUnderlyingType() { result = this.getBaseType().getUnderlyingType() }
 }

+class AliasType extends @typealias, CompositeType {
+  Type getRhs() { alias_rhs(this, result) }
+}
 /**
 * A type that implements the builtin interface `error`.
 */