2024-05-27 19:24:46 +00:00
|
|
|
use crate::tauri_bridge;
|
|
|
|
use crate::HierarchyAndTimeTable;
|
2024-05-28 21:07:28 +00:00
|
|
|
use std::mem;
|
2024-05-27 19:24:46 +00:00
|
|
|
use std::rc::Rc;
|
2024-05-28 21:07:28 +00:00
|
|
|
use futures_util::join;
|
2024-05-27 19:24:46 +00:00
|
|
|
use wellen::GetItem;
|
2024-05-28 10:57:51 +00:00
|
|
|
use zoon::*;
|
2024-05-27 19:24:46 +00:00
|
|
|
|
2024-05-28 21:07:28 +00:00
|
|
|
const SCOPE_VAR_ROW_MAX_WIDTH: u32 = 480;
|
|
|
|
|
|
|
|
#[derive(Clone)]
|
|
|
|
struct VarForUI {
|
|
|
|
name: Rc<String>,
|
2024-05-27 19:24:46 +00:00
|
|
|
var_type: wellen::VarType,
|
|
|
|
var_direction: wellen::VarDirection,
|
|
|
|
var_ref: wellen::VarRef,
|
|
|
|
signal_type: wellen::SignalType,
|
|
|
|
}
|
|
|
|
|
2024-05-28 13:38:01 +00:00
|
|
|
#[derive(Clone)]
|
2024-05-27 19:24:46 +00:00
|
|
|
struct ScopeForUI<'a> {
|
|
|
|
level: u32,
|
|
|
|
name: &'a str,
|
|
|
|
scope_ref: wellen::ScopeRef,
|
2024-05-28 13:38:01 +00:00
|
|
|
has_children: bool,
|
|
|
|
expanded: Mutable<bool>,
|
|
|
|
parent_expanded: Option<ReadOnlyMutable<bool>>,
|
2024-05-27 19:24:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone)]
|
|
|
|
pub struct ControlsPanel {
|
|
|
|
selected_scope_ref: Mutable<Option<wellen::ScopeRef>>,
|
|
|
|
hierarchy_and_time_table: Mutable<Option<HierarchyAndTimeTable>>,
|
|
|
|
selected_var_refs: MutableVec<wellen::VarRef>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ControlsPanel {
|
|
|
|
pub fn new(
|
|
|
|
hierarchy_and_time_table: Mutable<Option<HierarchyAndTimeTable>>,
|
|
|
|
selected_var_refs: MutableVec<wellen::VarRef>,
|
|
|
|
) -> impl Element {
|
|
|
|
Self {
|
|
|
|
selected_scope_ref: <_>::default(),
|
|
|
|
hierarchy_and_time_table,
|
|
|
|
selected_var_refs,
|
|
|
|
}
|
|
|
|
.root()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn triggers(&self) -> Vec<TaskHandle> {
|
|
|
|
vec![Task::start_droppable(
|
|
|
|
self.hierarchy_and_time_table
|
|
|
|
.signal_ref(Option::is_none)
|
|
|
|
.for_each_sync(clone!((self => s) move |_| {
|
|
|
|
s.selected_scope_ref.set(None);
|
|
|
|
s.selected_var_refs.lock_mut().clear();
|
|
|
|
})),
|
|
|
|
)]
|
|
|
|
}
|
|
|
|
|
|
|
|
fn root(&self) -> impl Element {
|
|
|
|
let triggers = self.triggers();
|
|
|
|
Column::new()
|
|
|
|
.after_remove(move |_| drop(triggers))
|
|
|
|
.s(Height::fill())
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Scrollbars::y_and_clip_x())
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Padding::all(20))
|
|
|
|
.s(Gap::new().y(40))
|
|
|
|
.s(Align::new().top())
|
2024-05-28 10:57:51 +00:00
|
|
|
.item(
|
|
|
|
Row::new()
|
|
|
|
.s(Gap::both(15))
|
|
|
|
.s(Align::new().left())
|
|
|
|
.item(self.load_button("simple.vcd"))
|
2024-05-28 15:18:56 +00:00
|
|
|
.item(self.load_button("wave_27.fst")),
|
2024-05-28 10:57:51 +00:00
|
|
|
)
|
2024-05-27 19:24:46 +00:00
|
|
|
.item_signal(
|
|
|
|
self.hierarchy_and_time_table
|
|
|
|
.signal_cloned()
|
|
|
|
.map_some(clone!((self => s) move |(hierarchy, _)| s.scopes_panel(hierarchy))),
|
|
|
|
)
|
|
|
|
.item_signal(
|
|
|
|
self.hierarchy_and_time_table
|
|
|
|
.signal_cloned()
|
|
|
|
.map_some(clone!((self => s) move |(hierarchy, _)| s.vars_panel(hierarchy))),
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2024-05-28 10:57:51 +00:00
|
|
|
fn load_button(&self, test_file_name: &'static str) -> impl Element {
|
2024-05-27 19:24:46 +00:00
|
|
|
let (hovered, hovered_signal) = Mutable::new_and_signal(false);
|
|
|
|
let hierarchy_and_time_table = self.hierarchy_and_time_table.clone();
|
|
|
|
Button::new()
|
|
|
|
.s(Padding::new().x(20).y(10))
|
|
|
|
.s(Background::new().color_signal(
|
|
|
|
hovered_signal.map_bool(|| color!("MediumSlateBlue"), || color!("SlateBlue")),
|
|
|
|
))
|
|
|
|
.s(Align::new().left())
|
|
|
|
.s(RoundedCorners::all(15))
|
|
|
|
.label(
|
|
|
|
El::new().s(Font::new().no_wrap()).child_signal(
|
|
|
|
hierarchy_and_time_table
|
|
|
|
.signal_ref(Option::is_some)
|
2024-05-28 15:18:56 +00:00
|
|
|
.map_bool(
|
|
|
|
|| format!("Unload test file"),
|
|
|
|
move || format!("Load {test_file_name}"),
|
|
|
|
),
|
2024-05-27 19:24:46 +00:00
|
|
|
),
|
|
|
|
)
|
|
|
|
.on_hovered_change(move |is_hovered| hovered.set_neq(is_hovered))
|
|
|
|
.on_press(move || {
|
|
|
|
let mut hierarchy_and_time_table_lock = hierarchy_and_time_table.lock_mut();
|
|
|
|
if hierarchy_and_time_table_lock.is_some() {
|
|
|
|
*hierarchy_and_time_table_lock = None;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
drop(hierarchy_and_time_table_lock);
|
|
|
|
let hierarchy_and_time_table = hierarchy_and_time_table.clone();
|
|
|
|
Task::start(async move {
|
2024-05-28 10:57:51 +00:00
|
|
|
tauri_bridge::load_waveform(test_file_name).await;
|
2024-05-28 21:07:28 +00:00
|
|
|
let (hierarchy, time_table) = join!(tauri_bridge::get_hierarchy(), tauri_bridge::get_time_table());
|
2024-05-27 19:24:46 +00:00
|
|
|
hierarchy_and_time_table.set(Some((Rc::new(hierarchy), Rc::new(time_table))))
|
|
|
|
})
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
|
|
|
fn scopes_panel(&self, hierarchy: Rc<wellen::Hierarchy>) -> impl Element {
|
|
|
|
Column::new()
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Height::fill().min(150))
|
|
|
|
.s(Scrollbars::y_and_clip_x())
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Gap::new().y(20))
|
|
|
|
.item(El::new().child("Scopes"))
|
|
|
|
.item(self.scopes_list(hierarchy))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn scopes_list(&self, hierarchy: Rc<wellen::Hierarchy>) -> impl Element {
|
|
|
|
let mut scopes_for_ui = Vec::new();
|
|
|
|
for scope_ref in hierarchy.scopes() {
|
2024-05-28 13:38:01 +00:00
|
|
|
let mut scope_refs = Vec::new();
|
|
|
|
scope_refs.push((0, scope_ref, None));
|
|
|
|
while let Some((level, scope_ref, parent_expanded)) = scope_refs.pop() {
|
2024-05-27 19:24:46 +00:00
|
|
|
let scope = hierarchy.get(scope_ref);
|
2024-05-28 13:38:01 +00:00
|
|
|
let mut children = scope.scopes(&hierarchy).peekable();
|
|
|
|
let has_children = children.peek().is_some();
|
|
|
|
let expanded = Mutable::new(false);
|
2024-05-27 19:24:46 +00:00
|
|
|
scopes_for_ui.push(ScopeForUI {
|
|
|
|
level,
|
|
|
|
name: scope.name(&hierarchy),
|
|
|
|
scope_ref,
|
2024-05-28 13:38:01 +00:00
|
|
|
has_children,
|
|
|
|
expanded: expanded.clone(),
|
|
|
|
parent_expanded,
|
2024-05-27 19:24:46 +00:00
|
|
|
});
|
2024-05-28 13:38:01 +00:00
|
|
|
for scope_ref in children {
|
|
|
|
scope_refs.push((level + 1, scope_ref, Some(expanded.read_only())));
|
2024-05-27 19:24:46 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Column::new()
|
|
|
|
.s(Align::new().left())
|
|
|
|
.s(Gap::new().y(10))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Height::fill())
|
|
|
|
.s(Scrollbars::y_and_clip_x())
|
2024-05-27 19:24:46 +00:00
|
|
|
.items(
|
|
|
|
scopes_for_ui
|
|
|
|
.into_iter()
|
2024-05-28 13:38:01 +00:00
|
|
|
.map(clone!((self => s) move |scope_for_ui| s.scope_button_row(scope_for_ui))),
|
2024-05-27 19:24:46 +00:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2024-05-28 13:38:01 +00:00
|
|
|
fn scope_button_row(&self, scope_for_ui: ScopeForUI) -> impl Element {
|
|
|
|
let (button_hovered, button_hovered_signal) = Mutable::new_and_signal(false);
|
2024-05-27 19:24:46 +00:00
|
|
|
let selected_scope_ref = self.selected_scope_ref.clone();
|
|
|
|
let is_selected = selected_scope_ref
|
|
|
|
.signal()
|
|
|
|
.map(move |selected_scope_ref| selected_scope_ref == Some(scope_for_ui.scope_ref));
|
|
|
|
let background_color = map_ref! {
|
|
|
|
let is_selected = is_selected,
|
2024-05-28 13:38:01 +00:00
|
|
|
let is_hovered = button_hovered_signal => match (*is_selected, *is_hovered) {
|
2024-05-27 19:24:46 +00:00
|
|
|
(true, _) => color!("BlueViolet"),
|
|
|
|
(false, true) => color!("MediumSlateBlue"),
|
|
|
|
(false, false) => color!("SlateBlue"),
|
|
|
|
}
|
|
|
|
};
|
2024-05-28 15:18:56 +00:00
|
|
|
let task_collapse = {
|
2024-05-28 13:38:01 +00:00
|
|
|
let expanded = scope_for_ui.expanded.clone();
|
2024-05-28 15:18:56 +00:00
|
|
|
scope_for_ui.parent_expanded.clone().map(|parent_expanded| {
|
|
|
|
Task::start_droppable(parent_expanded.signal().for_each_sync(
|
|
|
|
move |parent_expanded| {
|
|
|
|
if not(parent_expanded) {
|
|
|
|
expanded.set_neq(false);
|
|
|
|
}
|
|
|
|
},
|
|
|
|
))
|
|
|
|
})
|
2024-05-28 13:38:01 +00:00
|
|
|
};
|
2024-05-28 15:18:56 +00:00
|
|
|
let display = signal::option(
|
|
|
|
scope_for_ui
|
|
|
|
.parent_expanded
|
|
|
|
.clone()
|
|
|
|
.map(|parent_expanded| parent_expanded.signal().map_false(|| "none")),
|
|
|
|
)
|
|
|
|
.map(Option::flatten);
|
2024-05-27 19:24:46 +00:00
|
|
|
El::new()
|
2024-05-28 13:38:01 +00:00
|
|
|
// @TODO Add `Display` Style to MoonZoon? Merge with `Visible` Style?
|
|
|
|
.update_raw_el(|raw_el| raw_el.style_signal("display", display))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Padding::new().left(scope_for_ui.level * 30).right(15))
|
|
|
|
.s(Width::default().max(SCOPE_VAR_ROW_MAX_WIDTH))
|
2024-05-28 13:38:01 +00:00
|
|
|
.after_remove(move |_| drop(task_collapse))
|
2024-05-27 19:24:46 +00:00
|
|
|
.child(
|
2024-05-28 13:38:01 +00:00
|
|
|
Row::new()
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Background::new().color_signal(background_color))
|
|
|
|
.s(RoundedCorners::all(15))
|
2024-05-28 13:38:01 +00:00
|
|
|
.s(Clip::both())
|
|
|
|
.s(Align::new().left())
|
|
|
|
.item(scope_for_ui.has_children.then(clone!((self => s, scope_for_ui.expanded => expanded) move || s.scope_toggle(expanded))))
|
|
|
|
.item(self.scope_button(scope_for_ui, button_hovered))
|
2024-05-27 19:24:46 +00:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2024-05-28 13:38:01 +00:00
|
|
|
fn scope_toggle(&self, expanded: Mutable<bool>) -> impl Element {
|
|
|
|
let (hovered, hovered_signal) = Mutable::new_and_signal(false);
|
|
|
|
Button::new()
|
|
|
|
.s(Padding::new().left(10))
|
|
|
|
.s(Height::fill())
|
|
|
|
.s(Font::new().color_signal(hovered_signal.map_true(|| color!("LightBlue"))))
|
|
|
|
.label(
|
|
|
|
El::new()
|
2024-05-28 15:18:56 +00:00
|
|
|
.s(Transform::with_signal_self(
|
|
|
|
expanded.signal().map_false(|| Transform::new().rotate(-90)),
|
|
|
|
))
|
|
|
|
.child("▼"),
|
|
|
|
)
|
2024-05-28 13:38:01 +00:00
|
|
|
.on_hovered_change(move |is_hovered| hovered.set_neq(is_hovered))
|
|
|
|
.on_press(move || expanded.update(not))
|
|
|
|
}
|
|
|
|
|
2024-05-28 15:18:56 +00:00
|
|
|
fn scope_button(
|
|
|
|
&self,
|
|
|
|
scope_for_ui: ScopeForUI,
|
|
|
|
button_hovered: Mutable<bool>,
|
|
|
|
) -> impl Element {
|
2024-05-28 13:38:01 +00:00
|
|
|
Button::new()
|
|
|
|
.s(Padding::new().x(15).y(5))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Font::new().wrap_anywhere())
|
2024-05-28 13:38:01 +00:00
|
|
|
.on_hovered_change(move |is_hovered| button_hovered.set_neq(is_hovered))
|
|
|
|
.on_press(clone!((self.selected_scope_ref => selected_scope_ref, scope_for_ui.scope_ref => scope_ref) move || selected_scope_ref.set_neq(Some(scope_ref))))
|
|
|
|
.label(scope_for_ui.name)
|
|
|
|
}
|
|
|
|
|
2024-05-27 19:24:46 +00:00
|
|
|
fn vars_panel(&self, hierarchy: Rc<wellen::Hierarchy>) -> impl Element {
|
|
|
|
let selected_scope_ref = self.selected_scope_ref.clone();
|
|
|
|
Column::new()
|
|
|
|
.s(Gap::new().y(20))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Height::fill().min(150))
|
|
|
|
.s(Scrollbars::y_and_clip_x())
|
2024-05-27 19:24:46 +00:00
|
|
|
.item(El::new().child("Variables"))
|
|
|
|
.item_signal(selected_scope_ref.signal().map_some(
|
|
|
|
clone!((self => s) move |scope_ref| s.vars_list(scope_ref, hierarchy.clone())),
|
|
|
|
))
|
|
|
|
}
|
|
|
|
|
2024-05-28 21:07:28 +00:00
|
|
|
// @TODO Group variables
|
2024-05-27 19:24:46 +00:00
|
|
|
fn vars_list(
|
|
|
|
&self,
|
|
|
|
selected_scope_ref: wellen::ScopeRef,
|
|
|
|
hierarchy: Rc<wellen::Hierarchy>,
|
|
|
|
) -> impl Element {
|
|
|
|
let vars_for_ui = hierarchy
|
|
|
|
.get(selected_scope_ref)
|
|
|
|
.vars(&hierarchy)
|
|
|
|
.map(|var_ref| {
|
|
|
|
let var = hierarchy.get(var_ref);
|
|
|
|
VarForUI {
|
2024-05-28 21:07:28 +00:00
|
|
|
name: Rc::new(var.name(&hierarchy).to_owned()),
|
2024-05-27 19:24:46 +00:00
|
|
|
var_type: var.var_type(),
|
|
|
|
var_direction: var.direction(),
|
|
|
|
var_ref,
|
|
|
|
signal_type: var.signal_tpe(),
|
|
|
|
}
|
|
|
|
});
|
2024-05-28 21:07:28 +00:00
|
|
|
|
|
|
|
// Lazy loading to not freeze the main thread
|
|
|
|
const CHUNK_SIZE: usize = 50;
|
|
|
|
let mut chunked_vars_for_ui: Vec<Vec<VarForUI>> = <_>::default();
|
|
|
|
let mut chunk = Vec::with_capacity(CHUNK_SIZE);
|
|
|
|
for (index, var_for_ui) in vars_for_ui.enumerate() {
|
|
|
|
chunk.push(var_for_ui);
|
|
|
|
if index % CHUNK_SIZE == 0 {
|
|
|
|
chunked_vars_for_ui.push(mem::take(&mut chunk));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if not(chunk.is_empty()) {
|
|
|
|
chunked_vars_for_ui.push(chunk);
|
|
|
|
}
|
|
|
|
let vars_for_ui_mutable_vec = MutableVec::<VarForUI>::new();
|
|
|
|
let append_vars_for_ui_task =
|
|
|
|
Task::start_droppable(clone!((vars_for_ui_mutable_vec) async move {
|
|
|
|
for chunk in chunked_vars_for_ui {
|
|
|
|
Task::next_macro_tick().await;
|
|
|
|
vars_for_ui_mutable_vec.lock_mut().extend(chunk);
|
|
|
|
}
|
|
|
|
}));
|
|
|
|
|
2024-05-27 19:24:46 +00:00
|
|
|
Column::new()
|
|
|
|
.s(Align::new().left())
|
|
|
|
.s(Gap::new().y(10))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Height::fill())
|
|
|
|
.s(Scrollbars::y_and_clip_x())
|
|
|
|
.items_signal_vec(
|
|
|
|
vars_for_ui_mutable_vec
|
|
|
|
.signal_vec_cloned()
|
|
|
|
.map(clone!((self => s) move |var_for_ui| s.var_row(var_for_ui))),
|
|
|
|
)
|
|
|
|
.after_remove(move |_| drop(append_vars_for_ui_task))
|
2024-05-27 19:24:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn var_row(&self, var_for_ui: VarForUI) -> impl Element {
|
|
|
|
Row::new()
|
|
|
|
.s(Gap::new().x(10))
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Padding::new().right(15))
|
|
|
|
.s(Width::default().max(SCOPE_VAR_ROW_MAX_WIDTH))
|
|
|
|
.item(self.var_button(var_for_ui.clone()))
|
|
|
|
.item(self.var_tag_type(var_for_ui.clone()))
|
|
|
|
.item(self.var_tag_index(var_for_ui.clone()))
|
|
|
|
.item(self.var_tag_bit(var_for_ui.clone()))
|
2024-05-27 19:24:46 +00:00
|
|
|
.item(self.var_tag_direction(var_for_ui))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn var_button(&self, var_for_ui: VarForUI) -> impl Element {
|
|
|
|
let (hovered, hovered_signal) = Mutable::new_and_signal(false);
|
|
|
|
let selected_var_ref = self.selected_var_refs.clone();
|
|
|
|
El::new().child(
|
|
|
|
Button::new()
|
2024-05-28 21:07:28 +00:00
|
|
|
.s(Font::new().wrap_anywhere())
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Padding::new().x(15).y(5))
|
|
|
|
.s(Background::new().color_signal(
|
|
|
|
hovered_signal.map_bool(|| color!("MediumSlateBlue"), || color!("SlateBlue")),
|
|
|
|
))
|
|
|
|
.s(RoundedCorners::all(15))
|
|
|
|
.on_hovered_change(move |is_hovered| hovered.set_neq(is_hovered))
|
|
|
|
.on_press(move || selected_var_ref.lock_mut().push(var_for_ui.var_ref))
|
|
|
|
.label(var_for_ui.name),
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn var_tag_type(&self, var_for_ui: VarForUI) -> impl Element {
|
|
|
|
let var_type = var_for_ui.var_type;
|
|
|
|
El::new().child(format!("{var_type:?}"))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn var_tag_index(&self, var_for_ui: VarForUI) -> Option<impl Element> {
|
|
|
|
let wellen::SignalType::BitVector(_, Some(index)) = var_for_ui.signal_type else {
|
|
|
|
None?
|
|
|
|
};
|
|
|
|
let msb = index.msb();
|
|
|
|
let lsb = index.lsb();
|
|
|
|
El::new().child(format!("[{msb}:{lsb}]")).apply(Some)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn var_tag_bit(&self, var_for_ui: VarForUI) -> Option<impl Element> {
|
|
|
|
let wellen::SignalType::BitVector(length, _) = var_for_ui.signal_type else {
|
|
|
|
None?
|
|
|
|
};
|
|
|
|
El::new()
|
|
|
|
.s(Font::new().no_wrap())
|
|
|
|
.child(format!("{length}-bit"))
|
|
|
|
.apply(Some)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn var_tag_direction(&self, var_for_ui: VarForUI) -> impl Element {
|
|
|
|
let direction = match var_for_ui.var_direction {
|
|
|
|
wellen::VarDirection::Unknown => String::new(),
|
|
|
|
direction => format!("{direction:?}"),
|
|
|
|
};
|
|
|
|
El::new().child(direction)
|
|
|
|
}
|
|
|
|
}
|