Better test runner (#3922)

1 files changed, 267 insertions, 0 deletions

diff --git a/tests/suite/introspection/query.typ b/tests/suite/introspection/query.typ
new file mode 100644
index 00000000..3a4b4fbf
--- /dev/null
+++ b/tests/suite/introspection/query.typ
@@ -0,0 +1,267 @@
+// Test creating a header with the query function.
+
+--- query-here ---
+// Test that `here()` yields the context element's location.
+#context test(query(here()).first().func(), (context none).func())
+
+--- query-running-header ---
+#set page(
+  paper: "a8",
+  margin: (y: 1cm, x: 0.5cm),
+  header: context {
+    smallcaps[Typst Academy]
+    h(1fr)
+    let after = query(selector(heading).after(here()))
+    let before = query(selector(heading).before(here()))
+    let elem = if before.len() != 0 {
+      before.last()
+    } else if after.len() != 0 {
+      after.first()
+    }
+    emph(elem.body)
+  }
+)
+
+#outline()
+
+= Introduction
+#v(1cm)
+
+= Background
+#v(2cm)
+
+= Approach
+
+--- query-list-of-figures ---
+#set page(
+  paper: "a8",
+  numbering: "1 / 1",
+  margin: (bottom: 1cm, rest: 0.5cm),
+)
+
+#set figure(numbering: "I")
+#show figure: set image(width: 80%)
+
+= List of Figures
+#context {
+  let elements = query(selector(figure).after(here()))
+  for it in elements [
+    Figure
+    #numbering(it.numbering,
+      ..counter(figure).at(it.location())):
+    #it.caption.body
+    #box(width: 1fr, repeat[.])
+    #counter(page).at(it.location()).first() \
+  ]
+}
+
+#figure(
+  image("/assets/images/cylinder.svg", width: 50%),
+  caption: [Cylinder],
+)
+
+#figure(
+  rect[Just some stand-in text],
+  kind: image,
+  supplement: "Figure",
+  caption: [Stand-in text],
+)
+
+#figure(
+  image("/assets/images/tetrahedron.svg", width: 50%),
+  caption: [Tetrahedron],
+)
+
+--- query-before-after ---
+// LARGE
+#set page(
+  paper: "a7",
+  numbering: "1 / 1",
+  margin: (bottom: 1cm, rest: 0.5cm),
+)
+
+#show heading.where(level: 1, outlined: true): it => [
+  #it
+
+  #set text(size: 12pt, weight: "regular")
+  #outline(
+    title: "Chapter outline",
+    indent: true,
+    target: heading
+      .where(level: 1)
+      .or(heading.where(level: 2))
+      .after(it.location(), inclusive: true)
+      .before(
+        heading
+          .where(level: 1, outlined: true)
+          .after(it.location(), inclusive: false),
+        inclusive: false,
+      )
+  )
+]
+
+#set heading(outlined: true, numbering: "1.")
+
+= Section 1
+== Subsection 1
+== Subsection 2
+=== Subsubsection 1
+=== Subsubsection 2
+== Subsection 3
+
+= Section 2
+== Subsection 1
+== Subsection 2
+
+= Section 3
+== Subsection 1
+== Subsection 2
+=== Subsubsection 1
+=== Subsubsection 2
+=== Subsubsection 3
+== Subsection 3
+
+--- query-and-or ---
+#set page(
+  paper: "a7",
+  numbering: "1 / 1",
+  margin: (bottom: 1cm, rest: 0.5cm),
+)
+
+#set heading(outlined: true, numbering: "1.")
+
+#context [
+  Non-outlined elements:
+  #(query(selector(heading).and(heading.where(outlined: false)))
+    .map(it => it.body).join(", "))
+]
+
+#heading("A", outlined: false)
+#heading("B", outlined: true)
+#heading("C", outlined: true)
+#heading("D", outlined: false)
+
+--- query-complex ---
+= A
+== B
+#figure([Cat], kind: "cat", supplement: [Other])
+=== D
+= E <first>
+#figure([Frog], kind: "frog", supplement: none)
+#figure([Giraffe], kind: "giraffe", supplement: none) <second>
+#figure([GiraffeCat], kind: "cat", supplement: [Other]) <second>
+= H
+#figure([Iguana], kind: "iguana", supplement: none)
+== I
+
+#let test-selector(selector, ref) = context {
+  test(query(selector).map(e => e.body), ref)
+}
+
+// Test `or`.
+#test-selector(
+  heading.where(level: 1).or(heading.where(level: 3)),
+  ([A], [D], [E], [H]),
+)
+
+#test-selector(
+  heading.where(level: 1).or(
+    heading.where(level: 3),
+    figure.where(kind: "frog"),
+  ),
+  ([A], [D], [E], [Frog], [H]),
+)
+
+#test-selector(
+  heading.where(level: 1).or(
+    heading.where(level: 2),
+    figure.where(kind: "frog"),
+    figure.where(kind: "cat"),
+  ),
+  ([A], [B], [Cat], [E], [Frog], [GiraffeCat], [H], [I]),
+)
+
+#test-selector(
+  figure.where(kind: "dog").or(heading.where(level: 3)),
+  ([D],),
+)
+
+#test-selector(
+  figure.where(kind: "dog").or(figure.where(kind: "fish")),
+  (),
+)
+
+// Test `or` duplicates removal.
+#test-selector(
+  heading.where(level: 1).or(heading.where(level: 1)),
+  ([A], [E], [H]),
+)
+
+// Test `and`.
+#test-selector(
+  figure.where(kind: "cat").and(figure.where(kind: "frog")),
+  (),
+)
+
+// Test `or` with `before`/`after`
+#test-selector(
+  selector(heading)
+    .before(<first>)
+    .or(selector(figure).before(<first>)),
+  ([A], [B], [Cat], [D], [E]),
+)
+
+#test-selector(
+  heading.where(level: 2)
+    .after(<first>)
+    .or(selector(figure).after(<first>)),
+  ([Frog], [Giraffe], [GiraffeCat], [Iguana], [I]),
+)
+
+// Test `and` with `after`
+#test-selector(
+   figure.where(kind: "cat")
+    .and(figure.where(supplement: [Other]))
+    .after(<first>),
+   ([GiraffeCat],),
+)
+
+// Test `and` (with nested `or`)
+#test-selector(
+  heading.where(level: 2)
+    .or(heading.where(level: 3))
+    .and(heading.where(level: 2).or(heading.where(level: 1))),
+  ([B], [I]),
+)
+
+#test-selector(
+  heading.where(level: 2)
+    .or(heading.where(level: 3), heading.where(level:1))
+    .and(
+      heading.where(level: 2).or(heading.where(level: 1)),
+      heading.where(level: 3).or(heading.where(level: 1)),
+    ),
+  ([A], [E], [H]),
+)
+
+// Test `and` with `or` and `before`/`after`
+#test-selector(
+  heading.where(level: 1).before(<first>)
+    .or(heading.where(level: 3).before(<first>))
+    .and(
+      heading.where(level: 1).before(<first>)
+        .or(heading.where(level: 2).before(<first>))
+    ),
+  ([A], [E]),
+)
+
+#test-selector(
+  heading.where(level: 1).before(<first>, inclusive: false)
+    .or(selector(figure).after(<first>))
+    .and(figure.where(kind: "iguana").or(
+      figure.where(kind: "frog"),
+      figure.where(kind: "cat"),
+      heading.where(level: 1).after(<first>),
+    )),
+  ([Frog], [GiraffeCat], [Iguana])
+)