Rust: commit forgotten new files

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

@@ -0,0 +1,11 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Missing`.
+ */
+
+private import codeql.rust.generated.Missing
+
+/**
+ * The base class marking errors during parsing or resolution.
+ */
+class Missing extends Generated::Missing { }

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

@@ -0,0 +1,14 @@
+// generated by codegen, remove this comment if you wish to edit this file
+/**
+ * This module provides a hand-modifiable wrapper around the generated class `Unextracted`.
+ */
+
+private import codeql.rust.generated.Unextracted
+
+/**
+ * The base class marking everything that was not properly extracted for some reason, such as:
+ * * syntax errors
+ * * insufficient context information
+ * * yet unimplemented parts of the extractor
+ */
+class Unextracted extends Generated::Unextracted { }

rust/ql/lib/codeql/rust/generated/Missing.qll

@@ -0,0 +1,22 @@
+// generated by codegen
+/**
+ * This module provides the generated definition of `Missing`.
+ * INTERNAL: Do not import directly.
+ */
+
+private import codeql.rust.generated.Synth
+private import codeql.rust.generated.Raw
+import codeql.rust.elements.Unextracted
+
+/**
+ * INTERNAL: This module contains the fully generated definition of `Missing` and should not
+ * be referenced directly.
+ */
+module Generated {
+  /**
+   * The base class marking errors during parsing or resolution.
+   * INTERNAL: Do not reference the `Generated::Missing` class directly.
+   * Use the subclass `Missing`, where the following predicates are available.
+   */
+  class Missing extends Synth::TMissing, Unextracted { }
+}

rust/ql/lib/codeql/rust/generated/Unextracted.qll

@@ -0,0 +1,25 @@
+// generated by codegen
+/**
+ * This module provides the generated definition of `Unextracted`.
+ * INTERNAL: Do not import directly.
+ */
+
+private import codeql.rust.generated.Synth
+private import codeql.rust.generated.Raw
+import codeql.rust.elements.Element
+
+/**
+ * INTERNAL: This module contains the fully generated definition of `Unextracted` and should not
+ * be referenced directly.
+ */
+module Generated {
+  /**
+   * The base class marking everything that was not properly extracted for some reason, such as:
+   * * syntax errors
+   * * insufficient context information
+   * * yet unimplemented parts of the extractor
+   * INTERNAL: Do not reference the `Generated::Unextracted` class directly.
+   * Use the subclass `Unextracted`, where the following predicates are available.
+   */
+  class Unextracted extends Synth::TUnextracted, Element { }
+}