slint/internal/interpreter/value_model.rs
Olivier Goffart f3bcf7ab56
interpreter: Make the From<ModelRc> for Value implement set_row_data (#8575)
When converting a ModelRc<T> to a Value, the resulting model did not
implement set_row_data and therefore would not allow changing the model
from the code.
By adding a `TryFrom` bound, we can make sure set_row_data is
implemented.

This is technically a breaking change to add this bound, but most type
that implement From for value also implement TryFrom<Value>

These conversion function were added in
20443ec0df for Slint 1.9

ChangeLog: interpreter: The `From<ModelRc> for slint_interpreter::Value` now gives a model that supports `set_row_data`.
2025-06-02 16:02:16 +02:00

146 lines
3.6 KiB
Rust

// Copyright © SixtyFPS GmbH <info@slint.dev>
// SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-2.0 OR LicenseRef-Slint-Software-3.0
use crate::api::Value;
use core::cell::Cell;
use i_slint_core::model::{Model, ModelNotify, ModelRc, ModelTracker};
pub struct ValueModel {
value: Value,
}
impl ValueModel {
pub fn new(value: Value) -> Self {
Self { value }
}
}
impl ModelTracker for ValueModel {
fn attach_peer(&self, peer: i_slint_core::model::ModelPeer) {
if let Value::Model(ref model_ptr) = self.value {
model_ptr.model_tracker().attach_peer(peer)
}
}
fn track_row_count_changes(&self) {
if let Value::Model(ref model_ptr) = self.value {
model_ptr.model_tracker().track_row_count_changes()
}
}
fn track_row_data_changes(&self, row: usize) {
if let Value::Model(ref model_ptr) = self.value {
model_ptr.model_tracker().track_row_data_changes(row)
}
}
}
impl Model for ValueModel {
type Data = Value;
fn row_count(&self) -> usize {
match &self.value {
Value::Bool(b) => {
if *b {
1
} else {
0
}
}
Value::Number(x) => x.max(Default::default()) as usize,
Value::Void => 0,
Value::Model(model_ptr) => model_ptr.row_count(),
x => panic!("Invalid model {x:?}"),
}
}
fn row_data(&self, row: usize) -> Option<Self::Data> {
if row >= self.row_count() {
None
} else {
Some(match &self.value {
Value::Bool(_) => Value::Void,
Value::Number(_) => Value::Number(row as _),
Value::Model(model_ptr) => model_ptr.row_data(row)?,
x => panic!("Invalid model {x:?}"),
})
}
}
fn model_tracker(&self) -> &dyn ModelTracker {
self
}
fn set_row_data(&self, row: usize, data: Self::Data) {
match &self.value {
Value::Model(model_ptr) => model_ptr.set_row_data(row, data),
_ => eprintln!("Trying to change the value of a read-only integer model."),
}
}
fn as_any(&self) -> &dyn core::any::Any {
self
}
}
/// A model for conditional elements
#[derive(Default)]
pub(crate) struct BoolModel {
value: Cell<bool>,
notify: ModelNotify,
}
impl Model for BoolModel {
type Data = Value;
fn row_count(&self) -> usize {
if self.value.get() {
1
} else {
0
}
}
fn row_data(&self, row: usize) -> Option<Self::Data> {
(row == 0 && self.value.get()).then_some(Value::Void)
}
fn model_tracker(&self) -> &dyn ModelTracker {
&self.notify
}
}
impl BoolModel {
pub fn set_value(&self, val: bool) {
let old = self.value.replace(val);
if old != val {
self.notify.reset();
}
}
}
// A map model that wraps a Model
pub struct ValueMapModel<T>(pub ModelRc<T>);
impl<T: TryFrom<Value> + Into<Value> + 'static> Model for ValueMapModel<T> {
type Data = Value;
fn row_count(&self) -> usize {
self.0.row_count()
}
fn row_data(&self, row: usize) -> Option<Self::Data> {
self.0.row_data(row).map(|x| x.into())
}
fn model_tracker(&self) -> &dyn ModelTracker {
self.0.model_tracker()
}
fn as_any(&self) -> &dyn core::any::Any {
self
}
fn set_row_data(&self, row: usize, data: Self::Data) {
if let Ok(data) = data.try_into() {
self.0.set_row_data(row, data)
}
}
}