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 {
+.regulator.invalid-constraint > input {
-  color: var(--text-invalid);
   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);
 }

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

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`
+pub enum RegulatorRole {
-//   ┌────────────┬─────────────────────────────────────────────────────┐
+    Measurement,
-//   │`set_point` │ `set_point_spec`                                    │
+    Constraint(bool)
-//   ┝━━━━━━━━━━━━┿━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┥
+}
-//   │`Some(x)`   │ a string that parses to the floating-point value `x`│
+
-//   ├────────────┼─────────────────────────────────────────────────────┤
+impl RegulatorRole {
-//   │`None`      │ the empty string                                    │
+    pub fn is_valid_constraint(&self) -> bool {
-//   └────────────┴─────────────────────────────────────────────────────┘
+        match self {
-#[derive(Clone, Copy)]
+            RegulatorRole::Measurement => false,
+            RegulatorRole::Constraint(valid) => *valid
+        }
+    }
+}
+
+#[derive(Clone)]
 pub struct Regulator {
     pub subjects: (ElementKey, ElementKey),
     pub measurement: ReadSignal<f64>,
-    pub set_point: ReadSignal<Option<f64>>,
+    pub set_point: Signal<f64>,
-    
+    pub set_point_text: Signal<String>,
-    set_point_writable: Signal<Option<f64>>,
+    pub role: Signal<RegulatorRole>
-    set_point_spec: Signal<String>
 }
 
 impl Regulator {
-    pub fn get_set_point_spec_clone(&self) -> String {
+    fn role_is_valid_constraint_untracked(&self) -> bool {
-        self.set_point_spec.get_clone()
+        self.role.with_untracked(|role| role.is_valid_constraint())
-    }
-    
-    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::<f64>() {
-            Err(_) if !spec.is_empty() => false,
-            set_pt => {
-                self.set_point_writable.set(set_pt.ok());
-                self.set_point_spec.set(spec);
-                true
-            }
-        }
     }
 }
 
@@ -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() {
+                    if reg.role_is_valid_constraint_untracked() {
-                        Some(set_pt) => {
+                        let subjects = reg.subjects;
-                            let subjects = reg.subjects;
+                        let row = elts[subjects.0].column_index.unwrap();
-                            let row = elts[subjects.0].column_index.unwrap();
+                        let col = elts[subjects.1].column_index.unwrap();
-                            let col = elts[subjects.1].column_index.unwrap();
+                        gram_to_be.push_sym(row, col, reg.set_point.get_untracked());
-                            gram_to_be.push_sym(row, col, set_pt);
-                        },
-                        None => ()
                     }
                 }
             });

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,
+            bind:value=regulator.set_point_text,
-            on:change=move |_| valid.set(
+            on:change=move |event: Event| {
-                regulator.try_specify_set_point(value.get_clone_untracked())
+                let target: HtmlInputElement = event.target().unwrap().unchecked_into();
-            ),
+                let value = target.value();
-            on:keydown={
+                if value.is_empty() {
-                move |event: KeyboardEvent| {
+                    regulator.role.set(Measurement);
-                    match event.key().as_str() {
+                } else {
-                        "Escape" => reset_value(),
+                    match target.value().parse::<f64>() {
-                        _ => ()
+                        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::<AppState>();
     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)