Rust: add forgotten files

Author: Paolo Tranquilli

rust/ql/lib/codeql/rust/elements/canonical_paths/internal/LangCrateRefImpl.qll

@@ -0,0 +1,21 @@
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `LangCrateRef`.
+ *
+ * INTERNAL: Do not use.
+ */
+
+private import codeql.rust.elements.internal.generated.canonical_paths.LangCrateRef
+
+/**
+ * INTERNAL: This module contains the customizable definition of `LangCrateRef` and should not
+ * be referenced directly.
+ */
+module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
+  /**
+   * A reference to a crate in the Rust standard libraries.
+   */
+  class LangCrateRef extends Generated::LangCrateRef {
+    override string toString() { result = this.getName() }
+  }
+}

rust/ql/lib/codeql/rust/elements/canonical_paths/internal/RepoCrateRefImpl.qll

@@ -0,0 +1,25 @@
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RepoCrateRef`.
+ *
+ * INTERNAL: Do not use.
+ */
+
+private import codeql.rust.elements.internal.generated.canonical_paths.RepoCrateRef
+
+/**
+ * INTERNAL: This module contains the customizable definition of `RepoCrateRef` and should not
+ * be referenced directly.
+ */
+module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
+  /**
+   * A reference to a crate in the repository.
+   */
+  class RepoCrateRef extends Generated::RepoCrateRef {
+    override string toString() {
+      result = this.getName()
+      or
+      not this.hasName() and result = "?"
+    }
+  }
+}

rust/ql/lib/codeql/rust/elements/canonical_paths/internal/RustcCrateRefImpl.qll

@@ -0,0 +1,21 @@
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `RustcCrateRef`.
+ *
+ * INTERNAL: Do not use.
+ */
+
+private import codeql.rust.elements.internal.generated.canonical_paths.RustcCrateRef
+
+/**
+ * INTERNAL: This module contains the customizable definition of `RustcCrateRef` and should not
+ * be referenced directly.
+ */
+module Impl {
+  // the following QLdoc is generated: if you need to edit it, do it in the schema file
+  /**
+   * A reference to a crate provided by rustc. TODO: understand where these come from.
+   */
+  class RustcCrateRef extends Generated::RustcCrateRef {
+    override string toString() { result = this.getName() }
+  }
+}