Query editor for the dataframe view

Cargo.lock

@@ -4858,7 +4858,6 @@ dependencies = [
  "re_log",
  "re_log_types",
  "re_space_view",
- "re_space_view_dataframe",
  "re_space_view_spatial",
  "re_space_view_time_series",
  "re_tracing",
@@ -5154,6 +5153,7 @@ dependencies = [
  "re_build_tools",
  "re_format",
  "re_log",
+ "re_log_types",
  "re_tracing",
  "re_types_builder",
  "re_types_core",

crates/store/re_types/Cargo.toml

@@ -51,6 +51,7 @@ testing = []
 # Rerun
 re_format.workspace = true
 re_log.workspace = true
+re_log_types.workspace = true
 re_tracing.workspace = true
 re_types_core.workspace = true
 

crates/store/re_types/definitions/rerun/blueprint/archetypes/dataframe_query.fbs

@@ -0,0 +1,52 @@
+namespace rerun.blueprint.archetypes;
+
+
+// Rationale behind the present data modelling:
+// - Avoid using `union` at all cost.
+// - An explicit "mode" enum maps well with a UI toggle and API parameter, and enabled a hard disambiguation when
+//   settings are present for both the latest at and range modes.
+// - Timestamps are hard-invalidated by a change of timeline. So we keep them on a per-timeline basis.
+
+// TODO(#7067): add visible components (maybe in another archetype?)
+// TODO(#7072): add (optional) PoV components
+// Note: component list should be modelled as:
+//     component PovComponents {
+//        datatype ComponentNames {
+//            value: [string];
+//        }
+//     }
+//
+// Motivation:
+// - Chances are high that the user prefers to have their pov components _not_ invalidated by a changeof timeline.
+// - That is even though a component might _technically_ be soft-invalidated by a change of timeline (e.g. if it was
+//   not logged on that particular timeline). But we have to deal regardless with potentially invalid component, so this
+//   doesn't change the story much.
+
+// --
+
+/// The query for the dataframe view.
+table DataframeQuery (
+    "attr.rerun.scope": "blueprint",
+    "attr.rust.generate_field_info"
+) {
+    // --- Optional ---
+
+    /// The timeline for this query.
+    ///
+    /// If unset, use the time panel's timeline and a latest at query, ignoring all other components of this archetype.
+    timeline: rerun.blueprint.components.Timeline ("attr.rerun.component_optional", nullable, order: 100);
+
+    /// Type of query: latest at or range
+    mode: rerun.blueprint.components.QueryKind ("attr.rerun.component_optional", nullable,order: 200);
+
+    /// Configuration for latest at queries.attribute
+    ///
+    /// Note: configuration as saved on a per-timeline basis.
+    latest_at_queries: rerun.blueprint.components.LatestAtQueries ("attr.rerun.component_optional", nullable,order: 400);
+
+    /// Configuration for the time range queries.
+    ///
+    /// Note: configuration as saved on a per-timeline basis.
+    time_range_queries: rerun.blueprint.components.TimeRangeQueries ("attr.rerun.component_optional", nullable,order: 500);
+}
+

crates/store/re_types/definitions/rerun/blueprint/components/latest_at_queries.fbs

@@ -0,0 +1,14 @@
+
+namespace rerun.blueprint.components;
+
+/// Configuration for latest at queries.
+///
+/// Note: configuration as saved on a per-timeline basis.
+table LatestAtQueries (
+  "attr.arrow.transparent",
+  "attr.rust.derive": "Default, PartialEq, Eq",
+  "attr.rust.repr": "transparent",
+  "attr.rerun.scope": "blueprint"
+) {
+    queries: [rerun.blueprint.datatypes.LatestAtQuery] (order: 100);
+}

crates/store/re_types/definitions/rerun/blueprint/components/query_kind.fbs

@@ -0,0 +1,16 @@
+namespace rerun.blueprint.components;
+
+
+/// The kind of query displayed by the dataframe view
+enum QueryKind: ubyte (
+    "attr.rerun.scope": "blueprint"
+) {
+    /// Invalid value. Won't show up in generated types.
+    Invalid = 0,
+
+    /// Query
+    LatestAt (default),
+
+    /// Time range query.
+    TimeRange,
+}

crates/store/re_types/definitions/rerun/blueprint/components/time_range_queries.fbs

@@ -0,0 +1,14 @@
+
+namespace rerun.blueprint.components;
+
+/// Configuration for time range queries.
+///
+/// Note: configuration as saved on a per-timeline basis.
+table TimeRangeQueries (
+  "attr.arrow.transparent",
+  "attr.rust.derive": "Default, PartialEq, Eq",
+  "attr.rust.repr": "transparent",
+  "attr.rerun.scope": "blueprint"
+) {
+    queries: [rerun.blueprint.datatypes.TimeRangeQuery] (order: 100);
+}

crates/store/re_types/definitions/rerun/blueprint/components/timeline.fbs

@@ -0,0 +1,14 @@
+
+namespace rerun.blueprint.components;
+
+/// A timeline, identified by its name.
+table Timeline (
+  "attr.arrow.transparent",
+  "attr.python.aliases": "str",
+  "attr.python.array_aliases": "str, Sequence[str]",
+  "attr.rust.derive": "Default, PartialEq, Eq, PartialOrd, Ord",
+  "attr.rust.repr": "transparent",
+  "attr.rerun.scope": "blueprint"
+) {
+    value: rerun.datatypes.Utf8 (order: 100);
+}

crates/store/re_types/definitions/rerun/blueprint/datatypes/latest_at_query.fbs

@@ -0,0 +1,15 @@
+namespace rerun.blueprint.datatypes;
+
+
+/// Latest at query configuration for a specific timeline.
+// Has to be a table because flatbuffer doesn't support strings in structs.
+table LatestAtQuery (
+  "attr.rust.derive": "PartialEq, Eq",
+  "attr.rerun.scope": "blueprint"
+) {
+  /// Name of the timeline this applies to.
+  timeline: rerun.datatypes.Utf8 (order: 100);
+
+  /// Time value to use for this query.
+  time: rerun.datatypes.TimeInt (order: 200);
+}

crates/store/re_types/definitions/rerun/blueprint/datatypes/time_range_query.fbs

@@ -0,0 +1,18 @@
+namespace rerun.blueprint.datatypes;
+
+
+/// Time range query configuration for a specific timeline.
+// Has to be a table because flatbuffer doesn't support strings in structs.
+table TimeRangeQuery (
+  "attr.rust.derive": "PartialEq, Eq",
+  "attr.rerun.scope": "blueprint"
+) {
+  /// Name of the timeline this applies to.
+  timeline: rerun.datatypes.Utf8 (order: 100);
+
+  /// Beginning of the time range.
+  start: rerun.datatypes.TimeInt (order: 200);
+
+  /// End of the time range.
+  end: rerun.datatypes.TimeInt (order: 300);
+}