Minor style changes and make sure no_shared works on all.
This commit is contained in:
parent
dc1ed784f5
commit
871fcb38be
2
.github/workflows/build.yml
vendored
2
.github/workflows/build.yml
vendored
@ -29,6 +29,8 @@ jobs:
|
|||||||
- "--features no_object"
|
- "--features no_object"
|
||||||
- "--features no_function"
|
- "--features no_function"
|
||||||
- "--features no_module"
|
- "--features no_module"
|
||||||
|
- "--features no_capture"
|
||||||
|
- "--features no_shared"
|
||||||
- "--features unicode-xid-ident"
|
- "--features unicode-xid-ident"
|
||||||
toolchain: [stable]
|
toolchain: [stable]
|
||||||
experimental: [false]
|
experimental: [false]
|
||||||
|
@ -22,7 +22,7 @@ smallvec = { version = "1.4.1", default-features = false }
|
|||||||
|
|
||||||
[features]
|
[features]
|
||||||
#default = ["unchecked", "sync", "no_optimize", "no_float", "only_i32", "no_index", "no_object", "no_function", "no_module"]
|
#default = ["unchecked", "sync", "no_optimize", "no_float", "only_i32", "no_index", "no_object", "no_function", "no_module"]
|
||||||
default = []
|
default = [ "no_shared"]
|
||||||
plugins = []
|
plugins = []
|
||||||
unchecked = [] # unchecked arithmetic
|
unchecked = [] # unchecked arithmetic
|
||||||
sync = [] # restrict to only types that implement Send + Sync
|
sync = [] # restrict to only types that implement Send + Sync
|
||||||
@ -34,13 +34,13 @@ no_index = [] # no arrays and indexing
|
|||||||
no_object = [] # no custom objects
|
no_object = [] # no custom objects
|
||||||
no_function = [] # no script-defined functions
|
no_function = [] # no script-defined functions
|
||||||
no_capture = [] # no automatic read/write binding of anonymous function's local variables to it's external context
|
no_capture = [] # no automatic read/write binding of anonymous function's local variables to it's external context
|
||||||
no_shared = [] # no explicit shared() and take() functions in the script code
|
no_shared = [] # no shared values
|
||||||
no_module = [] # no modules
|
no_module = [] # no modules
|
||||||
internals = [] # expose internal data structures
|
internals = [] # expose internal data structures
|
||||||
unicode-xid-ident = ["unicode-xid"] # allow Unicode Standard Annex #31 for identifiers.
|
unicode-xid-ident = ["unicode-xid"] # allow Unicode Standard Annex #31 for identifiers.
|
||||||
|
|
||||||
# compiling for no-std
|
# compiling for no-std
|
||||||
no_std = [ "num-traits/libm", "hashbrown", "core-error", "libm", "ahash" ]
|
no_std = [ "no_shared", "num-traits/libm", "hashbrown", "core-error", "libm", "ahash" ]
|
||||||
|
|
||||||
[profile.release]
|
[profile.release]
|
||||||
lto = "fat"
|
lto = "fat"
|
||||||
|
248
src/any.rs
248
src/any.rs
@ -1,9 +1,12 @@
|
|||||||
//! Helper module which defines the `Any` trait to to allow dynamic value handling.
|
//! Helper module which defines the `Any` trait to to allow dynamic value handling.
|
||||||
|
|
||||||
use crate::fn_native::{FnPtr, SendSync, SharedMut};
|
use crate::fn_native::{FnPtr, SendSync};
|
||||||
use crate::parser::{ImmutableString, INT};
|
use crate::parser::{ImmutableString, INT};
|
||||||
use crate::r#unsafe::{unsafe_cast_box, unsafe_try_cast};
|
use crate::r#unsafe::{unsafe_cast_box, unsafe_try_cast};
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
use crate::fn_native::SharedMut;
|
||||||
|
|
||||||
#[cfg(not(feature = "no_float"))]
|
#[cfg(not(feature = "no_float"))]
|
||||||
use crate::parser::FLOAT;
|
use crate::parser::FLOAT;
|
||||||
|
|
||||||
@ -17,13 +20,18 @@ use crate::stdlib::{
|
|||||||
any::{type_name, Any, TypeId},
|
any::{type_name, Any, TypeId},
|
||||||
boxed::Box,
|
boxed::Box,
|
||||||
fmt,
|
fmt,
|
||||||
|
ops::{Deref, DerefMut},
|
||||||
string::String,
|
string::String,
|
||||||
ops::{DerefMut, Deref}
|
|
||||||
};
|
};
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
use crate::stdlib::{rc::Rc, cell::{RefCell, Ref, RefMut}};
|
use crate::stdlib::{
|
||||||
|
cell::{Ref, RefCell, RefMut},
|
||||||
|
rc::Rc,
|
||||||
|
};
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
use crate::stdlib::sync::{Arc, RwLock, RwLockReadGuard, RwLockWriteGuard};
|
use crate::stdlib::sync::{Arc, RwLock, RwLockReadGuard, RwLockWriteGuard};
|
||||||
|
|
||||||
@ -151,32 +159,39 @@ pub enum Union {
|
|||||||
Map(Box<Map>),
|
Map(Box<Map>),
|
||||||
FnPtr(Box<FnPtr>),
|
FnPtr(Box<FnPtr>),
|
||||||
Variant(Box<Box<dyn Variant>>),
|
Variant(Box<Box<dyn Variant>>),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Shared(Box<SharedCell>),
|
Shared(Box<SharedCell>),
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Internal Shared Dynamic representation.
|
/// Internal Shared Dynamic representation.
|
||||||
///
|
///
|
||||||
/// Created with `Dynamic::into_shared()`.
|
/// Created with `Dynamic::into_shared()`.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[derive(Clone)]
|
#[derive(Clone)]
|
||||||
pub struct SharedCell {
|
pub struct SharedCell {
|
||||||
value_type_id: TypeId,
|
value_type_id: TypeId,
|
||||||
value_type_name: &'static str,
|
value_type_name: &'static str,
|
||||||
container: SharedMut<Dynamic>
|
container: SharedMut<Dynamic>,
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Dynamic's underlying `Variant` read guard that supports `Deref` for Variant's
|
/// Underlying `Variant` read guard for `Dynamic`.
|
||||||
/// reference reading.
|
|
||||||
///
|
///
|
||||||
/// This data structure provides transparent interoperability between normal
|
/// This data structure provides transparent interoperability between
|
||||||
/// `Dynamic` types and Shared Dynamic references.
|
/// normal `Dynamic` and shared Dynamic values.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct DynamicReadLock<'d, T: Variant + Clone>(DynamicReadLockInner<'d, T>);
|
pub struct DynamicReadLock<'d, T: Variant + Clone>(DynamicReadLockInner<'d, T>);
|
||||||
|
|
||||||
|
/// Different types of read guards for `DynamicReadLock`.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
enum DynamicReadLockInner<'d, T: Variant + Clone> {
|
enum DynamicReadLockInner<'d, T: Variant + Clone> {
|
||||||
|
/// A simple reference to a non-shared value.
|
||||||
Reference(&'d T),
|
Reference(&'d T),
|
||||||
|
/// A read guard to a shared `RefCell`.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
Guard(Ref<'d, Dynamic>),
|
Guard(Ref<'d, Dynamic>),
|
||||||
|
/// A read guard to a shared `RwLock`.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
Guard(RwLockReadGuard<'d, Dynamic>),
|
Guard(RwLockReadGuard<'d, Dynamic>),
|
||||||
}
|
}
|
||||||
@ -188,25 +203,31 @@ impl<'d, T: Variant + Clone> Deref for DynamicReadLock<'d, T> {
|
|||||||
fn deref(&self) -> &Self::Target {
|
fn deref(&self) -> &Self::Target {
|
||||||
match &self.0 {
|
match &self.0 {
|
||||||
DynamicReadLockInner::Reference(reference) => reference.deref(),
|
DynamicReadLockInner::Reference(reference) => reference.deref(),
|
||||||
// unwrapping is safe because all checks already done in it's constructor
|
// Unwrapping is safe because all checking is already done in its constructor
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
DynamicReadLockInner::Guard(guard) => guard.downcast_ref().unwrap(),
|
DynamicReadLockInner::Guard(guard) => guard.downcast_ref().unwrap(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Dynamic's underlying `Variant` write guard that supports `Deref` and `DerefMut`
|
/// Underlying `Variant` write guard for `Dynamic`.
|
||||||
/// for Variant's reference reading/writing.
|
|
||||||
///
|
///
|
||||||
/// This data structure provides transparent interoperability between normal
|
/// This data structure provides transparent interoperability between
|
||||||
/// `Dynamic` types and Shared Dynamic references.
|
/// normal `Dynamic` and shared Dynamic values.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct DynamicWriteLock<'d, T: Variant + Clone>(DynamicWriteLockInner<'d, T>);
|
pub struct DynamicWriteLock<'d, T: Variant + Clone>(DynamicWriteLockInner<'d, T>);
|
||||||
|
|
||||||
|
/// Different types of write guards for `DynamicReadLock`.
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
enum DynamicWriteLockInner<'d, T: Variant + Clone> {
|
enum DynamicWriteLockInner<'d, T: Variant + Clone> {
|
||||||
|
/// A simple mutable reference to a non-shared value.
|
||||||
Reference(&'d mut T),
|
Reference(&'d mut T),
|
||||||
|
/// A write guard to a shared `RefCell`.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
Guard(RefMut<'d, Dynamic>),
|
Guard(RefMut<'d, Dynamic>),
|
||||||
|
/// A write guard to a shared `RwLock`.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
Guard(RwLockWriteGuard<'d, Dynamic>),
|
Guard(RwLockWriteGuard<'d, Dynamic>),
|
||||||
}
|
}
|
||||||
@ -218,7 +239,8 @@ impl<'d, T: Variant + Clone> Deref for DynamicWriteLock<'d, T> {
|
|||||||
fn deref(&self) -> &Self::Target {
|
fn deref(&self) -> &Self::Target {
|
||||||
match &self.0 {
|
match &self.0 {
|
||||||
DynamicWriteLockInner::Reference(reference) => reference.deref(),
|
DynamicWriteLockInner::Reference(reference) => reference.deref(),
|
||||||
// unwrapping is safe because all checks already done in it's constructor
|
// Unwrapping is safe because all checking is already done in its constructor
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
DynamicWriteLockInner::Guard(guard) => guard.downcast_ref().unwrap(),
|
DynamicWriteLockInner::Guard(guard) => guard.downcast_ref().unwrap(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -229,7 +251,8 @@ impl<'d, T: Variant + Clone> DerefMut for DynamicWriteLock<'d, T> {
|
|||||||
fn deref_mut(&mut self) -> &mut Self::Target {
|
fn deref_mut(&mut self) -> &mut Self::Target {
|
||||||
match &mut self.0 {
|
match &mut self.0 {
|
||||||
DynamicWriteLockInner::Reference(reference) => reference.deref_mut(),
|
DynamicWriteLockInner::Reference(reference) => reference.deref_mut(),
|
||||||
// unwrapping is safe because all checks already done in it's constructor
|
// Unwrapping is safe because all checking is already done in its constructor
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
DynamicWriteLockInner::Guard(guard) => guard.downcast_mut().unwrap(),
|
DynamicWriteLockInner::Guard(guard) => guard.downcast_mut().unwrap(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -247,6 +270,7 @@ impl Dynamic {
|
|||||||
|
|
||||||
/// Does this `Dynamic` hold a shared data type
|
/// Does this `Dynamic` hold a shared data type
|
||||||
/// instead of one of the support system primitive types?
|
/// instead of one of the support system primitive types?
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
pub fn is_shared(&self) -> bool {
|
pub fn is_shared(&self) -> bool {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Shared(_) => true,
|
Union::Shared(_) => true,
|
||||||
@ -284,6 +308,7 @@ impl Dynamic {
|
|||||||
Union::Map(_) => TypeId::of::<Map>(),
|
Union::Map(_) => TypeId::of::<Map>(),
|
||||||
Union::FnPtr(_) => TypeId::of::<FnPtr>(),
|
Union::FnPtr(_) => TypeId::of::<FnPtr>(),
|
||||||
Union::Variant(value) => (***value).type_id(),
|
Union::Variant(value) => (***value).type_id(),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(cell) => (**cell).value_type_id,
|
Union::Shared(cell) => (**cell).value_type_id,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -307,6 +332,7 @@ impl Dynamic {
|
|||||||
#[cfg(not(feature = "no_std"))]
|
#[cfg(not(feature = "no_std"))]
|
||||||
Union::Variant(value) if value.is::<Instant>() => "timestamp",
|
Union::Variant(value) if value.is::<Instant>() => "timestamp",
|
||||||
Union::Variant(value) => (***value).type_name(),
|
Union::Variant(value) => (***value).type_name(),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(cell) => (**cell).value_type_name,
|
Union::Shared(cell) => (**cell).value_type_name,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -363,7 +389,8 @@ impl fmt::Display for Dynamic {
|
|||||||
#[cfg(not(feature = "no_std"))]
|
#[cfg(not(feature = "no_std"))]
|
||||||
Union::Variant(value) if value.is::<Instant>() => write!(f, "<timestamp>"),
|
Union::Variant(value) if value.is::<Instant>() => write!(f, "<timestamp>"),
|
||||||
Union::Variant(value) => write!(f, "{}", (*value).type_name()),
|
Union::Variant(value) => write!(f, "{}", (*value).type_name()),
|
||||||
Union::Shared(cell) => write!(f, "{}", (**cell).value_type_name),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(cell) => write!(f, "<shared {}>", (**cell).value_type_name),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -390,7 +417,8 @@ impl fmt::Debug for Dynamic {
|
|||||||
#[cfg(not(feature = "no_std"))]
|
#[cfg(not(feature = "no_std"))]
|
||||||
Union::Variant(value) if value.is::<Instant>() => write!(f, "<timestamp>"),
|
Union::Variant(value) if value.is::<Instant>() => write!(f, "<timestamp>"),
|
||||||
Union::Variant(value) => write!(f, "{}", (*value).type_name()),
|
Union::Variant(value) => write!(f, "{}", (*value).type_name()),
|
||||||
Union::Shared(cell) => write!(f, "{}", (**cell).value_type_name),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(cell) => write!(f, "<shared {}>", (**cell).value_type_name),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -411,7 +439,8 @@ impl Clone for Dynamic {
|
|||||||
Union::Map(ref value) => Self(Union::Map(value.clone())),
|
Union::Map(ref value) => Self(Union::Map(value.clone())),
|
||||||
Union::FnPtr(ref value) => Self(Union::FnPtr(value.clone())),
|
Union::FnPtr(ref value) => Self(Union::FnPtr(value.clone())),
|
||||||
Union::Variant(ref value) => (***value).clone_into_dynamic(),
|
Union::Variant(ref value) => (***value).clone_into_dynamic(),
|
||||||
Union::Shared(ref cell) => Self(Union::Shared(Box::new((**cell).clone())))
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(ref cell) => Self(Union::Shared(Box::new((**cell).clone()))),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -523,53 +552,42 @@ impl Dynamic {
|
|||||||
Self(Union::Variant(Box::new(boxed)))
|
Self(Union::Variant(Box::new(boxed)))
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Turns Dynamic into Shared Dynamic variant backed by runtime
|
/// Turn the `Dynamic` value into a shared `Dynamic` value backed by an `Rc<RefCell<Dynamic>>`
|
||||||
/// mutable reference-counter container(`Arc<RwLock<Dynamic>>` or
|
/// or `Arc<RwLock<Dynamic>>` depending on the `sync` feature.
|
||||||
/// `Rc<RefCell<Dynamic>` depending on `sync` feature).
|
|
||||||
///
|
///
|
||||||
/// Instances of Shared Dynamic are relatively cheap to clone. All clones of
|
/// Shared `Dynamic` values are relatively cheap to clone as they simply increment the
|
||||||
/// Shared Dynamic references the same chunk of memory.
|
/// reference counts.
|
||||||
///
|
///
|
||||||
/// The Dynamic is capable to work transparently with the it's inner
|
/// Shared `Dynamic` values can be converted seamlessly to and from ordinary `Dynamic` values.
|
||||||
/// data, seamlessly casting between ordinary instances of Dynamic and
|
|
||||||
/// Shared Dynamic instances.
|
|
||||||
///
|
///
|
||||||
/// If original value already a Shared variant returns identity.
|
/// If the `Dynamic` value is already shared, this method returns itself.
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
pub fn into_shared(self) -> Self {
|
pub fn into_shared(self) -> Self {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Shared(..) => self,
|
Union::Shared(..) => self,
|
||||||
_ => {
|
_ => Self(Union::Shared(Box::new(SharedCell {
|
||||||
let cell = SharedCell {
|
|
||||||
value_type_id: self.type_id(),
|
value_type_id: self.type_id(),
|
||||||
value_type_name: self.type_name(),
|
value_type_name: self.type_name(),
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
container: Rc::new(RefCell::new(self)),
|
container: Rc::new(RefCell::new(self)),
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
container: Arc::new(RwLock::new(self)),
|
container: Arc::new(RwLock::new(self)),
|
||||||
};
|
}))),
|
||||||
|
|
||||||
Self(Union::Shared(Box::new(cell)))
|
|
||||||
},
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a copy of the `Dynamic` value as a specific type.
|
/// Convert the `Dynamic` value into specific type.
|
||||||
/// Casting to a `Dynamic` just returns as is.
|
/// Casting to a `Dynamic` just returns as is.
|
||||||
///
|
///
|
||||||
/// Returns None if types mismatched.
|
/// Returns `None` if types mismatched.
|
||||||
///
|
///
|
||||||
/// # Shared Dynamic
|
/// # Panics and Deadlocks
|
||||||
///
|
///
|
||||||
/// When accessing Shared Dynamic in sync mode(`sync` feature enabled)
|
/// Under the `sync` feature, this call may deadlock.
|
||||||
/// can block current thread while the underlined data is being written.
|
/// Otherwise, this call panics if the data is currently borrowed for write.
|
||||||
///
|
///
|
||||||
/// When accessing Shared Dynamic in NON-sync mode can **panic** if the data
|
/// These normally shouldn't occur since most operations in Rhai is single-threaded.
|
||||||
/// is currently borrowed for write.
|
|
||||||
///
|
|
||||||
/// ## Safety
|
|
||||||
///
|
|
||||||
/// Both situations normally shouldn't happen since most operations in Rhai
|
|
||||||
/// use pass-by-value data and the script executed in a single thread.
|
|
||||||
///
|
///
|
||||||
/// # Example
|
/// # Example
|
||||||
///
|
///
|
||||||
@ -588,20 +606,6 @@ impl Dynamic {
|
|||||||
return unsafe_cast_box::<_, T>(Box::new(self)).ok().map(|v| *v);
|
return unsafe_cast_box::<_, T>(Box::new(self)).ok().map(|v| *v);
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
|
||||||
if let Union::Shared(cell) = self.0 {
|
|
||||||
let reference = cell.container.borrow();
|
|
||||||
|
|
||||||
return (*reference).clone().try_cast()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[cfg(feature = "sync")]
|
|
||||||
if let Union::Shared(cell) = self.0 {
|
|
||||||
let read_lock = cell.container.read().unwrap();
|
|
||||||
|
|
||||||
return (*read_lock).clone().try_cast()
|
|
||||||
}
|
|
||||||
|
|
||||||
if type_id == TypeId::of::<INT>() {
|
if type_id == TypeId::of::<INT>() {
|
||||||
return match self.0 {
|
return match self.0 {
|
||||||
Union::Int(value) => unsafe_try_cast(value),
|
Union::Int(value) => unsafe_try_cast(value),
|
||||||
@ -677,23 +681,35 @@ impl Dynamic {
|
|||||||
|
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Variant(value) => (*value).as_box_any().downcast().map(|x| *x).ok(),
|
Union::Variant(value) => (*value).as_box_any().downcast().map(|x| *x).ok(),
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
#[cfg(not(feature = "sync"))]
|
||||||
|
Union::Shared(cell) => return cell.container.borrow().deref().clone().try_cast(),
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
#[cfg(feature = "sync")]
|
||||||
|
Union::Shared(cell) => {
|
||||||
|
return cell.container.read().unwrap().deref().clone().try_cast()
|
||||||
|
}
|
||||||
|
|
||||||
_ => None,
|
_ => None,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a copy of the `Dynamic` value as a specific type.
|
/// Convert the `Dynamic` value into a specific type.
|
||||||
/// Casting to a `Dynamic` just returns as is.
|
/// Casting to a `Dynamic` just returns as is.
|
||||||
///
|
///
|
||||||
/// # Panics
|
/// Returns `None` if types mismatched.
|
||||||
|
///
|
||||||
|
/// # Panics and Deadlocks
|
||||||
///
|
///
|
||||||
/// Panics if the cast fails (e.g. the type of the actual value is not the
|
/// Panics if the cast fails (e.g. the type of the actual value is not the
|
||||||
/// same as the specified type), or if the data held by Shared Dynamic is
|
/// same as the specified type).
|
||||||
/// currently borrowed(when the `sync` feature disabled).
|
|
||||||
///
|
///
|
||||||
/// # Notes
|
/// Under the `sync` feature, this call may deadlock.
|
||||||
|
/// Otherwise, this call panics if the data is currently borrowed for write.
|
||||||
///
|
///
|
||||||
/// If the `sync` feature enabled Shared Dynamic can block current thread
|
/// These normally shouldn't occur since most operations in Rhai is single-threaded.
|
||||||
/// while the data being written.
|
|
||||||
///
|
///
|
||||||
/// # Example
|
/// # Example
|
||||||
///
|
///
|
||||||
@ -709,108 +725,115 @@ impl Dynamic {
|
|||||||
self.try_cast::<T>().unwrap()
|
self.try_cast::<T>().unwrap()
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a copy of a specific type to the `Dynamic`.
|
/// Get a copy of the `Dynamic` as a specific type.
|
||||||
/// Casting to `Dynamic` returns a clone of the value in case of NON-shared
|
///
|
||||||
/// Dynamic. In case of Shared Dynamic returns a clone of the inner data of
|
/// If the `Dynamic` is not a shared value, it returns a cloned copy of the value.
|
||||||
/// Shared Dynamic.
|
///
|
||||||
|
/// If the `Dynamic` is a shared value, it returns a cloned copy of the shared value.
|
||||||
|
///
|
||||||
/// Returns `None` if the cast fails.
|
/// Returns `None` if the cast fails.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
pub fn clone_inner_data<T: Variant + Clone>(&self) -> Option<T> {
|
pub fn clone_inner_data<T: Variant + Clone>(&self) -> Option<T> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(ref cell) => {
|
Union::Shared(ref cell) => {
|
||||||
let type_id = TypeId::of::<T>();
|
let type_id = TypeId::of::<T>();
|
||||||
|
|
||||||
if type_id != TypeId::of::<Dynamic>() && cell.value_type_id != type_id {
|
if type_id != TypeId::of::<Dynamic>() && type_id != cell.value_type_id {
|
||||||
return None
|
return None;
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
return Some(cell
|
return Some(
|
||||||
.container
|
cell.container
|
||||||
.borrow()
|
.borrow()
|
||||||
.deref()
|
.deref()
|
||||||
.downcast_ref::<T>()
|
.downcast_ref::<T>()
|
||||||
.unwrap()
|
.unwrap()
|
||||||
.clone());
|
.clone(),
|
||||||
|
);
|
||||||
|
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
return Some(cell
|
return Some(
|
||||||
.container
|
cell.container
|
||||||
.read()
|
.read()
|
||||||
.unwrap()
|
.unwrap()
|
||||||
.deref()
|
.deref()
|
||||||
.downcast_ref::<T>()
|
.downcast_ref::<T>()
|
||||||
.unwrap()
|
.unwrap()
|
||||||
.clone());
|
.clone(),
|
||||||
},
|
);
|
||||||
_ => {
|
|
||||||
self.downcast_ref().cloned()
|
|
||||||
}
|
}
|
||||||
|
_ => self.downcast_ref().cloned(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a reference of a specific type to the `Dynamic`.
|
/// Get a reference of a specific type to the `Dynamic`.
|
||||||
/// Casting to `Dynamic` just returns a reference to it.
|
/// Casting to `Dynamic` just returns a reference to it.
|
||||||
|
///
|
||||||
/// Returns `None` if the cast fails.
|
/// Returns `None` if the cast fails.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
pub fn read_lock<T: Variant + Clone>(&self) -> Option<DynamicReadLock<T>> {
|
pub fn read_lock<T: Variant + Clone>(&self) -> Option<DynamicReadLock<T>> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(ref cell) => {
|
Union::Shared(ref cell) => {
|
||||||
let type_id = TypeId::of::<T>();
|
let type_id = TypeId::of::<T>();
|
||||||
|
|
||||||
if type_id != TypeId::of::<Dynamic>() && cell.value_type_id != type_id {
|
if type_id != TypeId::of::<Dynamic>() && type_id != cell.value_type_id {
|
||||||
return None
|
return None;
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
return Some(DynamicReadLock(DynamicReadLockInner::Guard(
|
return Some(DynamicReadLock(DynamicReadLockInner::Guard(
|
||||||
cell.container.borrow()
|
cell.container.borrow(),
|
||||||
)));
|
)));
|
||||||
|
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
return Some(DynamicReadLock(DynamicReadLockInner::Guard(
|
return Some(DynamicReadLock(DynamicReadLockInner::Guard(
|
||||||
cell.container.read().unwrap()
|
cell.container.read().unwrap(),
|
||||||
)));
|
)));
|
||||||
},
|
|
||||||
_ => {
|
|
||||||
self.downcast_ref().map(|reference| {
|
|
||||||
DynamicReadLock(DynamicReadLockInner::Reference(reference))
|
|
||||||
})
|
|
||||||
}
|
}
|
||||||
|
_ => self
|
||||||
|
.downcast_ref()
|
||||||
|
.map(|reference| DynamicReadLock(DynamicReadLockInner::Reference(reference))),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Get a mutable reference of a specific type to the `Dynamic`.
|
/// Get a mutable reference of a specific type to the `Dynamic`.
|
||||||
/// Casting to `Dynamic` just returns a mutable reference to it.
|
/// Casting to `Dynamic` just returns a mutable reference to it.
|
||||||
|
///
|
||||||
/// Returns `None` if the cast fails.
|
/// Returns `None` if the cast fails.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
pub fn write_lock<T: Variant + Clone>(&mut self) -> Option<DynamicWriteLock<T>> {
|
pub fn write_lock<T: Variant + Clone>(&mut self) -> Option<DynamicWriteLock<T>> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(ref cell) => {
|
Union::Shared(ref cell) => {
|
||||||
let type_id = TypeId::of::<T>();
|
let type_id = TypeId::of::<T>();
|
||||||
|
|
||||||
if type_id != TypeId::of::<Dynamic>() && cell.value_type_id != type_id {
|
if type_id != TypeId::of::<Dynamic>() && cell.value_type_id != type_id {
|
||||||
return None
|
return None;
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
return Some(DynamicWriteLock(DynamicWriteLockInner::Guard(
|
return Some(DynamicWriteLock(DynamicWriteLockInner::Guard(
|
||||||
cell.container.borrow_mut()
|
cell.container.borrow_mut(),
|
||||||
)));
|
)));
|
||||||
|
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
return Some(DynamicWriteLock(DynamicWriteLockInner::Guard(
|
return Some(DynamicWriteLock(DynamicWriteLockInner::Guard(
|
||||||
cell.container.write().unwrap()
|
cell.container.write().unwrap(),
|
||||||
)));
|
)));
|
||||||
},
|
|
||||||
_ => {
|
|
||||||
self.downcast_mut().map(|reference| {
|
|
||||||
DynamicWriteLock(DynamicWriteLockInner::Reference(reference))
|
|
||||||
})
|
|
||||||
}
|
}
|
||||||
|
_ => self
|
||||||
|
.downcast_mut()
|
||||||
|
.map(|reference| DynamicWriteLock(DynamicWriteLockInner::Reference(reference))),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Get a reference of a specific type to the `Dynamic`.
|
||||||
|
/// Casting to `Dynamic` just returns a reference to it.
|
||||||
|
///
|
||||||
|
/// Returns `None` if the cast fails.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
fn downcast_ref<T: Variant + Clone>(&self) -> Option<&T> {
|
fn downcast_ref<T: Variant + Clone>(&self) -> Option<&T> {
|
||||||
let type_id = TypeId::of::<T>();
|
let type_id = TypeId::of::<T>();
|
||||||
@ -884,10 +907,16 @@ impl Dynamic {
|
|||||||
|
|
||||||
match &self.0 {
|
match &self.0 {
|
||||||
Union::Variant(value) => value.as_ref().as_ref().as_any().downcast_ref::<T>(),
|
Union::Variant(value) => value.as_ref().as_ref().as_any().downcast_ref::<T>(),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => unreachable!(),
|
||||||
_ => None,
|
_ => None,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Get a mutable reference of a specific type to the `Dynamic`.
|
||||||
|
/// Casting to `Dynamic` just returns a mutable reference to it.
|
||||||
|
///
|
||||||
|
/// Returns `None` if the cast fails.
|
||||||
#[inline(always)]
|
#[inline(always)]
|
||||||
fn downcast_mut<T: Variant + Clone>(&mut self) -> Option<&mut T> {
|
fn downcast_mut<T: Variant + Clone>(&mut self) -> Option<&mut T> {
|
||||||
let type_id = TypeId::of::<T>();
|
let type_id = TypeId::of::<T>();
|
||||||
@ -955,6 +984,8 @@ impl Dynamic {
|
|||||||
|
|
||||||
match &mut self.0 {
|
match &mut self.0 {
|
||||||
Union::Variant(value) => value.as_mut().as_mut_any().downcast_mut::<T>(),
|
Union::Variant(value) => value.as_mut().as_mut_any().downcast_mut::<T>(),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => unreachable!(),
|
||||||
_ => None,
|
_ => None,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -964,7 +995,10 @@ impl Dynamic {
|
|||||||
pub fn as_int(&self) -> Result<INT, &'static str> {
|
pub fn as_int(&self) -> Result<INT, &'static str> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Int(n) => Ok(n),
|
Union::Int(n) => Ok(n),
|
||||||
Union::Shared(_) => self.clone_inner_data::<INT>().ok_or_else(|| self.type_name()),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => self
|
||||||
|
.clone_inner_data::<INT>()
|
||||||
|
.ok_or_else(|| self.type_name()),
|
||||||
_ => Err(self.type_name()),
|
_ => Err(self.type_name()),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -975,7 +1009,10 @@ impl Dynamic {
|
|||||||
pub fn as_float(&self) -> Result<FLOAT, &'static str> {
|
pub fn as_float(&self) -> Result<FLOAT, &'static str> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Float(n) => Ok(n),
|
Union::Float(n) => Ok(n),
|
||||||
Union::Shared(_) => self.clone_inner_data::<FLOAT>().ok_or_else(|| self.type_name()),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => self
|
||||||
|
.clone_inner_data::<FLOAT>()
|
||||||
|
.ok_or_else(|| self.type_name()),
|
||||||
_ => Err(self.type_name()),
|
_ => Err(self.type_name()),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -985,7 +1022,10 @@ impl Dynamic {
|
|||||||
pub fn as_bool(&self) -> Result<bool, &'static str> {
|
pub fn as_bool(&self) -> Result<bool, &'static str> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Bool(b) => Ok(b),
|
Union::Bool(b) => Ok(b),
|
||||||
Union::Shared(_) => self.clone_inner_data::<bool>().ok_or_else(|| self.type_name()),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => self
|
||||||
|
.clone_inner_data::<bool>()
|
||||||
|
.ok_or_else(|| self.type_name()),
|
||||||
_ => Err(self.type_name()),
|
_ => Err(self.type_name()),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -995,7 +1035,10 @@ impl Dynamic {
|
|||||||
pub fn as_char(&self) -> Result<char, &'static str> {
|
pub fn as_char(&self) -> Result<char, &'static str> {
|
||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Char(n) => Ok(n),
|
Union::Char(n) => Ok(n),
|
||||||
Union::Shared(_) => self.clone_inner_data::<char>().ok_or_else(|| self.type_name()),
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
Union::Shared(_) => self
|
||||||
|
.clone_inner_data::<char>()
|
||||||
|
.ok_or_else(|| self.type_name()),
|
||||||
_ => Err(self.type_name()),
|
_ => Err(self.type_name()),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -1025,6 +1068,7 @@ impl Dynamic {
|
|||||||
match self.0 {
|
match self.0 {
|
||||||
Union::Str(s) => Ok(s),
|
Union::Str(s) => Ok(s),
|
||||||
Union::FnPtr(f) => Ok(f.take_data().0),
|
Union::FnPtr(f) => Ok(f.take_data().0),
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
Union::Shared(cell) => {
|
Union::Shared(cell) => {
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
match &cell.container.borrow().deref().0 {
|
match &cell.container.borrow().deref().0 {
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
//! Main module defining the script evaluation `Engine`.
|
//! Main module defining the script evaluation `Engine`.
|
||||||
|
|
||||||
use crate::any::{map_std_type_name, Dynamic, Union, DynamicWriteLock};
|
use crate::any::{map_std_type_name, Dynamic, DynamicWriteLock, Union};
|
||||||
use crate::calc_fn_hash;
|
use crate::calc_fn_hash;
|
||||||
use crate::fn_call::run_builtin_op_assignment;
|
use crate::fn_call::run_builtin_op_assignment;
|
||||||
use crate::fn_native::{CallableFunction, Callback, FnPtr};
|
use crate::fn_native::{CallableFunction, Callback, FnPtr};
|
||||||
@ -37,9 +37,9 @@ use crate::stdlib::{
|
|||||||
collections::{HashMap, HashSet},
|
collections::{HashMap, HashSet},
|
||||||
fmt, format,
|
fmt, format,
|
||||||
iter::{empty, once},
|
iter::{empty, once},
|
||||||
|
ops::DerefMut,
|
||||||
string::{String, ToString},
|
string::{String, ToString},
|
||||||
vec::Vec,
|
vec::Vec,
|
||||||
ops::DerefMut,
|
|
||||||
};
|
};
|
||||||
|
|
||||||
#[cfg(not(feature = "no_index"))]
|
#[cfg(not(feature = "no_index"))]
|
||||||
@ -229,15 +229,17 @@ impl Target<'_> {
|
|||||||
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
||||||
impl<'a> From<&'a mut Dynamic> for Target<'a> {
|
impl<'a> From<&'a mut Dynamic> for Target<'a> {
|
||||||
fn from(value: &'a mut Dynamic) -> Self {
|
fn from(value: &'a mut Dynamic) -> Self {
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
if value.is_shared() {
|
if value.is_shared() {
|
||||||
// clone is cheap since it holds Arc/Rw under the hood
|
// cloning is cheap since it holds Arc/Rw under the hood
|
||||||
let container = value.clone();
|
let container = value.clone();
|
||||||
Self::LockGuard((value.write_lock::<Dynamic>().unwrap(), container))
|
return Self::LockGuard((value.write_lock::<Dynamic>().unwrap(), container));
|
||||||
} else {
|
}
|
||||||
|
|
||||||
Self::Ref(value)
|
Self::Ref(value)
|
||||||
}
|
}
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
||||||
impl<T: Into<Dynamic>> From<T> for Target<'_> {
|
impl<T: Into<Dynamic>> From<T> for Target<'_> {
|
||||||
fn from(value: T) -> Self {
|
fn from(value: T) -> Self {
|
||||||
@ -759,7 +761,7 @@ impl Engine {
|
|||||||
)?;
|
)?;
|
||||||
}
|
}
|
||||||
None => (),
|
None => (),
|
||||||
_ => unreachable!()
|
_ => unreachable!(),
|
||||||
}
|
}
|
||||||
|
|
||||||
Ok(Default::default())
|
Ok(Default::default())
|
||||||
@ -881,8 +883,15 @@ impl Engine {
|
|||||||
|
|
||||||
let (result, may_be_changed) = self
|
let (result, may_be_changed) = self
|
||||||
.eval_dot_index_chain_helper(
|
.eval_dot_index_chain_helper(
|
||||||
state, lib, this_ptr, &mut val.into(), expr, idx_values, next_chain,
|
state,
|
||||||
level, _new_val,
|
lib,
|
||||||
|
this_ptr,
|
||||||
|
&mut val.into(),
|
||||||
|
expr,
|
||||||
|
idx_values,
|
||||||
|
next_chain,
|
||||||
|
level,
|
||||||
|
_new_val,
|
||||||
)
|
)
|
||||||
.map_err(|err| err.new_position(*pos))?;
|
.map_err(|err| err.new_position(*pos))?;
|
||||||
|
|
||||||
@ -1318,11 +1327,13 @@ impl Engine {
|
|||||||
)),
|
)),
|
||||||
// Normal assignment
|
// Normal assignment
|
||||||
ScopeEntryType::Normal if op.is_empty() => {
|
ScopeEntryType::Normal if op.is_empty() => {
|
||||||
if lhs_ptr.is_shared() {
|
#[cfg(not(feature = "no_shared"))]
|
||||||
*lhs_ptr.write_lock::<Dynamic>().unwrap() = rhs_val;
|
let lhs_ptr = if lhs_ptr.is_shared() {
|
||||||
|
lhs_ptr.write_lock::<Dynamic>().unwrap();
|
||||||
} else {
|
} else {
|
||||||
|
lhs_ptr
|
||||||
|
};
|
||||||
*lhs_ptr = rhs_val;
|
*lhs_ptr = rhs_val;
|
||||||
}
|
|
||||||
Ok(Default::default())
|
Ok(Default::default())
|
||||||
}
|
}
|
||||||
// Op-assignment - in order of precedence:
|
// Op-assignment - in order of precedence:
|
||||||
@ -1340,13 +1351,15 @@ impl Engine {
|
|||||||
.get_fn(hash_fn, false)
|
.get_fn(hash_fn, false)
|
||||||
.or_else(|| self.packages.get_fn(hash_fn, false))
|
.or_else(|| self.packages.get_fn(hash_fn, false))
|
||||||
{
|
{
|
||||||
if lhs_ptr.is_shared() {
|
|
||||||
// Overriding exact implementation
|
// Overriding exact implementation
|
||||||
func(self, lib, &mut [&mut lhs_ptr.write_lock::<Dynamic>().unwrap(), &mut rhs_val])?;
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
let lhs_ptr = if lhs_ptr.is_shared() {
|
||||||
|
&mut lhs_ptr.write_lock::<Dynamic>().unwrap()
|
||||||
} else {
|
} else {
|
||||||
// Overriding exact implementation
|
lhs_ptr
|
||||||
|
};
|
||||||
|
|
||||||
func(self, lib, &mut [lhs_ptr, &mut rhs_val])?;
|
func(self, lib, &mut [lhs_ptr, &mut rhs_val])?;
|
||||||
}
|
|
||||||
} else if run_builtin_op_assignment(op, lhs_ptr, &rhs_val)?.is_none() {
|
} else if run_builtin_op_assignment(op, lhs_ptr, &rhs_val)?.is_none() {
|
||||||
// Not built in, map to `var = var op rhs`
|
// Not built in, map to `var = var op rhs`
|
||||||
let op = &op[..op.len() - 1]; // extract operator without =
|
let op = &op[..op.len() - 1]; // extract operator without =
|
||||||
@ -1360,14 +1373,16 @@ impl Engine {
|
|||||||
state, lib, op, 0, args, false, false, false, None, None, level,
|
state, lib, op, 0, args, false, false, false, None, None, level,
|
||||||
)
|
)
|
||||||
.map_err(|err| err.new_position(*op_pos))?;
|
.map_err(|err| err.new_position(*op_pos))?;
|
||||||
if lhs_ptr.is_shared() {
|
|
||||||
// Set value to LHS
|
#[cfg(not(feature = "no_shared"))]
|
||||||
*lhs_ptr.write_lock::<Dynamic>().unwrap() = value;
|
let lhs_ptr = if lhs_ptr.is_shared() {
|
||||||
|
lhs_ptr.write_lock::<Dynamic>().unwrap()
|
||||||
} else {
|
} else {
|
||||||
// Set value to LHS
|
lhs_ptr
|
||||||
|
};
|
||||||
|
|
||||||
*lhs_ptr = value;
|
*lhs_ptr = value;
|
||||||
}
|
}
|
||||||
}
|
|
||||||
Ok(Default::default())
|
Ok(Default::default())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -5,7 +5,7 @@ use crate::calc_fn_hash;
|
|||||||
use crate::engine::{
|
use crate::engine::{
|
||||||
search_imports, search_namespace, search_scope_only, Engine, Imports, State, KEYWORD_DEBUG,
|
search_imports, search_namespace, search_scope_only, Engine, Imports, State, KEYWORD_DEBUG,
|
||||||
KEYWORD_EVAL, KEYWORD_FN_PTR, KEYWORD_FN_PTR_CALL, KEYWORD_FN_PTR_CURRY, KEYWORD_PRINT,
|
KEYWORD_EVAL, KEYWORD_FN_PTR, KEYWORD_FN_PTR_CALL, KEYWORD_FN_PTR_CURRY, KEYWORD_PRINT,
|
||||||
KEYWORD_TYPE_OF, KEYWORD_SHARED,
|
KEYWORD_TYPE_OF,
|
||||||
};
|
};
|
||||||
use crate::error::ParseErrorType;
|
use crate::error::ParseErrorType;
|
||||||
use crate::fn_native::{FnCallArgs, FnPtr};
|
use crate::fn_native::{FnCallArgs, FnPtr};
|
||||||
@ -14,9 +14,9 @@ use crate::optimize::OptimizationLevel;
|
|||||||
use crate::parser::{Expr, ImmutableString, AST, INT};
|
use crate::parser::{Expr, ImmutableString, AST, INT};
|
||||||
use crate::result::EvalAltResult;
|
use crate::result::EvalAltResult;
|
||||||
use crate::scope::Scope;
|
use crate::scope::Scope;
|
||||||
|
use crate::stdlib::ops::Deref;
|
||||||
use crate::token::Position;
|
use crate::token::Position;
|
||||||
use crate::utils::StaticVec;
|
use crate::utils::StaticVec;
|
||||||
use crate::stdlib::ops::Deref;
|
|
||||||
|
|
||||||
#[cfg(not(feature = "no_function"))]
|
#[cfg(not(feature = "no_function"))]
|
||||||
use crate::{
|
use crate::{
|
||||||
@ -34,6 +34,9 @@ use crate::engine::{FN_IDX_GET, FN_IDX_SET};
|
|||||||
#[cfg(not(feature = "no_object"))]
|
#[cfg(not(feature = "no_object"))]
|
||||||
use crate::engine::{Map, Target, FN_GET, FN_SET, KEYWORD_TAKE};
|
use crate::engine::{Map, Target, FN_GET, FN_SET, KEYWORD_TAKE};
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
use crate::engine::KEYWORD_SHARED;
|
||||||
|
|
||||||
use crate::stdlib::{
|
use crate::stdlib::{
|
||||||
any::{type_name, TypeId},
|
any::{type_name, TypeId},
|
||||||
boxed::Box,
|
boxed::Box,
|
||||||
@ -771,6 +774,7 @@ impl Engine {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Handle shared()
|
// Handle shared()
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
if name == KEYWORD_SHARED && args_expr.len() == 1 {
|
if name == KEYWORD_SHARED && args_expr.len() == 1 {
|
||||||
let expr = args_expr.get(0).unwrap();
|
let expr = args_expr.get(0).unwrap();
|
||||||
let value = self.eval_expr(scope, mods, state, lib, this_ptr, expr, level)?;
|
let value = self.eval_expr(scope, mods, state, lib, this_ptr, expr, level)?;
|
||||||
|
@ -18,33 +18,46 @@ use crate::stdlib::{boxed::Box, convert::TryFrom, fmt, iter::empty, string::Stri
|
|||||||
use crate::stdlib::mem;
|
use crate::stdlib::mem;
|
||||||
|
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
use crate::stdlib::{rc::Rc, cell::RefCell};
|
use crate::stdlib::rc::Rc;
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
use crate::stdlib::sync::{Arc, RwLock};
|
use crate::stdlib::sync::Arc;
|
||||||
|
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
#[cfg(not(feature = "sync"))]
|
||||||
|
use crate::stdlib::cell::RefCell;
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
|
#[cfg(feature = "sync")]
|
||||||
|
use crate::stdlib::sync::RwLock;
|
||||||
|
|
||||||
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
pub trait SendSync: Send + Sync {}
|
pub trait SendSync: Send + Sync {}
|
||||||
|
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
impl<T: Send + Sync> SendSync for T {}
|
impl<T: Send + Sync> SendSync for T {}
|
||||||
|
|
||||||
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
pub trait SendSync {}
|
pub trait SendSync {}
|
||||||
|
/// Trait that maps to `Send + Sync` only under the `sync` feature.
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
impl<T> SendSync for T {}
|
impl<T> SendSync for T {}
|
||||||
|
|
||||||
/// Immutable reference counting container
|
/// Immutable reference-counted container
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
pub type Shared<T> = Rc<T>;
|
pub type Shared<T> = Rc<T>;
|
||||||
|
/// Immutable reference-counted container
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
pub type Shared<T> = Arc<T>;
|
pub type Shared<T> = Arc<T>;
|
||||||
|
|
||||||
/// Mutable reference counting container(read-write lock)
|
/// Mutable reference-counted container (read-write lock)
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(not(feature = "sync"))]
|
#[cfg(not(feature = "sync"))]
|
||||||
pub type SharedMut<T> = Rc<RefCell<T>>;
|
pub type SharedMut<T> = Shared<RefCell<T>>;
|
||||||
|
/// Mutable reference-counted container (read-write lock)
|
||||||
|
#[cfg(not(feature = "no_shared"))]
|
||||||
#[cfg(feature = "sync")]
|
#[cfg(feature = "sync")]
|
||||||
pub type SharedMut<T> = Arc<RwLock<T>>;
|
pub type SharedMut<T> = Shared<RwLock<T>>;
|
||||||
|
|
||||||
/// Consume a `Shared` resource and return a mutable reference to the wrapped value.
|
/// Consume a `Shared` resource and return a mutable reference to the wrapped value.
|
||||||
/// If the resource is shared (i.e. has other outstanding references), a cloned copy is used.
|
/// If the resource is shared (i.e. has other outstanding references), a cloned copy is used.
|
||||||
|
12
src/token.rs
12
src/token.rs
@ -2,7 +2,7 @@
|
|||||||
|
|
||||||
use crate::engine::{
|
use crate::engine::{
|
||||||
Engine, KEYWORD_DEBUG, KEYWORD_EVAL, KEYWORD_FN_PTR, KEYWORD_FN_PTR_CALL, KEYWORD_FN_PTR_CURRY,
|
Engine, KEYWORD_DEBUG, KEYWORD_EVAL, KEYWORD_FN_PTR, KEYWORD_FN_PTR_CALL, KEYWORD_FN_PTR_CURRY,
|
||||||
KEYWORD_SHARED, KEYWORD_TAKE, KEYWORD_PRINT, KEYWORD_THIS, KEYWORD_TYPE_OF,
|
KEYWORD_PRINT, KEYWORD_SHARED, KEYWORD_TAKE, KEYWORD_THIS, KEYWORD_TYPE_OF,
|
||||||
};
|
};
|
||||||
|
|
||||||
use crate::error::LexError;
|
use crate::error::LexError;
|
||||||
@ -503,12 +503,12 @@ impl Token {
|
|||||||
"===" | "!==" | "->" | "<-" | "=>" | ":=" | "::<" | "(*" | "*)" | "#" | "public"
|
"===" | "!==" | "->" | "<-" | "=>" | ":=" | "::<" | "(*" | "*)" | "#" | "public"
|
||||||
| "new" | "use" | "module" | "package" | "var" | "static" | "with" | "do" | "each"
|
| "new" | "use" | "module" | "package" | "var" | "static" | "with" | "do" | "each"
|
||||||
| "then" | "goto" | "exit" | "switch" | "match" | "case" | "try" | "catch"
|
| "then" | "goto" | "exit" | "switch" | "match" | "case" | "try" | "catch"
|
||||||
| "default" | "void" | "null" | "nil" | "spawn" | "go" | "sync"
|
| "default" | "void" | "null" | "nil" | "spawn" | "go" | "sync" | "async" | "await"
|
||||||
| "async" | "await" | "yield" => Reserved(syntax.into()),
|
| "yield" => Reserved(syntax.into()),
|
||||||
|
|
||||||
KEYWORD_PRINT | KEYWORD_DEBUG | KEYWORD_TYPE_OF | KEYWORD_EVAL | KEYWORD_FN_PTR
|
KEYWORD_PRINT | KEYWORD_DEBUG | KEYWORD_TYPE_OF | KEYWORD_EVAL | KEYWORD_FN_PTR
|
||||||
| KEYWORD_FN_PTR_CALL | KEYWORD_FN_PTR_CURRY | KEYWORD_SHARED
|
| KEYWORD_FN_PTR_CALL | KEYWORD_FN_PTR_CURRY | KEYWORD_SHARED | KEYWORD_TAKE
|
||||||
| KEYWORD_TAKE |KEYWORD_THIS => Reserved(syntax.into()),
|
| KEYWORD_THIS => Reserved(syntax.into()),
|
||||||
|
|
||||||
_ => return None,
|
_ => return None,
|
||||||
})
|
})
|
||||||
@ -1439,7 +1439,7 @@ pub fn is_keyword_function(name: &str) -> bool {
|
|||||||
|| name == KEYWORD_FN_PTR_CALL
|
|| name == KEYWORD_FN_PTR_CALL
|
||||||
|| name == KEYWORD_FN_PTR_CURRY;
|
|| name == KEYWORD_FN_PTR_CURRY;
|
||||||
|
|
||||||
#[cfg(not(feature = "no-shared"))]
|
#[cfg(not(feature = "no_shared"))]
|
||||||
{
|
{
|
||||||
result = result || name == KEYWORD_SHARED || name == KEYWORD_TAKE;
|
result = result || name == KEYWORD_SHARED || name == KEYWORD_TAKE;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user