Struct HistoryRequest 

pub struct HistoryRequest {
    pub expressions: String,
    pub configurator: Value,
    pub features: Vec<FeatureDescriptor>,
    pub stop_at_id: Option<String>,
    pub stop_before_id: Option<String>,
    pub display_lod: f64,
}

The execute_history_json request: the expression source, the configurator state, and the ordered feature list. Permissive — a whole saved part file parses as a request (extra top-level fields ignored).

Fields

expressions: String

configurator: Value

features: Vec<FeatureDescriptor>

stop_at_id: Option<String>

Stop AFTER executing the feature with this id (the editor’s “stop at the expanded feature”). The features past the stop stay in the request so the incremental cache RETAINS their entries — expanding/collapsing a panel must not thrash the cache (marshal-side truncation would free them).

stop_before_id: Option<String>

Stop BEFORE executing the feature with this id.

display_lod: f64

Render level-of-detail factor for DISPLAY tessellation (the app’s “LOD factor” setting). execute_history ignores it — it rides on the request only because the request is the serialized run boundary the display runner receives, and the runner scales its per-solid chord tolerance by it (higher = coarser mesh). Defaults to 1.0 (the “Normal” preset) so a saved file / seed request with no displayLod tessellates exactly as before.

Trait Implementations

impl Clone for HistoryRequest

fn clone(&self) -> HistoryRequest

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HistoryRequest

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HistoryRequest

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for HistoryRequest

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.