Rust: Implement toString on type aliases and add docs

Author: paldepind

rust/ql/.generated.list

@@ -15,9 +15,12 @@ module Impl {
 
   // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
-   * A GenericParamList. For example:
+   * A list of generic parameters. For example:
    * ```rust
-   * todo!()
+   * fn f<A, B>(a: A, b: B) {}
+   * //  ^^^^^^
+   * type Foo<T1, T2> = (T1, T2);
+   * //      ^^^^^^^^
    * ```
    */
   class GenericParamList extends Generated::GenericParamList {

rust/ql/.gitattributes

@@ -1,4 +1,3 @@
-// generated by codegen, remove this comment if you wish to edit this file
 /**
  * This module provides a hand-modifiable wrapper around the generated class `TypeAlias`.
  *
@@ -12,11 +11,29 @@ private import codeql.rust.elements.internal.generated.TypeAlias
  * be referenced directly.
  */
 module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**
-   * A TypeAlias. For example:
+   * A type alias. For example:
    * ```rust
-   * todo!()
+   * type Point = (u8, u8);
+   *
+   * trait Trait {
+   *     type Output;
+   * //  ^^^^^^^^^^^
+   * }
    * ```
    */
-  class TypeAlias extends Generated::TypeAlias { }
+  class TypeAlias extends Generated::TypeAlias {
+    override string toStringImpl() {
+      result = concat(int i | | this.toStringPart(i), "" order by i)
+    }
+
+    private string toStringPart(int index) {
+      index = 0 and result = "type "
+      or
+      index = 1 and result = this.getName().getText()
+      or
+      index = 2 and result = this.getGenericParamList().toAbbreviatedString()
+    }
+  }
 }

rust/ql/lib/codeql/rust/elements/GenericParamList.qll

@@ -0,0 +1,2 @@
+| gen_generic_param_list.rs:5:9:5:14 | <...> | getNumberOfGenericParams: | 2 |
+| gen_generic_param_list.rs:7:13:7:20 | <...> | getNumberOfGenericParams: | 2 |

rust/ql/lib/codeql/rust/elements/TypeAlias.qll

@@ -0,0 +1,4 @@
+| gen_generic_param_list.rs:5:9:5:14 | <...> | 0 | gen_generic_param_list.rs:5:10:5:10 | A |
+| gen_generic_param_list.rs:5:9:5:14 | <...> | 1 | gen_generic_param_list.rs:5:13:5:13 | B |
+| gen_generic_param_list.rs:7:13:7:20 | <...> | 0 | gen_generic_param_list.rs:7:14:7:15 | T1 |
+| gen_generic_param_list.rs:7:13:7:20 | <...> | 1 | gen_generic_param_list.rs:7:18:7:19 | T2 |

rust/ql/lib/codeql/rust/elements/internal/GenericParamListImpl.qll

@@ -0,0 +1,2 @@
+| gen_type_alias.rs:4:5:5:26 | type Point | hasExtendedCanonicalPath: | no | hasCrateOrigin: | no | getNumberOfAttrs: | 0 | hasGenericParamList: | no | isDefault: | no | hasName: | yes | hasTypeRepr: | yes | hasTypeBoundList: | no | hasVisibility: | no | hasWhereClause: | no |
+| gen_type_alias.rs:8:9:8:20 | type Output | hasExtendedCanonicalPath: | no | hasCrateOrigin: | no | getNumberOfAttrs: | 0 | hasGenericParamList: | no | isDefault: | no | hasName: | yes | hasTypeRepr: | no | hasTypeBoundList: | no | hasVisibility: | no | hasWhereClause: | no |

rust/ql/lib/codeql/rust/elements/internal/TypeAliasImpl.qll

@@ -0,0 +1,2 @@
+| gen_type_alias.rs:4:5:5:26 | type Point | gen_type_alias.rs:5:10:5:14 | Point |
+| gen_type_alias.rs:8:9:8:20 | type Output | gen_type_alias.rs:8:14:8:19 | Output |

rust/ql/lib/codeql/rust/elements/internal/generated/GenericParamList.qll

@@ -0,0 +1 @@
+| gen_type_alias.rs:4:5:5:26 | type Point | gen_type_alias.rs:5:18:5:25 | TupleTypeRepr |

rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll

@@ -1123,9 +1123,12 @@ class _:
 @annotate(GenericParamList)
 class _:
     """
-    A GenericParamList. For example:
+    A list of generic parameters. For example:
     ```rust
-    todo!()
+    fn f<A, B>(a: A, b: B) {}
+    //  ^^^^^^
+    type Foo<T1, T2> = (T1, T2);
+    //      ^^^^^^^^
     ```
     """
 
@@ -1705,9 +1708,14 @@ class _:
 @annotate(TypeAlias)
 class _:
     """
-    A TypeAlias. For example:
+    A type alias. For example:
     ```rust
-    todo!()
+    type Point = (u8, u8);
+
+    trait Trait {
+        type Output;
+    //  ^^^^^^^^^^^
+    }
     ```
     """