diff --git a/app-proto/main.css b/app-proto/main.css index 4726a27..d71ce4a 100644 --- a/app-proto/main.css +++ b/app-proto/main.css @@ -133,25 +133,28 @@ details[open]:has(li) .element-switch::after { font-size: 10pt; } -.regulator-input { +.regulator.invalid-constraint { + color: var(--text-invalid); +} + +.regulator > input { color: inherit; background-color: inherit; border: 1px solid var(--border); border-radius: 2px; } -.regulator-input::placeholder { +.regulator > input::placeholder { color: inherit; opacity: 54%; font-style: italic; } -.regulator-input.constraint { +.regulator.valid-constraint > input { background-color: var(--display-background); } -.regulator-input.invalid { - color: var(--text-invalid); +.regulator.invalid-constraint > input { border-color: var(--border-invalid); } @@ -163,7 +166,7 @@ details[open]:has(li) .element-switch::after { font-style: normal; } -.regulator-input.invalid + .status::after, details:has(.invalid):not([open]) .status::after { +.invalid-constraint > .status::after, details:has(.invalid-constraint):not([open]) .status::after { content: '⚠'; color: var(--text-invalid); } diff --git a/app-proto/src/add_remove.rs b/app-proto/src/add_remove.rs index cdc35e6..3280dac 100644 --- a/app-proto/src/add_remove.rs +++ b/app-proto/src/add_remove.rs @@ -6,8 +6,11 @@ use crate::{ AppState, assembly::{ Assembly, + Regulator, + RegulatorRole, Element - } + }, + engine::Q }; /* DEBUG */ @@ -197,8 +200,52 @@ pub fn AddRemove() -> View { (subject_vec[0].clone(), subject_vec[1].clone()) } ); - state.assembly.insert_new_regulator(subjects); + let measurement = state.assembly.elements.map( + move |elts| { + let reps = ( + elts[subjects.0].representation.get_clone(), + elts[subjects.1].representation.get_clone() + ); + reps.0.dot(&(&*Q * reps.1)) + } + ); + let set_point = create_signal(0.0); + let role = create_signal(RegulatorRole::Measurement); + state.assembly.insert_regulator(Regulator { + subjects: subjects, + measurement: measurement, + set_point: set_point, + set_point_text: create_signal(String::new()), + role: role, + }); state.selection.update(|sel| sel.clear()); + + /* DEBUG */ + // print updated regulator list + console::log_1(&JsValue::from("Regulators:")); + state.assembly.regulators.with(|regs| { + for (_, reg) in regs.into_iter() { + console::log_5( + &JsValue::from(" "), + &JsValue::from(reg.subjects.0), + &JsValue::from(reg.subjects.1), + &JsValue::from(":"), + &JsValue::from(reg.set_point.get_untracked()) + ); + } + }); + + // update the realization when the regulator becomes + // a constraint, or is edited while acting as a constraint + create_effect(move || { + console::log_1(&JsValue::from( + format!("Updated constraint with subjects ({}, {})", subjects.0, subjects.1) + )); + set_point.track(); + if role.with(|rl| rl.is_valid_constraint()) { + state.assembly.realize(); + } + }); } ) { "🔗" } select(bind:value=assembly_name) { /* DEBUG */ // example assembly chooser diff --git a/app-proto/src/assembly.rs b/app-proto/src/assembly.rs index 21421b6..c052a3b 100644 --- a/app-proto/src/assembly.rs +++ b/app-proto/src/assembly.rs @@ -5,7 +5,7 @@ use std::{collections::BTreeSet, sync::atomic::{AtomicU64, Ordering}}; use sycamore::prelude::*; use web_sys::{console, wasm_bindgen::JsValue}; /* DEBUG */ -use crate::engine::{Q, local_unif_to_std, realize_gram, ConfigSubspace, PartialMatrix}; +use crate::engine::{realize_gram, local_unif_to_std, ConfigSubspace, PartialMatrix}; // the types of the keys we use to access an assembly's elements and regulators pub type ElementKey = usize; @@ -111,42 +111,32 @@ impl Element { } } -// `set_point_spec` is always a valid specification of `set_point` -// ┌────────────┬─────────────────────────────────────────────────────┐ -// │`set_point` │ `set_point_spec` │ -// ┝━━━━━━━━━━━━┿━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┥ -// │`Some(x)` │ a string that parses to the floating-point value `x`│ -// ├────────────┼─────────────────────────────────────────────────────┤ -// │`None` │ the empty string │ -// └────────────┴─────────────────────────────────────────────────────┘ -#[derive(Clone, Copy)] +pub enum RegulatorRole { + Measurement, + Constraint(bool) +} + +impl RegulatorRole { + pub fn is_valid_constraint(&self) -> bool { + match self { + RegulatorRole::Measurement => false, + RegulatorRole::Constraint(valid) => *valid + } + } +} + +#[derive(Clone)] pub struct Regulator { pub subjects: (ElementKey, ElementKey), pub measurement: ReadSignal, - pub set_point: ReadSignal>, - - set_point_writable: Signal>, - set_point_spec: Signal + pub set_point: Signal, + pub set_point_text: Signal, + pub role: Signal } impl Regulator { - pub fn get_set_point_spec_clone(&self) -> String { - self.set_point_spec.get_clone() - } - - pub fn get_set_point_spec_clone_untracked(&self) -> String { - self.set_point_spec.get_clone_untracked() - } - - pub fn try_specify_set_point(&self, spec: String) -> bool { - match spec.parse::() { - Err(_) if !spec.is_empty() => false, - set_pt => { - self.set_point_writable.set(set_pt.ok()); - self.set_point_spec.set(spec); - true - } - } + fn role_is_valid_constraint_untracked(&self) -> bool { + self.role.with_untracked(|role| role.is_valid_constraint()) } } @@ -244,54 +234,6 @@ impl Assembly { subject_regulators.1.update(|regs| regs.insert(key)); } - pub fn insert_new_regulator(self, subjects: (ElementKey, ElementKey)) { - // create and insert a new regulator - let measurement = self.elements.map( - move |elts| { - let reps = ( - elts[subjects.0].representation.get_clone(), - elts[subjects.1].representation.get_clone() - ); - reps.0.dot(&(&*Q * reps.1)) - } - ); - let set_point_writable = create_signal(None); - let set_point = set_point_writable.split().0; - self.insert_regulator(Regulator { - subjects: subjects, - measurement: measurement, - set_point: set_point, - set_point_writable: set_point_writable, - set_point_spec: create_signal(String::new()) - }); - - /* DEBUG */ - // print updated regulator list - console::log_1(&JsValue::from("Regulators:")); - self.regulators.with(|regs| { - for (_, reg) in regs.into_iter() { - console::log_5( - &JsValue::from(" "), - &JsValue::from(reg.subjects.0), - &JsValue::from(reg.subjects.1), - &JsValue::from(":"), - &JsValue::from(reg.set_point.get_untracked()) - ); - } - }); - - // update the realization when the regulator becomes a constraint, or is - // edited while acting as a constraint - create_effect(move || { - console::log_1(&JsValue::from( - format!("Updated constraint with subjects ({}, {})", subjects.0, subjects.1) - )); - if set_point.with(|set_pt| set_pt.is_some()) { - self.realize(); - } - }); - } - // --- realization --- pub fn realize(&self) { @@ -308,14 +250,11 @@ impl Assembly { let mut gram_to_be = PartialMatrix::new(); self.regulators.with_untracked(|regs| { for (_, reg) in regs { - match reg.set_point.get_untracked() { - Some(set_pt) => { - let subjects = reg.subjects; - let row = elts[subjects.0].column_index.unwrap(); - let col = elts[subjects.1].column_index.unwrap(); - gram_to_be.push_sym(row, col, set_pt); - }, - None => () + if reg.role_is_valid_constraint_untracked() { + let subjects = reg.subjects; + let row = elts[subjects.0].column_index.unwrap(); + let col = elts[subjects.1].column_index.unwrap(); + gram_to_be.push_sym(row, col, reg.set_point.get_untracked()); } } }); diff --git a/app-proto/src/outline.rs b/app-proto/src/outline.rs index 4898aba..8dcda93 100644 --- a/app-proto/src/outline.rs +++ b/app-proto/src/outline.rs @@ -1,6 +1,8 @@ use itertools::Itertools; use sycamore::prelude::*; use web_sys::{ + Event, + HtmlInputElement, KeyboardEvent, MouseEvent, wasm_bindgen::JsCast @@ -12,6 +14,7 @@ use crate::{ assembly::{ Regulator, RegulatorKey, + RegulatorRole::*, ElementKey } }; @@ -19,46 +22,24 @@ use crate::{ // an editable view of a regulator #[component(inline_props)] fn RegulatorInput(regulator: Regulator) -> View { - let valid = create_signal(true); - let value = create_signal(regulator.get_set_point_spec_clone_untracked()); - - // this closure resets the input value to the regulator's set point - // specification, which is always a valid specification - let reset_value = move || { - batch(|| { - valid.set(true); - value.set(regulator.get_set_point_spec_clone()); - }) - }; - - // reset the input value whenever the regulator's set point specification - // is updated - create_effect(reset_value); - view! { input( r#type="text", - class=move || { - if valid.get() { - match regulator.set_point.get() { - Some(_) => "regulator-input constraint", - None => "regulator-input" - } - } else { - "regulator-input invalid" - } - }, placeholder=regulator.measurement.with(|result| result.to_string()), - bind:value=value, - on:change=move |_| valid.set( - regulator.try_specify_set_point(value.get_clone_untracked()) - ), - on:keydown={ - move |event: KeyboardEvent| { - match event.key().as_str() { - "Escape" => reset_value(), - _ => () - } + bind:value=regulator.set_point_text, + on:change=move |event: Event| { + let target: HtmlInputElement = event.target().unwrap().unchecked_into(); + let value = target.value(); + if value.is_empty() { + regulator.role.set(Measurement); + } else { + match target.value().parse::() { + Ok(set_pt) => batch(|| { + regulator.set_point.set(set_pt); + regulator.role.set(Constraint(true)); + }), + Err(_) => regulator.role.set(Constraint(false)) + }; } } ) @@ -70,15 +51,22 @@ fn RegulatorInput(regulator: Regulator) -> View { fn RegulatorOutlineItem(regulator_key: RegulatorKey, element_key: ElementKey) -> View { let state = use_context::(); let assembly = &state.assembly; - let regulator = assembly.regulators.with(|regs| regs[regulator_key]); + let regulator = assembly.regulators.with(|regs| regs[regulator_key].clone()); let other_subject = if regulator.subjects.0 == element_key { regulator.subjects.1 } else { regulator.subjects.0 }; let other_subject_label = assembly.elements.with(|elts| elts[other_subject].label.clone()); + let class = regulator.role.map( + |role| match role { + Measurement => "regulator", + Constraint(true) => "regulator valid-constraint", + Constraint(false) => "regulator invalid-constraint" + } + ); view! { - li(class="regulator") { + li(class=class.get()) { div(class="regulator-label") { (other_subject_label) } div(class="regulator-type") { "Inversive distance" } RegulatorInput(regulator=regulator)