3587 lines
140 KiB
Rust
3587 lines
140 KiB
Rust
//! Main module defining the script evaluation [`Engine`].
|
|
|
|
use crate::api::custom_syntax::CustomSyntax;
|
|
use crate::ast::{Expr, FnCallExpr, Ident, OpAssignment, Stmt, AST_OPTION_FLAGS::*};
|
|
use crate::func::call::FnResolutionCache;
|
|
use crate::func::native::{OnDebugCallback, OnParseTokenCallback, OnPrintCallback, OnVarCallback};
|
|
use crate::func::{get_hasher, CallableFunction, IteratorFn};
|
|
use crate::module::Namespace;
|
|
use crate::packages::{Package, StandardPackage};
|
|
use crate::r#unsafe::unsafe_cast_var_name_to_lifetime;
|
|
use crate::tokenizer::Token;
|
|
use crate::types::dynamic::{map_std_type_name, AccessMode, Union, Variant};
|
|
use crate::{
|
|
Dynamic, Identifier, ImmutableString, Module, Position, RhaiError, RhaiResult, RhaiResultOf,
|
|
Scope, Shared, StaticVec, ERR, INT,
|
|
};
|
|
#[cfg(feature = "no_std")]
|
|
use std::prelude::v1::*;
|
|
use std::{
|
|
any::{type_name, TypeId},
|
|
borrow::Cow,
|
|
collections::{BTreeMap, BTreeSet},
|
|
fmt,
|
|
hash::{Hash, Hasher},
|
|
iter::{FromIterator, Rev, Zip},
|
|
num::{NonZeroU8, NonZeroUsize},
|
|
ops::{Deref, DerefMut},
|
|
};
|
|
|
|
pub type Precedence = NonZeroU8;
|
|
|
|
pub const KEYWORD_PRINT: &str = "print";
|
|
pub const KEYWORD_DEBUG: &str = "debug";
|
|
pub const KEYWORD_TYPE_OF: &str = "type_of";
|
|
pub const KEYWORD_EVAL: &str = "eval";
|
|
pub const KEYWORD_FN_PTR: &str = "Fn";
|
|
pub const KEYWORD_FN_PTR_CALL: &str = "call";
|
|
pub const KEYWORD_FN_PTR_CURRY: &str = "curry";
|
|
#[cfg(not(feature = "no_closure"))]
|
|
pub const KEYWORD_IS_SHARED: &str = "is_shared";
|
|
pub const KEYWORD_IS_DEF_VAR: &str = "is_def_var";
|
|
#[cfg(not(feature = "no_function"))]
|
|
pub const KEYWORD_IS_DEF_FN: &str = "is_def_fn";
|
|
pub const KEYWORD_THIS: &str = "this";
|
|
#[cfg(not(feature = "no_function"))]
|
|
#[cfg(not(feature = "no_module"))]
|
|
pub const KEYWORD_GLOBAL: &str = "global";
|
|
#[cfg(not(feature = "no_object"))]
|
|
pub const FN_GET: &str = "get$";
|
|
#[cfg(not(feature = "no_object"))]
|
|
pub const FN_SET: &str = "set$";
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
pub const FN_IDX_GET: &str = "index$get$";
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
pub const FN_IDX_SET: &str = "index$set$";
|
|
#[cfg(not(feature = "no_function"))]
|
|
pub const FN_ANONYMOUS: &str = "anon$";
|
|
|
|
/// Standard equality comparison operator.
|
|
///
|
|
/// Some standard functions (e.g. searching an [`Array`][crate::Array]) implicitly call this
|
|
/// function to compare two [`Dynamic`] values.
|
|
pub const OP_EQUALS: &str = Token::EqualsTo.literal_syntax();
|
|
|
|
/// Standard concatenation operator.
|
|
///
|
|
/// Used primarily to build up interpolated strings.
|
|
pub const OP_CONCAT: &str = Token::PlusAssign.literal_syntax();
|
|
|
|
/// Standard containment testing function.
|
|
///
|
|
/// The `in` operator is implemented as a call to this function.
|
|
pub const OP_CONTAINS: &str = "contains";
|
|
|
|
/// Standard exclusive range operator.
|
|
pub const OP_EXCLUSIVE_RANGE: &str = Token::ExclusiveRange.literal_syntax();
|
|
|
|
/// Standard inclusive range operator.
|
|
pub const OP_INCLUSIVE_RANGE: &str = Token::InclusiveRange.literal_syntax();
|
|
|
|
/// Method of chaining.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
#[derive(Debug, Clone, Copy, Eq, PartialEq, Hash)]
|
|
enum ChainType {
|
|
/// Indexing.
|
|
#[cfg(not(feature = "no_index"))]
|
|
Indexing,
|
|
/// Dotting.
|
|
#[cfg(not(feature = "no_object"))]
|
|
Dotting,
|
|
}
|
|
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
impl From<&Expr> for ChainType {
|
|
#[inline]
|
|
fn from(expr: &Expr) -> Self {
|
|
match expr {
|
|
#[cfg(not(feature = "no_index"))]
|
|
Expr::Index(_, _, _) => Self::Indexing,
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Dot(_, _, _) => Self::Dotting,
|
|
expr => unreachable!("Expr::Index or Expr::Dot expected but gets {:?}", expr),
|
|
}
|
|
}
|
|
}
|
|
|
|
/// Value of a chaining argument.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
#[derive(Debug, Clone, Hash)]
|
|
enum ChainArgument {
|
|
/// Dot-property access.
|
|
#[cfg(not(feature = "no_object"))]
|
|
Property(Position),
|
|
/// Arguments to a dot method call.
|
|
/// Wrapped values are the arguments plus the [position][Position] of the first argument.
|
|
///
|
|
/// Since many dotted function calls have no arguments (e.g. `string.len()`), it is better to
|
|
/// reduce the size of [`ChainArgument`] by using a boxed slice.
|
|
#[cfg(not(feature = "no_object"))]
|
|
MethodCallArgs(Option<Box<[Dynamic]>>, Position),
|
|
/// Index value and [position][Position].
|
|
#[cfg(not(feature = "no_index"))]
|
|
IndexValue(Dynamic, Position),
|
|
}
|
|
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
impl ChainArgument {
|
|
/// Return the index value.
|
|
#[inline(always)]
|
|
#[cfg(not(feature = "no_index"))]
|
|
#[must_use]
|
|
pub fn into_index_value(self) -> Option<Dynamic> {
|
|
match self {
|
|
Self::IndexValue(value, _) => Some(value),
|
|
#[cfg(not(feature = "no_object"))]
|
|
_ => None,
|
|
}
|
|
}
|
|
/// Return the list of method call arguments.
|
|
///
|
|
/// # Panics
|
|
///
|
|
/// Panics if the [`ChainArgument`] is not [`MethodCallArgs`][ChainArgument::MethodCallArgs].
|
|
#[inline(always)]
|
|
#[cfg(not(feature = "no_object"))]
|
|
#[must_use]
|
|
pub fn into_fn_call_args(self) -> (crate::FnArgsVec<Dynamic>, Position) {
|
|
match self {
|
|
Self::MethodCallArgs(None, pos) => (crate::FnArgsVec::new_const(), pos),
|
|
Self::MethodCallArgs(Some(mut values), pos) => {
|
|
(values.iter_mut().map(std::mem::take).collect(), pos)
|
|
}
|
|
x => unreachable!("ChainArgument::MethodCallArgs expected but gets {:?}", x),
|
|
}
|
|
}
|
|
/// Return the [position][Position].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
#[allow(dead_code)]
|
|
pub const fn position(&self) -> Position {
|
|
match self {
|
|
#[cfg(not(feature = "no_object"))]
|
|
ChainArgument::Property(pos) => *pos,
|
|
#[cfg(not(feature = "no_object"))]
|
|
ChainArgument::MethodCallArgs(_, pos) => *pos,
|
|
#[cfg(not(feature = "no_index"))]
|
|
ChainArgument::IndexValue(_, pos) => *pos,
|
|
}
|
|
}
|
|
/// Create n [`MethodCallArgs`][ChainArgument::MethodCallArgs].
|
|
#[inline(always)]
|
|
#[cfg(not(feature = "no_object"))]
|
|
#[must_use]
|
|
pub fn from_fn_call_args(values: crate::FnArgsVec<Dynamic>, pos: Position) -> Self {
|
|
if values.is_empty() {
|
|
Self::MethodCallArgs(None, pos)
|
|
} else {
|
|
Self::MethodCallArgs(Some(values.into_vec().into()), pos)
|
|
}
|
|
}
|
|
/// Create an [`IndexValue`][ChainArgument::IndexValue].
|
|
#[inline(always)]
|
|
#[cfg(not(feature = "no_index"))]
|
|
#[must_use]
|
|
pub const fn from_index_value(value: Dynamic, pos: Position) -> Self {
|
|
Self::IndexValue(value, pos)
|
|
}
|
|
}
|
|
|
|
/// A type that encapsulates a mutation target for an expression with side effects.
|
|
#[derive(Debug)]
|
|
pub enum Target<'a> {
|
|
/// The target is a mutable reference to a [`Dynamic`].
|
|
RefMut(&'a mut Dynamic),
|
|
/// The target is a mutable reference to a _shared_ [`Dynamic`].
|
|
#[cfg(not(feature = "no_closure"))]
|
|
SharedValue {
|
|
/// Lock guard to the shared [`Dynamic`].
|
|
source: crate::types::dynamic::DynamicWriteLock<'a, Dynamic>,
|
|
/// Copy of the value.
|
|
value: Dynamic,
|
|
},
|
|
/// The target is a temporary [`Dynamic`] value (i.e. its mutation can cause no side effects).
|
|
TempValue(Dynamic),
|
|
/// The target is a bit inside an [`INT`][crate::INT].
|
|
/// This is necessary because directly pointing to a bit inside an [`INT`][crate::INT] is impossible.
|
|
#[cfg(not(feature = "no_index"))]
|
|
Bit {
|
|
/// Mutable reference to the source [`Dynamic`].
|
|
source: &'a mut Dynamic,
|
|
/// Copy of the boolean bit, as a [`Dynamic`].
|
|
value: Dynamic,
|
|
/// Bit offset.
|
|
bit: u8,
|
|
},
|
|
/// The target is a range of bits inside an [`INT`][crate::INT].
|
|
/// This is necessary because directly pointing to a range of bits inside an [`INT`][crate::INT] is impossible.
|
|
#[cfg(not(feature = "no_index"))]
|
|
BitField {
|
|
/// Mutable reference to the source [`Dynamic`].
|
|
source: &'a mut Dynamic,
|
|
/// Copy of the integer value of the bits, as a [`Dynamic`].
|
|
value: Dynamic,
|
|
/// Bitmask to apply to the source value (i.e. shifted)
|
|
mask: INT,
|
|
/// Number of bits to right-shift the source value.
|
|
shift: u8,
|
|
},
|
|
/// The target is a byte inside a [`Blob`][crate::Blob].
|
|
/// This is necessary because directly pointing to a byte (in [`Dynamic`] form) inside a blob is impossible.
|
|
#[cfg(not(feature = "no_index"))]
|
|
BlobByte {
|
|
/// Mutable reference to the source [`Dynamic`].
|
|
source: &'a mut Dynamic,
|
|
/// Copy of the byte at the index, as a [`Dynamic`].
|
|
value: Dynamic,
|
|
/// Offset index.
|
|
index: usize,
|
|
},
|
|
/// The target is a character inside a string.
|
|
/// This is necessary because directly pointing to a char inside a String is impossible.
|
|
#[cfg(not(feature = "no_index"))]
|
|
StringChar {
|
|
/// Mutable reference to the source [`Dynamic`].
|
|
source: &'a mut Dynamic,
|
|
/// Copy of the character at the offset, as a [`Dynamic`].
|
|
value: Dynamic,
|
|
/// Offset index.
|
|
index: usize,
|
|
},
|
|
}
|
|
|
|
impl<'a> Target<'a> {
|
|
/// Is the [`Target`] a reference pointing to other data?
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
#[must_use]
|
|
pub const fn is_ref(&self) -> bool {
|
|
match self {
|
|
Self::RefMut(_) => true,
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { .. } => true,
|
|
Self::TempValue(_) => false,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { .. }
|
|
| Self::BitField { .. }
|
|
| Self::BlobByte { .. }
|
|
| Self::StringChar { .. } => false,
|
|
}
|
|
}
|
|
/// Is the [`Target`] a temp value?
|
|
#[inline]
|
|
#[must_use]
|
|
pub const fn is_temp_value(&self) -> bool {
|
|
match self {
|
|
Self::RefMut(_) => false,
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { .. } => false,
|
|
Self::TempValue(_) => true,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { .. }
|
|
| Self::BitField { .. }
|
|
| Self::BlobByte { .. }
|
|
| Self::StringChar { .. } => false,
|
|
}
|
|
}
|
|
/// Is the [`Target`] a shared value?
|
|
#[cfg(not(feature = "no_closure"))]
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn is_shared(&self) -> bool {
|
|
match self {
|
|
Self::RefMut(r) => r.is_shared(),
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { .. } => true,
|
|
Self::TempValue(r) => r.is_shared(),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { .. }
|
|
| Self::BitField { .. }
|
|
| Self::BlobByte { .. }
|
|
| Self::StringChar { .. } => false,
|
|
}
|
|
}
|
|
/// Is the [`Target`] a specific type?
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn is<T: Variant + Clone>(&self) -> bool {
|
|
match self {
|
|
Self::RefMut(r) => r.is::<T>(),
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { source, .. } => source.is::<T>(),
|
|
Self::TempValue(r) => r.is::<T>(),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { .. } => TypeId::of::<T>() == TypeId::of::<bool>(),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BitField { .. } => TypeId::of::<T>() == TypeId::of::<INT>(),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BlobByte { .. } => TypeId::of::<T>() == TypeId::of::<crate::Blob>(),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::StringChar { .. } => TypeId::of::<T>() == TypeId::of::<char>(),
|
|
}
|
|
}
|
|
/// Get the value of the [`Target`] as a [`Dynamic`], cloning a referenced value if necessary.
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn take_or_clone(self) -> Dynamic {
|
|
match self {
|
|
Self::RefMut(r) => r.clone(), // Referenced value is cloned
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { value, .. } => value, // Original shared value is simply taken
|
|
Self::TempValue(v) => v, // Owned value is simply taken
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { value, .. } => value, // boolean is taken
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BitField { value, .. } => value, // INT is taken
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BlobByte { value, .. } => value, // byte is taken
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::StringChar { value, .. } => value, // char is taken
|
|
}
|
|
}
|
|
/// Take a `&mut Dynamic` reference from the `Target`.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn take_ref(self) -> Option<&'a mut Dynamic> {
|
|
match self {
|
|
Self::RefMut(r) => Some(r),
|
|
_ => None,
|
|
}
|
|
}
|
|
/// Convert a shared or reference [`Target`] into a target with an owned value.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn into_owned(self) -> Self {
|
|
match self {
|
|
Self::RefMut(r) => Self::TempValue(r.clone()),
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { value, .. } => Self::TempValue(value),
|
|
_ => self,
|
|
}
|
|
}
|
|
/// Get the source [`Dynamic`] of the [`Target`].
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn source(&self) -> &Dynamic {
|
|
match self {
|
|
Self::RefMut(r) => *r,
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { source, .. } => source,
|
|
Self::TempValue(v) => v,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { source, .. } => source,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BitField { source, .. } => source,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BlobByte { source, .. } => source,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::StringChar { source, .. } => source,
|
|
}
|
|
}
|
|
/// Propagate a changed value back to the original source.
|
|
/// This has no effect for direct references.
|
|
#[inline]
|
|
pub fn propagate_changed_value(&mut self) -> RhaiResultOf<()> {
|
|
match self {
|
|
Self::RefMut(_) | Self::TempValue(_) => (),
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { .. } => (),
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { source, value, bit } => {
|
|
// Replace the bit at the specified index position
|
|
let new_bit = value.as_bool().map_err(|err| {
|
|
Box::new(ERR::ErrorMismatchDataType(
|
|
"bool".to_string(),
|
|
err.to_string(),
|
|
Position::NONE,
|
|
))
|
|
})?;
|
|
|
|
let value = &mut *source.write_lock::<crate::INT>().expect("`INT`");
|
|
|
|
let index = *bit;
|
|
|
|
let mask = 1 << index;
|
|
if new_bit {
|
|
*value |= mask;
|
|
} else {
|
|
*value &= !mask;
|
|
}
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BitField {
|
|
source,
|
|
value,
|
|
mask,
|
|
shift,
|
|
} => {
|
|
let shift = *shift;
|
|
let mask = *mask;
|
|
|
|
// Replace the bit at the specified index position
|
|
let new_value = value.as_int().map_err(|err| {
|
|
Box::new(ERR::ErrorMismatchDataType(
|
|
"integer".to_string(),
|
|
err.to_string(),
|
|
Position::NONE,
|
|
))
|
|
})?;
|
|
|
|
let new_value = (new_value << shift) & mask;
|
|
let value = &mut *source.write_lock::<crate::INT>().expect("`INT`");
|
|
|
|
*value &= !mask;
|
|
*value |= new_value;
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::BlobByte {
|
|
source,
|
|
value,
|
|
index,
|
|
} => {
|
|
// Replace the byte at the specified index position
|
|
let new_byte = value.as_int().map_err(|err| {
|
|
Box::new(ERR::ErrorMismatchDataType(
|
|
"INT".to_string(),
|
|
err.to_string(),
|
|
Position::NONE,
|
|
))
|
|
})?;
|
|
|
|
let value = &mut *source.write_lock::<crate::Blob>().expect("`Blob`");
|
|
|
|
let index = *index;
|
|
|
|
if index < value.len() {
|
|
value[index] = (new_byte & 0x00ff) as u8;
|
|
} else {
|
|
unreachable!("blob index out of bounds: {}", index);
|
|
}
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::StringChar {
|
|
source,
|
|
value,
|
|
index,
|
|
} => {
|
|
// Replace the character at the specified index position
|
|
let new_ch = value.as_char().map_err(|err| {
|
|
Box::new(ERR::ErrorMismatchDataType(
|
|
"char".to_string(),
|
|
err.to_string(),
|
|
Position::NONE,
|
|
))
|
|
})?;
|
|
|
|
let s = &mut *source
|
|
.write_lock::<ImmutableString>()
|
|
.expect("`ImmutableString`");
|
|
|
|
let index = *index;
|
|
|
|
*s = s
|
|
.chars()
|
|
.enumerate()
|
|
.map(|(i, ch)| if i == index { new_ch } else { ch })
|
|
.collect();
|
|
}
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
}
|
|
|
|
impl<'a> From<&'a mut Dynamic> for Target<'a> {
|
|
#[inline]
|
|
fn from(value: &'a mut Dynamic) -> Self {
|
|
#[cfg(not(feature = "no_closure"))]
|
|
if value.is_shared() {
|
|
// Cloning is cheap for a shared value
|
|
let val = value.clone();
|
|
let source = value.write_lock::<Dynamic>().expect("`Dynamic`");
|
|
return Self::SharedValue { source, value: val };
|
|
}
|
|
|
|
Self::RefMut(value)
|
|
}
|
|
}
|
|
|
|
impl Deref for Target<'_> {
|
|
type Target = Dynamic;
|
|
|
|
#[inline]
|
|
fn deref(&self) -> &Dynamic {
|
|
match self {
|
|
Self::RefMut(r) => *r,
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { source, .. } => &**source,
|
|
Self::TempValue(ref r) => r,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { ref value, .. }
|
|
| Self::BitField { ref value, .. }
|
|
| Self::BlobByte { ref value, .. }
|
|
| Self::StringChar { ref value, .. } => value,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl AsRef<Dynamic> for Target<'_> {
|
|
#[inline(always)]
|
|
fn as_ref(&self) -> &Dynamic {
|
|
self
|
|
}
|
|
}
|
|
|
|
impl DerefMut for Target<'_> {
|
|
#[inline]
|
|
fn deref_mut(&mut self) -> &mut Dynamic {
|
|
match self {
|
|
Self::RefMut(r) => *r,
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Self::SharedValue { source, .. } => &mut *source,
|
|
Self::TempValue(ref mut r) => r,
|
|
#[cfg(not(feature = "no_index"))]
|
|
Self::Bit { ref mut value, .. }
|
|
| Self::BitField { ref mut value, .. }
|
|
| Self::BlobByte { ref mut value, .. }
|
|
| Self::StringChar { ref mut value, .. } => value,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl AsMut<Dynamic> for Target<'_> {
|
|
#[inline(always)]
|
|
fn as_mut(&mut self) -> &mut Dynamic {
|
|
self
|
|
}
|
|
}
|
|
|
|
impl<T: Into<Dynamic>> From<T> for Target<'_> {
|
|
#[inline(always)]
|
|
#[must_use]
|
|
fn from(value: T) -> Self {
|
|
Self::TempValue(value.into())
|
|
}
|
|
}
|
|
|
|
/// _(internals)_ A stack of imported [modules][Module] plus mutable global runtime states.
|
|
/// Exported under the `internals` feature only.
|
|
//
|
|
// # Implementation Notes
|
|
//
|
|
// This implementation splits the module names from the shared modules to improve data locality.
|
|
// Most usage will be looking up a particular key from the list and then getting the module that
|
|
// corresponds to that key.
|
|
#[derive(Clone)]
|
|
pub struct GlobalRuntimeState {
|
|
/// Stack of module names.
|
|
//
|
|
// We cannot use Cow<str> here because `eval` may load a [module][Module] and
|
|
// the module name will live beyond the AST of the eval script text.
|
|
keys: StaticVec<Identifier>,
|
|
/// Stack of imported [modules][Module].
|
|
modules: StaticVec<Shared<Module>>,
|
|
/// Source of the current context.
|
|
/// No source if the string is empty.
|
|
pub source: Identifier,
|
|
/// Number of operations performed.
|
|
pub num_operations: u64,
|
|
/// Number of modules loaded.
|
|
pub num_modules_loaded: usize,
|
|
/// Function call hashes to index getters and setters.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn_hash_indexing: (u64, u64),
|
|
/// Embedded [module][Module] resolver.
|
|
#[cfg(not(feature = "no_module"))]
|
|
pub embedded_module_resolver: Option<Shared<crate::module::resolvers::StaticModuleResolver>>,
|
|
/// Cache of globally-defined constants.
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[cfg(not(feature = "no_function"))]
|
|
constants: Option<Shared<crate::Locked<BTreeMap<Identifier, Dynamic>>>>,
|
|
}
|
|
|
|
impl Default for GlobalRuntimeState {
|
|
#[inline(always)]
|
|
fn default() -> Self {
|
|
Self::new()
|
|
}
|
|
}
|
|
|
|
impl GlobalRuntimeState {
|
|
/// Create a new [`GlobalRuntimeState`].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn new() -> Self {
|
|
Self {
|
|
keys: StaticVec::new_const(),
|
|
modules: StaticVec::new_const(),
|
|
source: Identifier::new_const(),
|
|
num_operations: 0,
|
|
num_modules_loaded: 0,
|
|
#[cfg(not(feature = "no_module"))]
|
|
embedded_module_resolver: None,
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn_hash_indexing: (0, 0),
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[cfg(not(feature = "no_function"))]
|
|
constants: None,
|
|
}
|
|
}
|
|
/// Get the length of the stack of globally-imported [modules][Module].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn num_imported_modules(&self) -> usize {
|
|
self.keys.len()
|
|
}
|
|
/// Get the globally-imported [module][Module] at a particular index.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn get_shared_module(&self, index: usize) -> Option<Shared<Module>> {
|
|
self.modules.get(index).cloned()
|
|
}
|
|
/// Get a mutable reference to the globally-imported [module][Module] at a particular index.
|
|
#[allow(dead_code)]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub(crate) fn get_shared_module_mut(&mut self, index: usize) -> Option<&mut Shared<Module>> {
|
|
self.modules.get_mut(index)
|
|
}
|
|
/// Get the index of a globally-imported [module][Module] by name.
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn find_module(&self, name: &str) -> Option<usize> {
|
|
let len = self.keys.len();
|
|
|
|
self.keys.iter().rev().enumerate().find_map(|(i, key)| {
|
|
if key == name {
|
|
Some(len - 1 - i)
|
|
} else {
|
|
None
|
|
}
|
|
})
|
|
}
|
|
/// Push an imported [module][Module] onto the stack.
|
|
#[inline(always)]
|
|
pub fn push_module(&mut self, name: impl Into<Identifier>, module: impl Into<Shared<Module>>) {
|
|
self.keys.push(name.into());
|
|
self.modules.push(module.into());
|
|
}
|
|
/// Truncate the stack of globally-imported [modules][Module] to a particular length.
|
|
#[inline(always)]
|
|
pub fn truncate_modules(&mut self, size: usize) {
|
|
self.keys.truncate(size);
|
|
self.modules.truncate(size);
|
|
}
|
|
/// Get an iterator to the stack of globally-imported [modules][Module] in reverse order.
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
pub fn iter_modules(&self) -> impl Iterator<Item = (&str, &Module)> {
|
|
self.keys
|
|
.iter()
|
|
.rev()
|
|
.zip(self.modules.iter().rev())
|
|
.map(|(name, module)| (name.as_str(), module.as_ref()))
|
|
}
|
|
/// Get an iterator to the stack of globally-imported [modules][Module] in reverse order.
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
pub(crate) fn iter_modules_raw(&self) -> impl Iterator<Item = (&Identifier, &Shared<Module>)> {
|
|
self.keys.iter().rev().zip(self.modules.iter().rev())
|
|
}
|
|
/// Get an iterator to the stack of globally-imported [modules][Module] in forward order.
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
pub(crate) fn scan_modules_raw(&self) -> impl Iterator<Item = (&Identifier, &Shared<Module>)> {
|
|
self.keys.iter().zip(self.modules.iter())
|
|
}
|
|
/// Does the specified function hash key exist in the stack of globally-imported [modules][Module]?
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn contains_fn(&self, hash: u64) -> bool {
|
|
self.modules.iter().any(|m| m.contains_qualified_fn(hash))
|
|
}
|
|
/// Get the specified function via its hash key from the stack of globally-imported [modules][Module].
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn get_fn(&self, hash: u64) -> Option<(&CallableFunction, Option<&str>)> {
|
|
self.modules
|
|
.iter()
|
|
.rev()
|
|
.find_map(|m| m.get_qualified_fn(hash).map(|f| (f, m.id())))
|
|
}
|
|
/// Does the specified [`TypeId`][std::any::TypeId] iterator exist in the stack of
|
|
/// globally-imported [modules][Module]?
|
|
#[allow(dead_code)]
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn contains_iter(&self, id: TypeId) -> bool {
|
|
self.modules.iter().any(|m| m.contains_qualified_iter(id))
|
|
}
|
|
/// Get the specified [`TypeId`][std::any::TypeId] iterator from the stack of globally-imported
|
|
/// [modules][Module].
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn get_iter(&self, id: TypeId) -> Option<IteratorFn> {
|
|
self.modules
|
|
.iter()
|
|
.rev()
|
|
.find_map(|m| m.get_qualified_iter(id))
|
|
}
|
|
/// Get a mutable reference to the cache of globally-defined constants.
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[cfg(not(feature = "no_function"))]
|
|
#[must_use]
|
|
pub(crate) fn constants_mut<'a>(
|
|
&'a mut self,
|
|
) -> Option<impl DerefMut<Target = BTreeMap<Identifier, Dynamic>> + 'a> {
|
|
if let Some(ref global_constants) = self.constants {
|
|
Some(crate::func::native::shared_write_lock(global_constants))
|
|
} else {
|
|
None
|
|
}
|
|
}
|
|
/// Set a constant into the cache of globally-defined constants.
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[cfg(not(feature = "no_function"))]
|
|
pub(crate) fn set_constant(&mut self, name: impl Into<Identifier>, value: Dynamic) {
|
|
if self.constants.is_none() {
|
|
let dict: crate::Locked<_> = BTreeMap::new().into();
|
|
self.constants = Some(dict.into());
|
|
}
|
|
|
|
crate::func::native::shared_write_lock(self.constants.as_mut().expect("`Some`"))
|
|
.insert(name.into(), value);
|
|
}
|
|
/// Get the pre-calculated index getter hash.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
#[must_use]
|
|
pub(crate) fn hash_idx_get(&mut self) -> u64 {
|
|
if self.fn_hash_indexing != (0, 0) {
|
|
self.fn_hash_indexing.0
|
|
} else {
|
|
let n1 = crate::calc_fn_hash(FN_IDX_GET, 2);
|
|
let n2 = crate::calc_fn_hash(FN_IDX_SET, 3);
|
|
self.fn_hash_indexing = (n1, n2);
|
|
n1
|
|
}
|
|
}
|
|
/// Get the pre-calculated index setter hash.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
#[must_use]
|
|
pub(crate) fn hash_idx_set(&mut self) -> u64 {
|
|
if self.fn_hash_indexing != (0, 0) {
|
|
self.fn_hash_indexing.1
|
|
} else {
|
|
let n1 = crate::calc_fn_hash(FN_IDX_GET, 2);
|
|
let n2 = crate::calc_fn_hash(FN_IDX_SET, 3);
|
|
self.fn_hash_indexing = (n1, n2);
|
|
n2
|
|
}
|
|
}
|
|
}
|
|
|
|
impl IntoIterator for GlobalRuntimeState {
|
|
type Item = (Identifier, Shared<Module>);
|
|
type IntoIter =
|
|
Zip<Rev<smallvec::IntoIter<[Identifier; 3]>>, Rev<smallvec::IntoIter<[Shared<Module>; 3]>>>;
|
|
|
|
#[inline]
|
|
fn into_iter(self) -> Self::IntoIter {
|
|
self.keys
|
|
.into_iter()
|
|
.rev()
|
|
.zip(self.modules.into_iter().rev())
|
|
}
|
|
}
|
|
|
|
impl<K: Into<Identifier>, M: Into<Shared<Module>>> FromIterator<(K, M)> for GlobalRuntimeState {
|
|
fn from_iter<T: IntoIterator<Item = (K, M)>>(iter: T) -> Self {
|
|
let mut lib = Self::new();
|
|
lib.extend(iter);
|
|
lib
|
|
}
|
|
}
|
|
|
|
impl<K: Into<Identifier>, M: Into<Shared<Module>>> Extend<(K, M)> for GlobalRuntimeState {
|
|
fn extend<T: IntoIterator<Item = (K, M)>>(&mut self, iter: T) {
|
|
iter.into_iter().for_each(|(k, m)| {
|
|
self.keys.push(k.into());
|
|
self.modules.push(m.into());
|
|
})
|
|
}
|
|
}
|
|
|
|
impl fmt::Debug for GlobalRuntimeState {
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
f.write_str("Imports")?;
|
|
f.debug_map()
|
|
.entries(self.keys.iter().zip(self.modules.iter()))
|
|
.finish()
|
|
}
|
|
}
|
|
|
|
/// _(internals)_ A type that holds all the current states of the [`Engine`].
|
|
/// Exported under the `internals` feature only.
|
|
#[derive(Debug, Clone)]
|
|
pub struct EvalState {
|
|
/// Force a [`Scope`] search by name.
|
|
///
|
|
/// Normally, access to variables are parsed with a relative offset into the [`Scope`] to avoid a lookup.
|
|
///
|
|
/// In some situation, e.g. after running an `eval` statement, or after a custom syntax statement,
|
|
/// subsequent offsets may become mis-aligned.
|
|
///
|
|
/// When that happens, this flag is turned on.
|
|
pub always_search_scope: bool,
|
|
/// Level of the current scope.
|
|
///
|
|
/// The global (root) level is zero, a new block (or function call) is one level higher, and so on.
|
|
pub scope_level: usize,
|
|
/// Stack of function resolution caches.
|
|
fn_resolution_caches: StaticVec<FnResolutionCache>,
|
|
}
|
|
|
|
impl EvalState {
|
|
/// Create a new [`EvalState`].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn new() -> Self {
|
|
Self {
|
|
always_search_scope: false,
|
|
scope_level: 0,
|
|
fn_resolution_caches: StaticVec::new_const(),
|
|
}
|
|
}
|
|
/// Get the number of function resolution cache(s) in the stack.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn fn_resolution_caches_len(&self) -> usize {
|
|
self.fn_resolution_caches.len()
|
|
}
|
|
/// Get a mutable reference to the current function resolution cache.
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn fn_resolution_cache_mut(&mut self) -> &mut FnResolutionCache {
|
|
if self.fn_resolution_caches.is_empty() {
|
|
// Push a new function resolution cache if the stack is empty
|
|
self.push_fn_resolution_cache();
|
|
}
|
|
self.fn_resolution_caches.last_mut().unwrap()
|
|
}
|
|
/// Push an empty function resolution cache onto the stack and make it current.
|
|
#[allow(dead_code)]
|
|
#[inline(always)]
|
|
pub fn push_fn_resolution_cache(&mut self) {
|
|
self.fn_resolution_caches.push(BTreeMap::new());
|
|
}
|
|
/// Rewind the function resolution caches stack to a particular size.
|
|
#[inline(always)]
|
|
pub fn rewind_fn_resolution_caches(&mut self, len: usize) {
|
|
self.fn_resolution_caches.truncate(len);
|
|
}
|
|
}
|
|
|
|
/// Context of a script evaluation process.
|
|
#[derive(Debug)]
|
|
pub struct EvalContext<'a, 'x, 'px, 'm, 's, 'b, 't, 'pt> {
|
|
/// The current [`Engine`].
|
|
pub(crate) engine: &'a Engine,
|
|
/// The current [`Scope`].
|
|
pub(crate) scope: &'x mut Scope<'px>,
|
|
/// The current [`GlobalRuntimeState`].
|
|
pub(crate) global: &'m mut GlobalRuntimeState,
|
|
/// The current [evaluation state][EvalState].
|
|
pub(crate) state: &'s mut EvalState,
|
|
/// The current stack of imported [modules][Module].
|
|
pub(crate) lib: &'b [&'b Module],
|
|
/// The current bound `this` pointer, if any.
|
|
pub(crate) this_ptr: &'t mut Option<&'pt mut Dynamic>,
|
|
/// The current nesting level of function calls.
|
|
pub(crate) level: usize,
|
|
}
|
|
|
|
impl<'x, 'px, 'pt> EvalContext<'_, 'x, 'px, '_, '_, '_, '_, 'pt> {
|
|
/// The current [`Engine`].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn engine(&self) -> &Engine {
|
|
self.engine
|
|
}
|
|
/// The current source.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn source(&self) -> Option<&str> {
|
|
match self.global.source.as_str() {
|
|
"" => None,
|
|
s => Some(s),
|
|
}
|
|
}
|
|
/// The current [`Scope`].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn scope(&self) -> &Scope<'px> {
|
|
self.scope
|
|
}
|
|
/// Mutable reference to the current [`Scope`].
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn scope_mut(&mut self) -> &mut &'x mut Scope<'px> {
|
|
&mut self.scope
|
|
}
|
|
/// Get an iterator over the current set of modules imported via `import` statements.
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[inline(always)]
|
|
pub fn iter_imports(&self) -> impl Iterator<Item = (&str, &Module)> {
|
|
self.global.iter_modules()
|
|
}
|
|
/// _(internals)_ The current [`GlobalRuntimeState`].
|
|
/// Exported under the `internals` feature only.
|
|
#[cfg(feature = "internals")]
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn global_runtime_state(&self) -> &GlobalRuntimeState {
|
|
self.global
|
|
}
|
|
/// Get an iterator over the namespaces containing definition of all script-defined functions.
|
|
#[inline]
|
|
pub fn iter_namespaces(&self) -> impl Iterator<Item = &Module> {
|
|
self.lib.iter().cloned()
|
|
}
|
|
/// _(internals)_ The current set of namespaces containing definitions of all script-defined functions.
|
|
/// Exported under the `internals` feature only.
|
|
#[cfg(feature = "internals")]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn namespaces(&self) -> &[&Module] {
|
|
self.lib
|
|
}
|
|
/// The current bound `this` pointer, if any.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn this_ptr(&self) -> Option<&Dynamic> {
|
|
self.this_ptr.as_ref().map(|v| &**v)
|
|
}
|
|
/// Mutable reference to the current bound `this` pointer, if any.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn this_ptr_mut(&mut self) -> Option<&mut &'pt mut Dynamic> {
|
|
self.this_ptr.as_mut()
|
|
}
|
|
/// The current nesting level of function calls.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub const fn call_level(&self) -> usize {
|
|
self.level
|
|
}
|
|
}
|
|
|
|
/// Rhai main scripting engine.
|
|
///
|
|
/// # Thread Safety
|
|
///
|
|
/// [`Engine`] is re-entrant.
|
|
///
|
|
/// Currently, [`Engine`] is neither [`Send`] nor [`Sync`].
|
|
/// Use the `sync` feature to make it [`Send`] `+` [`Sync`].
|
|
///
|
|
/// # Example
|
|
///
|
|
/// ```
|
|
/// # fn main() -> Result<(), Box<rhai::EvalAltResult>> {
|
|
/// use rhai::Engine;
|
|
///
|
|
/// let engine = Engine::new();
|
|
///
|
|
/// let result = engine.eval::<i64>("40 + 2")?;
|
|
///
|
|
/// println!("Answer: {}", result); // prints 42
|
|
/// # Ok(())
|
|
/// # }
|
|
/// ```
|
|
pub struct Engine {
|
|
/// A collection of all modules loaded into the global namespace of the Engine.
|
|
pub(crate) global_modules: StaticVec<Shared<Module>>,
|
|
/// A collection of all sub-modules directly loaded into the Engine.
|
|
pub(crate) global_sub_modules: BTreeMap<Identifier, Shared<Module>>,
|
|
|
|
/// A module resolution service.
|
|
#[cfg(not(feature = "no_module"))]
|
|
pub(crate) module_resolver: Option<Box<dyn crate::ModuleResolver>>,
|
|
|
|
/// A map mapping type names to pretty-print names.
|
|
pub(crate) type_names: BTreeMap<Identifier, Identifier>,
|
|
|
|
/// An empty [`ImmutableString`] for cloning purposes.
|
|
pub(crate) empty_string: ImmutableString,
|
|
|
|
/// A set of symbols to disable.
|
|
pub(crate) disabled_symbols: BTreeSet<Identifier>,
|
|
/// A map containing custom keywords and precedence to recognize.
|
|
pub(crate) custom_keywords: BTreeMap<Identifier, Option<Precedence>>,
|
|
/// Custom syntax.
|
|
pub(crate) custom_syntax: BTreeMap<Identifier, Box<CustomSyntax>>,
|
|
/// Callback closure for resolving variable access.
|
|
pub(crate) resolve_var: Option<OnVarCallback>,
|
|
/// Callback closure to remap tokens during parsing.
|
|
pub(crate) token_mapper: Option<Box<OnParseTokenCallback>>,
|
|
|
|
/// Callback closure for implementing the `print` command.
|
|
pub(crate) print: Option<OnPrintCallback>,
|
|
/// Callback closure for implementing the `debug` command.
|
|
pub(crate) debug: Option<OnDebugCallback>,
|
|
/// Callback closure for progress reporting.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
pub(crate) progress: Option<crate::func::native::OnProgressCallback>,
|
|
|
|
/// Optimize the [`AST`][crate::AST] after compilation.
|
|
#[cfg(not(feature = "no_optimize"))]
|
|
pub(crate) optimization_level: crate::OptimizationLevel,
|
|
|
|
/// Language options.
|
|
pub(crate) options: crate::api::options::LanguageOptions,
|
|
|
|
/// Max limits.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
pub(crate) limits: crate::api::limits::Limits,
|
|
}
|
|
|
|
impl fmt::Debug for Engine {
|
|
#[inline(always)]
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
f.write_str("Engine")
|
|
}
|
|
}
|
|
|
|
impl Default for Engine {
|
|
#[inline(always)]
|
|
fn default() -> Self {
|
|
Self::new()
|
|
}
|
|
}
|
|
|
|
/// Make getter function
|
|
#[cfg(not(feature = "no_object"))]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn make_getter(id: &str) -> Identifier {
|
|
let mut buf = Identifier::new_const();
|
|
buf.push_str(FN_GET);
|
|
buf.push_str(id);
|
|
buf
|
|
}
|
|
|
|
/// Make setter function
|
|
#[cfg(not(feature = "no_object"))]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn make_setter(id: &str) -> Identifier {
|
|
let mut buf = Identifier::new_const();
|
|
buf.push_str(FN_SET);
|
|
buf.push_str(id);
|
|
buf
|
|
}
|
|
|
|
/// Is this function an anonymous function?
|
|
#[cfg(not(feature = "no_function"))]
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn is_anonymous_fn(fn_name: &str) -> bool {
|
|
fn_name.starts_with(FN_ANONYMOUS)
|
|
}
|
|
|
|
/// Print to `stdout`
|
|
#[inline]
|
|
#[allow(unused_variables)]
|
|
fn print_to_stdout(s: &str) {
|
|
#[cfg(not(feature = "no_std"))]
|
|
#[cfg(not(target_arch = "wasm32"))]
|
|
#[cfg(not(target_arch = "wasm64"))]
|
|
println!("{}", s);
|
|
}
|
|
|
|
/// Debug to `stdout`
|
|
#[inline]
|
|
#[allow(unused_variables)]
|
|
fn debug_to_stdout(s: &str, source: Option<&str>, pos: Position) {
|
|
#[cfg(not(feature = "no_std"))]
|
|
#[cfg(not(target_arch = "wasm32"))]
|
|
#[cfg(not(target_arch = "wasm64"))]
|
|
if let Some(source) = source {
|
|
println!("{}{:?} | {}", source, pos, s);
|
|
} else if pos.is_none() {
|
|
println!("{}", s);
|
|
} else {
|
|
println!("{:?} | {}", pos, s);
|
|
}
|
|
}
|
|
|
|
impl Engine {
|
|
/// Create a new [`Engine`].
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn new() -> Self {
|
|
// Create the new scripting Engine
|
|
let mut engine = Self::new_raw();
|
|
|
|
#[cfg(not(feature = "no_module"))]
|
|
#[cfg(not(feature = "no_std"))]
|
|
#[cfg(not(target_arch = "wasm32"))]
|
|
#[cfg(not(target_arch = "wasm64"))]
|
|
{
|
|
engine.module_resolver =
|
|
Some(Box::new(crate::module::resolvers::FileModuleResolver::new()));
|
|
}
|
|
|
|
// default print/debug implementations
|
|
engine.print = Some(Box::new(print_to_stdout));
|
|
engine.debug = Some(Box::new(debug_to_stdout));
|
|
|
|
engine.register_global_module(StandardPackage::new().as_shared_module());
|
|
|
|
engine
|
|
}
|
|
|
|
/// Create a new [`Engine`] with minimal built-in functions.
|
|
///
|
|
/// Use [`register_global_module`][Engine::register_global_module] to add packages of functions.
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn new_raw() -> Self {
|
|
let mut engine = Self {
|
|
global_modules: StaticVec::new_const(),
|
|
global_sub_modules: BTreeMap::new(),
|
|
|
|
#[cfg(not(feature = "no_module"))]
|
|
module_resolver: None,
|
|
|
|
type_names: BTreeMap::new(),
|
|
empty_string: ImmutableString::new(),
|
|
disabled_symbols: BTreeSet::new(),
|
|
custom_keywords: BTreeMap::new(),
|
|
custom_syntax: BTreeMap::new(),
|
|
|
|
resolve_var: None,
|
|
token_mapper: None,
|
|
|
|
print: None,
|
|
debug: None,
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
progress: None,
|
|
|
|
#[cfg(not(feature = "no_optimize"))]
|
|
optimization_level: crate::OptimizationLevel::default(),
|
|
|
|
options: crate::api::options::LanguageOptions::new(),
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
limits: crate::api::limits::Limits::new(),
|
|
};
|
|
|
|
// Add the global namespace module
|
|
let mut global_namespace = Module::new();
|
|
global_namespace.internal = true;
|
|
engine.global_modules.push(global_namespace.into());
|
|
|
|
engine
|
|
}
|
|
|
|
/// Get an empty [`ImmutableString`].
|
|
///
|
|
/// [`Engine`] keeps a single instance of an empty [`ImmutableString`] and uses this to create
|
|
/// shared instances for subsequent uses. This minimizes unnecessary allocations for empty strings.
|
|
#[inline(always)]
|
|
#[must_use]
|
|
pub fn const_empty_string(&self) -> ImmutableString {
|
|
self.empty_string.clone()
|
|
}
|
|
|
|
/// Search for a module within an imports stack.
|
|
#[inline]
|
|
#[must_use]
|
|
pub(crate) fn search_imports(
|
|
&self,
|
|
global: &GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
namespace: &Namespace,
|
|
) -> Option<Shared<Module>> {
|
|
let root = &namespace[0].name;
|
|
|
|
// Qualified - check if the root module is directly indexed
|
|
let index = if state.always_search_scope {
|
|
None
|
|
} else {
|
|
namespace.index()
|
|
};
|
|
|
|
if let Some(index) = index {
|
|
let offset = global.num_imported_modules() - index.get();
|
|
Some(global.get_shared_module(offset).unwrap())
|
|
} else {
|
|
global
|
|
.find_module(root)
|
|
.map(|n| global.get_shared_module(n).unwrap())
|
|
.or_else(|| self.global_sub_modules.get(root).cloned())
|
|
}
|
|
}
|
|
|
|
/// Search for a variable within the scope or within imports,
|
|
/// depending on whether the variable name is namespace-qualified.
|
|
pub(crate) fn search_namespace<'s>(
|
|
&self,
|
|
scope: &'s mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &'s mut Option<&mut Dynamic>,
|
|
expr: &Expr,
|
|
) -> RhaiResultOf<(Target<'s>, Position)> {
|
|
match expr {
|
|
Expr::Variable(Some(_), _, _) => {
|
|
self.search_scope_only(scope, global, state, lib, this_ptr, expr)
|
|
}
|
|
Expr::Variable(None, _var_pos, v) => match v.as_ref() {
|
|
// Normal variable access
|
|
(_, None, _) => self.search_scope_only(scope, global, state, lib, this_ptr, expr),
|
|
|
|
// Qualified variable access
|
|
#[cfg(not(feature = "no_module"))]
|
|
(_, Some((namespace, hash_var)), var_name) => {
|
|
if let Some(module) = self.search_imports(global, state, namespace) {
|
|
// foo:bar::baz::VARIABLE
|
|
return match module.get_qualified_var(*hash_var) {
|
|
Ok(target) => {
|
|
let mut target = target.clone();
|
|
// Module variables are constant
|
|
target.set_access_mode(AccessMode::ReadOnly);
|
|
Ok((target.into(), *_var_pos))
|
|
}
|
|
Err(err) => Err(match *err {
|
|
ERR::ErrorVariableNotFound(_, _) => ERR::ErrorVariableNotFound(
|
|
format!(
|
|
"{}{}{}",
|
|
namespace,
|
|
Token::DoubleColon.literal_syntax(),
|
|
var_name
|
|
),
|
|
namespace[0].pos,
|
|
)
|
|
.into(),
|
|
_ => err.fill_position(*_var_pos),
|
|
}),
|
|
};
|
|
}
|
|
|
|
#[cfg(not(feature = "no_function"))]
|
|
if namespace.len() == 1 && namespace[0].name == KEYWORD_GLOBAL {
|
|
// global::VARIABLE
|
|
let global_constants = global.constants_mut();
|
|
|
|
if let Some(mut guard) = global_constants {
|
|
if let Some(value) = guard.get_mut(var_name) {
|
|
let mut target: Target = value.clone().into();
|
|
// Module variables are constant
|
|
target.set_access_mode(AccessMode::ReadOnly);
|
|
return Ok((target.into(), *_var_pos));
|
|
}
|
|
}
|
|
|
|
return Err(ERR::ErrorVariableNotFound(
|
|
format!(
|
|
"{}{}{}",
|
|
namespace,
|
|
Token::DoubleColon.literal_syntax(),
|
|
var_name
|
|
),
|
|
namespace[0].pos,
|
|
)
|
|
.into());
|
|
}
|
|
|
|
Err(ERR::ErrorModuleNotFound(namespace.to_string(), namespace[0].pos).into())
|
|
}
|
|
|
|
#[cfg(feature = "no_module")]
|
|
(_, Some((_, _)), _) => unreachable!("qualified access under no_module"),
|
|
},
|
|
_ => unreachable!("Expr::Variable expected but gets {:?}", expr),
|
|
}
|
|
}
|
|
|
|
/// Search for a variable within the scope
|
|
///
|
|
/// # Panics
|
|
///
|
|
/// Panics if `expr` is not [`Expr::Variable`].
|
|
pub(crate) fn search_scope_only<'s>(
|
|
&self,
|
|
scope: &'s mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &'s mut Option<&mut Dynamic>,
|
|
expr: &Expr,
|
|
) -> RhaiResultOf<(Target<'s>, Position)> {
|
|
// Make sure that the pointer indirection is taken only when absolutely necessary.
|
|
|
|
let (index, var_pos) = match expr {
|
|
// Check if the variable is `this`
|
|
Expr::Variable(None, pos, v) if v.0.is_none() && v.2 == KEYWORD_THIS => {
|
|
return if let Some(val) = this_ptr {
|
|
Ok(((*val).into(), *pos))
|
|
} else {
|
|
Err(ERR::ErrorUnboundThis(*pos).into())
|
|
}
|
|
}
|
|
_ if state.always_search_scope => (0, expr.position()),
|
|
Expr::Variable(Some(i), pos, _) => (i.get() as usize, *pos),
|
|
Expr::Variable(None, pos, v) => (v.0.map(NonZeroUsize::get).unwrap_or(0), *pos),
|
|
_ => unreachable!("Expr::Variable expected but gets {:?}", expr),
|
|
};
|
|
|
|
// Check the variable resolver, if any
|
|
if let Some(ref resolve_var) = self.resolve_var {
|
|
let context = EvalContext {
|
|
engine: self,
|
|
scope,
|
|
global,
|
|
state,
|
|
lib,
|
|
this_ptr,
|
|
level: 0,
|
|
};
|
|
match resolve_var(
|
|
expr.get_variable_name(true).expect("`Expr::Variable`"),
|
|
index,
|
|
&context,
|
|
) {
|
|
Ok(Some(mut result)) => {
|
|
result.set_access_mode(AccessMode::ReadOnly);
|
|
return Ok((result.into(), var_pos));
|
|
}
|
|
Ok(None) => (),
|
|
Err(err) => return Err(err.fill_position(var_pos)),
|
|
}
|
|
}
|
|
|
|
let index = if index > 0 {
|
|
scope.len() - index
|
|
} else {
|
|
// Find the variable in the scope
|
|
let var_name = expr.get_variable_name(true).expect("`Expr::Variable`");
|
|
scope
|
|
.get_index(var_name)
|
|
.ok_or_else(|| ERR::ErrorVariableNotFound(var_name.to_string(), var_pos))?
|
|
.0
|
|
};
|
|
|
|
let val = scope.get_mut_by_index(index);
|
|
|
|
Ok((val.into(), var_pos))
|
|
}
|
|
|
|
/// Chain-evaluate a dot/index chain.
|
|
/// [`Position`] in [`EvalAltResult`] is [`NONE`][Position::NONE] and must be set afterwards.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn eval_dot_index_chain_helper(
|
|
&self,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
target: &mut Target,
|
|
root: (&str, Position),
|
|
rhs: &Expr,
|
|
terminate_chaining: bool,
|
|
idx_values: &mut StaticVec<ChainArgument>,
|
|
chain_type: ChainType,
|
|
level: usize,
|
|
new_val: Option<((Dynamic, Position), (Option<OpAssignment>, Position))>,
|
|
) -> RhaiResultOf<(Dynamic, bool)> {
|
|
let is_ref_mut = target.is_ref();
|
|
let _terminate_chaining = terminate_chaining;
|
|
|
|
// Pop the last index value
|
|
let idx_val = idx_values.pop().unwrap();
|
|
|
|
match chain_type {
|
|
#[cfg(not(feature = "no_index"))]
|
|
ChainType::Indexing => {
|
|
let pos = rhs.position();
|
|
let root_pos = idx_val.position();
|
|
let idx_val = idx_val.into_index_value().expect("`ChainType::Index`");
|
|
|
|
match rhs {
|
|
// xxx[idx].expr... | xxx[idx][expr]...
|
|
Expr::Dot(x, term, x_pos) | Expr::Index(x, term, x_pos)
|
|
if !_terminate_chaining =>
|
|
{
|
|
let mut idx_val_for_setter = idx_val.clone();
|
|
let idx_pos = x.lhs.position();
|
|
let rhs_chain = rhs.into();
|
|
|
|
let (try_setter, result) = {
|
|
let mut obj = self.get_indexed_mut(
|
|
global, state, lib, target, idx_val, idx_pos, false, true, level,
|
|
)?;
|
|
let is_obj_temp_val = obj.is_temp_value();
|
|
let obj_ptr = &mut obj;
|
|
|
|
match self.eval_dot_index_chain_helper(
|
|
global, state, lib, this_ptr, obj_ptr, root, &x.rhs, *term,
|
|
idx_values, rhs_chain, level, new_val,
|
|
) {
|
|
Ok((result, true)) if is_obj_temp_val => {
|
|
(Some(obj.take_or_clone()), (result, true))
|
|
}
|
|
Ok(result) => (None, result),
|
|
Err(err) => return Err(err.fill_position(*x_pos)),
|
|
}
|
|
};
|
|
|
|
if let Some(mut new_val) = try_setter {
|
|
// Try to call index setter if value is changed
|
|
let hash_set =
|
|
crate::ast::FnCallHashes::from_native(global.hash_idx_set());
|
|
let args = &mut [target, &mut idx_val_for_setter, &mut new_val];
|
|
|
|
if let Err(err) = self.exec_fn_call(
|
|
global, state, lib, FN_IDX_SET, hash_set, args, is_ref_mut, true,
|
|
root_pos, None, level,
|
|
) {
|
|
// Just ignore if there is no index setter
|
|
if !matches!(*err, ERR::ErrorFunctionNotFound(_, _)) {
|
|
return Err(err);
|
|
}
|
|
}
|
|
}
|
|
|
|
Ok(result)
|
|
}
|
|
// xxx[rhs] op= new_val
|
|
_ if new_val.is_some() => {
|
|
let ((new_val, new_pos), (op_info, op_pos)) = new_val.expect("`Some`");
|
|
let mut idx_val_for_setter = idx_val.clone();
|
|
|
|
let try_setter = match self.get_indexed_mut(
|
|
global, state, lib, target, idx_val, pos, true, false, level,
|
|
) {
|
|
// Indexed value is a reference - update directly
|
|
Ok(ref mut obj_ptr) => {
|
|
self.eval_op_assignment(
|
|
global, state, lib, op_info, op_pos, obj_ptr, root, new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(new_pos))?;
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.check_data_size(obj_ptr, new_pos)?;
|
|
None
|
|
}
|
|
// Can't index - try to call an index setter
|
|
#[cfg(not(feature = "no_index"))]
|
|
Err(err) if matches!(*err, ERR::ErrorIndexingType(_, _)) => {
|
|
Some(new_val)
|
|
}
|
|
// Any other error
|
|
Err(err) => return Err(err),
|
|
};
|
|
|
|
if let Some(mut new_val) = try_setter {
|
|
// Try to call index setter
|
|
let hash_set =
|
|
crate::ast::FnCallHashes::from_native(global.hash_idx_set());
|
|
let args = &mut [target, &mut idx_val_for_setter, &mut new_val];
|
|
|
|
self.exec_fn_call(
|
|
global, state, lib, FN_IDX_SET, hash_set, args, is_ref_mut, true,
|
|
root_pos, None, level,
|
|
)?;
|
|
}
|
|
|
|
Ok((Dynamic::UNIT, true))
|
|
}
|
|
// xxx[rhs]
|
|
_ => self
|
|
.get_indexed_mut(
|
|
global, state, lib, target, idx_val, pos, false, true, level,
|
|
)
|
|
.map(|v| (v.take_or_clone(), false)),
|
|
}
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
ChainType::Dotting => {
|
|
match rhs {
|
|
// xxx.fn_name(arg_expr_list)
|
|
Expr::FnCall(x, pos) if !x.is_qualified() && new_val.is_none() => {
|
|
let FnCallExpr { name, hashes, .. } = x.as_ref();
|
|
let call_args = &mut idx_val.into_fn_call_args();
|
|
self.make_method_call(
|
|
global, state, lib, name, *hashes, target, call_args, *pos, level,
|
|
)
|
|
}
|
|
// xxx.fn_name(...) = ???
|
|
Expr::FnCall(_, _) if new_val.is_some() => {
|
|
unreachable!("method call cannot be assigned to")
|
|
}
|
|
// xxx.module::fn_name(...) - syntax error
|
|
Expr::FnCall(_, _) => {
|
|
unreachable!("function call in dot chain should not be namespace-qualified")
|
|
}
|
|
// {xxx:map}.id op= ???
|
|
Expr::Property(x) if target.is::<crate::Map>() && new_val.is_some() => {
|
|
let (name, pos) = &x.2;
|
|
let ((new_val, new_pos), (op_info, op_pos)) = new_val.expect("`Some`");
|
|
let index = name.into();
|
|
{
|
|
let val_target = &mut self.get_indexed_mut(
|
|
global, state, lib, target, index, *pos, true, false, level,
|
|
)?;
|
|
self.eval_op_assignment(
|
|
global, state, lib, op_info, op_pos, val_target, root, new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(new_pos))?;
|
|
}
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.check_data_size(target.source(), new_pos)?;
|
|
Ok((Dynamic::UNIT, true))
|
|
}
|
|
// {xxx:map}.id
|
|
Expr::Property(x) if target.is::<crate::Map>() => {
|
|
let (name, pos) = &x.2;
|
|
let index = name.into();
|
|
let val = self.get_indexed_mut(
|
|
global, state, lib, target, index, *pos, false, false, level,
|
|
)?;
|
|
Ok((val.take_or_clone(), false))
|
|
}
|
|
// xxx.id op= ???
|
|
Expr::Property(x) if new_val.is_some() => {
|
|
let ((getter, hash_get), (setter, hash_set), (name, pos)) = x.as_ref();
|
|
let ((mut new_val, new_pos), (op_info, op_pos)) = new_val.expect("`Some`");
|
|
|
|
if op_info.is_some() {
|
|
let hash = crate::ast::FnCallHashes::from_native(*hash_get);
|
|
let args = &mut [target.as_mut()];
|
|
let (mut orig_val, _) = self
|
|
.exec_fn_call(
|
|
global, state, lib, getter, hash, args, is_ref_mut, true, *pos,
|
|
None, level,
|
|
)
|
|
.or_else(|err| match *err {
|
|
// Try an indexer if property does not exist
|
|
ERR::ErrorDotExpr(_, _) => {
|
|
let prop = name.into();
|
|
self.get_indexed_mut(
|
|
global, state, lib, target, prop, *pos, false, true,
|
|
level,
|
|
)
|
|
.map(|v| (v.take_or_clone(), false))
|
|
.map_err(
|
|
|idx_err| match *idx_err {
|
|
ERR::ErrorIndexingType(_, _) => err,
|
|
_ => idx_err,
|
|
},
|
|
)
|
|
}
|
|
_ => Err(err),
|
|
})?;
|
|
|
|
self.eval_op_assignment(
|
|
global,
|
|
state,
|
|
lib,
|
|
op_info,
|
|
op_pos,
|
|
&mut (&mut orig_val).into(),
|
|
root,
|
|
new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(new_pos))?;
|
|
|
|
new_val = orig_val;
|
|
}
|
|
|
|
let hash = crate::ast::FnCallHashes::from_native(*hash_set);
|
|
let args = &mut [target.as_mut(), &mut new_val];
|
|
self.exec_fn_call(
|
|
global, state, lib, setter, hash, args, is_ref_mut, true, *pos, None,
|
|
level,
|
|
)
|
|
.or_else(|err| match *err {
|
|
// Try an indexer if property does not exist
|
|
ERR::ErrorDotExpr(_, _) => {
|
|
let args = &mut [target, &mut name.into(), &mut new_val];
|
|
let hash_set =
|
|
crate::ast::FnCallHashes::from_native(global.hash_idx_set());
|
|
let pos = Position::NONE;
|
|
|
|
self.exec_fn_call(
|
|
global, state, lib, FN_IDX_SET, hash_set, args, is_ref_mut,
|
|
true, pos, None, level,
|
|
)
|
|
.map_err(
|
|
|idx_err| match *idx_err {
|
|
ERR::ErrorIndexingType(_, _) => err,
|
|
_ => idx_err,
|
|
},
|
|
)
|
|
}
|
|
_ => Err(err),
|
|
})
|
|
}
|
|
// xxx.id
|
|
Expr::Property(x) => {
|
|
let ((getter, hash_get), _, (name, pos)) = x.as_ref();
|
|
let hash = crate::ast::FnCallHashes::from_native(*hash_get);
|
|
let args = &mut [target.as_mut()];
|
|
self.exec_fn_call(
|
|
global, state, lib, getter, hash, args, is_ref_mut, true, *pos, None,
|
|
level,
|
|
)
|
|
.map_or_else(
|
|
|err| match *err {
|
|
// Try an indexer if property does not exist
|
|
ERR::ErrorDotExpr(_, _) => {
|
|
let prop = name.into();
|
|
self.get_indexed_mut(
|
|
global, state, lib, target, prop, *pos, false, true, level,
|
|
)
|
|
.map(|v| (v.take_or_clone(), false))
|
|
.map_err(|idx_err| {
|
|
match *idx_err {
|
|
ERR::ErrorIndexingType(_, _) => err,
|
|
_ => idx_err,
|
|
}
|
|
})
|
|
}
|
|
_ => Err(err),
|
|
},
|
|
// Assume getters are always pure
|
|
|(v, _)| Ok((v, false)),
|
|
)
|
|
}
|
|
// {xxx:map}.sub_lhs[expr] | {xxx:map}.sub_lhs.expr
|
|
Expr::Index(x, term, x_pos) | Expr::Dot(x, term, x_pos)
|
|
if target.is::<crate::Map>() =>
|
|
{
|
|
let val_target = &mut match x.lhs {
|
|
Expr::Property(ref p) => {
|
|
let (name, pos) = &p.2;
|
|
let index = name.into();
|
|
self.get_indexed_mut(
|
|
global, state, lib, target, index, *pos, false, true, level,
|
|
)?
|
|
}
|
|
// {xxx:map}.fn_name(arg_expr_list)[expr] | {xxx:map}.fn_name(arg_expr_list).expr
|
|
Expr::FnCall(ref x, pos) if !x.is_qualified() => {
|
|
let FnCallExpr { name, hashes, .. } = x.as_ref();
|
|
let call_args = &mut idx_val.into_fn_call_args();
|
|
let (val, _) = self.make_method_call(
|
|
global, state, lib, name, *hashes, target, call_args, pos,
|
|
level,
|
|
)?;
|
|
val.into()
|
|
}
|
|
// {xxx:map}.module::fn_name(...) - syntax error
|
|
Expr::FnCall(_, _) => unreachable!(
|
|
"function call in dot chain should not be namespace-qualified"
|
|
),
|
|
// Others - syntax error
|
|
ref expr => unreachable!("invalid dot expression: {:?}", expr),
|
|
};
|
|
let rhs_chain = rhs.into();
|
|
|
|
self.eval_dot_index_chain_helper(
|
|
global, state, lib, this_ptr, val_target, root, &x.rhs, *term,
|
|
idx_values, rhs_chain, level, new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(*x_pos))
|
|
}
|
|
// xxx.sub_lhs[expr] | xxx.sub_lhs.expr
|
|
Expr::Index(x, term, x_pos) | Expr::Dot(x, term, x_pos) => {
|
|
match x.lhs {
|
|
// xxx.prop[expr] | xxx.prop.expr
|
|
Expr::Property(ref p) => {
|
|
let ((getter, hash_get), (setter, hash_set), (name, pos)) =
|
|
p.as_ref();
|
|
let rhs_chain = rhs.into();
|
|
let hash_get = crate::ast::FnCallHashes::from_native(*hash_get);
|
|
let hash_set = crate::ast::FnCallHashes::from_native(*hash_set);
|
|
let mut arg_values = [target.as_mut(), &mut Dynamic::UNIT.clone()];
|
|
let args = &mut arg_values[..1];
|
|
|
|
// Assume getters are always pure
|
|
let (mut val, _) = self
|
|
.exec_fn_call(
|
|
global, state, lib, getter, hash_get, args, is_ref_mut,
|
|
true, *pos, None, level,
|
|
)
|
|
.or_else(|err| match *err {
|
|
// Try an indexer if property does not exist
|
|
ERR::ErrorDotExpr(_, _) => {
|
|
let prop = name.into();
|
|
self.get_indexed_mut(
|
|
global, state, lib, target, prop, *pos, false,
|
|
true, level,
|
|
)
|
|
.map(|v| (v.take_or_clone(), false))
|
|
.map_err(
|
|
|idx_err| match *idx_err {
|
|
ERR::ErrorIndexingType(_, _) => err,
|
|
_ => idx_err,
|
|
},
|
|
)
|
|
}
|
|
_ => Err(err),
|
|
})?;
|
|
|
|
let val = &mut val;
|
|
|
|
let (result, may_be_changed) = self
|
|
.eval_dot_index_chain_helper(
|
|
global,
|
|
state,
|
|
lib,
|
|
this_ptr,
|
|
&mut val.into(),
|
|
root,
|
|
&x.rhs,
|
|
*term,
|
|
idx_values,
|
|
rhs_chain,
|
|
level,
|
|
new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(*x_pos))?;
|
|
|
|
// Feed the value back via a setter just in case it has been updated
|
|
if may_be_changed {
|
|
// Re-use args because the first &mut parameter will not be consumed
|
|
let mut arg_values = [target.as_mut(), val];
|
|
let args = &mut arg_values;
|
|
self.exec_fn_call(
|
|
global, state, lib, setter, hash_set, args, is_ref_mut,
|
|
true, *pos, None, level,
|
|
)
|
|
.or_else(
|
|
|err| match *err {
|
|
// Try an indexer if property does not exist
|
|
ERR::ErrorDotExpr(_, _) => {
|
|
let args =
|
|
&mut [target.as_mut(), &mut name.into(), val];
|
|
let hash_set =
|
|
crate::ast::FnCallHashes::from_native(
|
|
global.hash_idx_set(),
|
|
);
|
|
self.exec_fn_call(
|
|
global, state, lib, FN_IDX_SET, hash_set, args,
|
|
is_ref_mut, true, *pos, None, level,
|
|
)
|
|
.or_else(|idx_err| match *idx_err {
|
|
ERR::ErrorIndexingType(_, _) => {
|
|
// If there is no setter, no need to feed it back because
|
|
// the property is read-only
|
|
Ok((Dynamic::UNIT, false))
|
|
}
|
|
_ => Err(idx_err),
|
|
})
|
|
}
|
|
_ => Err(err),
|
|
},
|
|
)?;
|
|
}
|
|
|
|
Ok((result, may_be_changed))
|
|
}
|
|
// xxx.fn_name(arg_expr_list)[expr] | xxx.fn_name(arg_expr_list).expr
|
|
Expr::FnCall(ref f, pos) if !f.is_qualified() => {
|
|
let FnCallExpr { name, hashes, .. } = f.as_ref();
|
|
let rhs_chain = rhs.into();
|
|
let args = &mut idx_val.into_fn_call_args();
|
|
let (mut val, _) = self.make_method_call(
|
|
global, state, lib, name, *hashes, target, args, pos, level,
|
|
)?;
|
|
let val = &mut val;
|
|
let target = &mut val.into();
|
|
|
|
self.eval_dot_index_chain_helper(
|
|
global, state, lib, this_ptr, target, root, &x.rhs, *term,
|
|
idx_values, rhs_chain, level, new_val,
|
|
)
|
|
.map_err(|err| err.fill_position(pos))
|
|
}
|
|
// xxx.module::fn_name(...) - syntax error
|
|
Expr::FnCall(_, _) => unreachable!(
|
|
"function call in dot chain should not be namespace-qualified"
|
|
),
|
|
// Others - syntax error
|
|
ref expr => unreachable!("invalid dot expression: {:?}", expr),
|
|
}
|
|
}
|
|
// Syntax error
|
|
_ => Err(ERR::ErrorDotExpr("".into(), rhs.position()).into()),
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/// Evaluate a dot/index chain.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn eval_dot_index_chain(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
expr: &Expr,
|
|
level: usize,
|
|
new_val: Option<((Dynamic, Position), (Option<OpAssignment>, Position))>,
|
|
) -> RhaiResult {
|
|
let (crate::ast::BinaryExpr { lhs, rhs }, chain_type, term, op_pos) = match expr {
|
|
#[cfg(not(feature = "no_index"))]
|
|
Expr::Index(x, term, pos) => (x.as_ref(), ChainType::Indexing, *term, *pos),
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Dot(x, term, pos) => (x.as_ref(), ChainType::Dotting, *term, *pos),
|
|
expr => unreachable!("Expr::Index or Expr::Dot expected but gets {:?}", expr),
|
|
};
|
|
|
|
let idx_values = &mut StaticVec::new_const();
|
|
|
|
self.eval_dot_index_chain_arguments(
|
|
scope, global, state, lib, this_ptr, rhs, term, chain_type, idx_values, 0, level,
|
|
)?;
|
|
|
|
let is_assignment = new_val.is_some();
|
|
|
|
match lhs {
|
|
// id.??? or id[???]
|
|
Expr::Variable(_, var_pos, x) => {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, *var_pos)?;
|
|
|
|
let (mut target, _) =
|
|
self.search_namespace(scope, global, state, lib, this_ptr, lhs)?;
|
|
|
|
let obj_ptr = &mut target;
|
|
let root = (x.2.as_str(), *var_pos);
|
|
|
|
self.eval_dot_index_chain_helper(
|
|
global, state, lib, &mut None, obj_ptr, root, rhs, term, idx_values,
|
|
chain_type, level, new_val,
|
|
)
|
|
.map(|(v, _)| v)
|
|
.map_err(|err| err.fill_position(op_pos))
|
|
}
|
|
// {expr}.??? = ??? or {expr}[???] = ???
|
|
_ if is_assignment => unreachable!("cannot assign to an expression"),
|
|
// {expr}.??? or {expr}[???]
|
|
expr => {
|
|
let value = self.eval_expr(scope, global, state, lib, this_ptr, expr, level)?;
|
|
let obj_ptr = &mut value.into();
|
|
let root = ("", expr.position());
|
|
self.eval_dot_index_chain_helper(
|
|
global, state, lib, this_ptr, obj_ptr, root, rhs, term, idx_values, chain_type,
|
|
level, new_val,
|
|
)
|
|
.map(|(v, _)| if is_assignment { Dynamic::UNIT } else { v })
|
|
.map_err(|err| err.fill_position(op_pos))
|
|
}
|
|
}
|
|
}
|
|
|
|
/// Evaluate a chain of indexes and store the results in a [`StaticVec`].
|
|
/// [`StaticVec`] is used to avoid an allocation in the overwhelming cases of
|
|
/// just a few levels of indexing.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn eval_dot_index_chain_arguments(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
expr: &Expr,
|
|
terminate_chaining: bool,
|
|
parent_chain_type: ChainType,
|
|
idx_values: &mut StaticVec<ChainArgument>,
|
|
size: usize,
|
|
level: usize,
|
|
) -> RhaiResultOf<()> {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, expr.position())?;
|
|
|
|
let _parent_chain_type = parent_chain_type;
|
|
|
|
match expr {
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::FnCall(x, _) if _parent_chain_type == ChainType::Dotting && !x.is_qualified() => {
|
|
let crate::ast::FnCallExpr {
|
|
args, constants, ..
|
|
} = x.as_ref();
|
|
|
|
let (values, pos) = args.iter().try_fold(
|
|
(crate::FnArgsVec::with_capacity(args.len()), Position::NONE),
|
|
|(mut values, mut pos), expr| -> RhaiResultOf<_> {
|
|
let (value, arg_pos) = self.get_arg_value(
|
|
scope, global, state, lib, this_ptr, level, expr, constants,
|
|
)?;
|
|
if values.is_empty() {
|
|
pos = arg_pos;
|
|
}
|
|
values.push(value.flatten());
|
|
Ok((values, pos))
|
|
},
|
|
)?;
|
|
|
|
idx_values.push(ChainArgument::from_fn_call_args(values, pos));
|
|
}
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::FnCall(_, _) if _parent_chain_type == ChainType::Dotting => {
|
|
unreachable!("function call in dot chain should not be namespace-qualified")
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Property(x) if _parent_chain_type == ChainType::Dotting => {
|
|
idx_values.push(ChainArgument::Property((x.2).1))
|
|
}
|
|
Expr::Property(_) => unreachable!("unexpected Expr::Property for indexing"),
|
|
|
|
Expr::Index(x, term, _) | Expr::Dot(x, term, _) if !terminate_chaining => {
|
|
let crate::ast::BinaryExpr { lhs, rhs, .. } = x.as_ref();
|
|
|
|
// Evaluate in left-to-right order
|
|
let lhs_arg_val = match lhs {
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Property(x) if _parent_chain_type == ChainType::Dotting => {
|
|
ChainArgument::Property((x.2).1)
|
|
}
|
|
Expr::Property(_) => unreachable!("unexpected Expr::Property for indexing"),
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::FnCall(x, _)
|
|
if _parent_chain_type == ChainType::Dotting && !x.is_qualified() =>
|
|
{
|
|
let crate::ast::FnCallExpr {
|
|
args, constants, ..
|
|
} = x.as_ref();
|
|
|
|
let (values, pos) = args.iter().try_fold(
|
|
(crate::FnArgsVec::with_capacity(args.len()), Position::NONE),
|
|
|(mut values, mut pos), expr| -> RhaiResultOf<_> {
|
|
let (value, arg_pos) = self.get_arg_value(
|
|
scope, global, state, lib, this_ptr, level, expr, constants,
|
|
)?;
|
|
if values.is_empty() {
|
|
pos = arg_pos
|
|
}
|
|
values.push(value.flatten());
|
|
Ok((values, pos))
|
|
},
|
|
)?;
|
|
ChainArgument::from_fn_call_args(values, pos)
|
|
}
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::FnCall(_, _) if _parent_chain_type == ChainType::Dotting => {
|
|
unreachable!("function call in dot chain should not be namespace-qualified")
|
|
}
|
|
#[cfg(not(feature = "no_object"))]
|
|
expr if _parent_chain_type == ChainType::Dotting => {
|
|
unreachable!("invalid dot expression: {:?}", expr);
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
_ if _parent_chain_type == ChainType::Indexing => self
|
|
.eval_expr(scope, global, state, lib, this_ptr, lhs, level)
|
|
.map(|v| ChainArgument::from_index_value(v.flatten(), lhs.position()))?,
|
|
expr => unreachable!("unknown chained expression: {:?}", expr),
|
|
};
|
|
|
|
// Push in reverse order
|
|
let chain_type = expr.into();
|
|
|
|
self.eval_dot_index_chain_arguments(
|
|
scope, global, state, lib, this_ptr, rhs, *term, chain_type, idx_values, size,
|
|
level,
|
|
)?;
|
|
|
|
idx_values.push(lhs_arg_val);
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
_ if _parent_chain_type == ChainType::Dotting => {
|
|
unreachable!("invalid dot expression: {:?}", expr);
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
_ if _parent_chain_type == ChainType::Indexing => idx_values.push(
|
|
self.eval_expr(scope, global, state, lib, this_ptr, expr, level)
|
|
.map(|v| ChainArgument::from_index_value(v.flatten(), expr.position()))?,
|
|
),
|
|
_ => unreachable!("unknown chained expression: {:?}", expr),
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
|
|
/// Get the value at the indexed position of a base type.
|
|
/// [`Position`] in [`EvalAltResult`] may be [`NONE`][Position::NONE] and should be set afterwards.
|
|
#[cfg(any(not(feature = "no_index"), not(feature = "no_object")))]
|
|
fn get_indexed_mut<'t>(
|
|
&self,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
target: &'t mut Dynamic,
|
|
idx: Dynamic,
|
|
idx_pos: Position,
|
|
add_if_not_found: bool,
|
|
use_indexers: bool,
|
|
level: usize,
|
|
) -> RhaiResultOf<Target<'t>> {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, Position::NONE)?;
|
|
|
|
let mut idx = idx;
|
|
let _add_if_not_found = add_if_not_found;
|
|
|
|
match target {
|
|
#[cfg(not(feature = "no_index"))]
|
|
Dynamic(Union::Array(arr, _, _)) => {
|
|
// val_array[idx]
|
|
let index = idx
|
|
.as_int()
|
|
.map_err(|typ| self.make_type_mismatch_err::<crate::INT>(typ, idx_pos))?;
|
|
|
|
let arr_len = arr.len();
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let arr_idx = if index < 0 {
|
|
// Count from end if negative
|
|
arr_len
|
|
- index
|
|
.checked_abs()
|
|
.ok_or_else(|| ERR::ErrorArrayBounds(arr_len, index, idx_pos))
|
|
.and_then(|n| {
|
|
if n as usize > arr_len {
|
|
Err(ERR::ErrorArrayBounds(arr_len, index, idx_pos).into())
|
|
} else {
|
|
Ok(n as usize)
|
|
}
|
|
})?
|
|
} else {
|
|
index as usize
|
|
};
|
|
#[cfg(feature = "unchecked")]
|
|
let arr_idx = if index < 0 {
|
|
// Count from end if negative
|
|
arr_len - index.abs() as usize
|
|
} else {
|
|
index as usize
|
|
};
|
|
|
|
arr.get_mut(arr_idx)
|
|
.map(Target::from)
|
|
.ok_or_else(|| ERR::ErrorArrayBounds(arr_len, index, idx_pos).into())
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Dynamic(Union::Blob(arr, _, _)) => {
|
|
// val_blob[idx]
|
|
let index = idx
|
|
.as_int()
|
|
.map_err(|typ| self.make_type_mismatch_err::<crate::INT>(typ, idx_pos))?;
|
|
|
|
let arr_len = arr.len();
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let arr_idx = if index < 0 {
|
|
// Count from end if negative
|
|
arr_len
|
|
- index
|
|
.checked_abs()
|
|
.ok_or_else(|| ERR::ErrorArrayBounds(arr_len, index, idx_pos))
|
|
.and_then(|n| {
|
|
if n as usize > arr_len {
|
|
Err(ERR::ErrorArrayBounds(arr_len, index, idx_pos).into())
|
|
} else {
|
|
Ok(n as usize)
|
|
}
|
|
})?
|
|
} else {
|
|
index as usize
|
|
};
|
|
#[cfg(feature = "unchecked")]
|
|
let arr_idx = if index < 0 {
|
|
// Count from end if negative
|
|
arr_len - index.abs() as usize
|
|
} else {
|
|
index as usize
|
|
};
|
|
|
|
let value = arr
|
|
.get(arr_idx)
|
|
.map(|&v| (v as INT).into())
|
|
.ok_or_else(|| Box::new(ERR::ErrorArrayBounds(arr_len, index, idx_pos)))?;
|
|
Ok(Target::BlobByte {
|
|
source: target,
|
|
value,
|
|
index: arr_idx,
|
|
})
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
Dynamic(Union::Map(map, _, _)) => {
|
|
// val_map[idx]
|
|
let index = idx.read_lock::<ImmutableString>().ok_or_else(|| {
|
|
self.make_type_mismatch_err::<ImmutableString>(idx.type_name(), idx_pos)
|
|
})?;
|
|
|
|
if _add_if_not_found && !map.contains_key(index.as_str()) {
|
|
map.insert(index.clone().into(), Dynamic::UNIT);
|
|
}
|
|
|
|
Ok(map
|
|
.get_mut(index.as_str())
|
|
.map(Target::from)
|
|
.unwrap_or_else(|| Target::from(Dynamic::UNIT)))
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Dynamic(Union::Int(value, _, _))
|
|
if idx.is::<crate::ExclusiveRange>() || idx.is::<crate::InclusiveRange>() =>
|
|
{
|
|
#[cfg(not(feature = "only_i32"))]
|
|
type BASE = u64;
|
|
#[cfg(feature = "only_i32")]
|
|
type BASE = u32;
|
|
|
|
// val_int[range]
|
|
const BITS: usize = std::mem::size_of::<INT>() * 8;
|
|
|
|
let (shift, mask) = if let Some(range) = idx.read_lock::<crate::ExclusiveRange>() {
|
|
let start = range.start;
|
|
let end = range.end;
|
|
|
|
if start < 0 || start as usize >= BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, start, idx_pos).into());
|
|
} else if end < 0 || end as usize >= BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, end, idx_pos).into());
|
|
} else if end <= start {
|
|
(0, 0)
|
|
} else if end as usize == BITS && start == 0 {
|
|
// -1 = all bits set
|
|
(0, -1)
|
|
} else {
|
|
(
|
|
start as u8,
|
|
// 2^bits - 1
|
|
(((2 as BASE).pow((end - start) as u32) - 1) as INT) << start,
|
|
)
|
|
}
|
|
} else if let Some(range) = idx.read_lock::<crate::InclusiveRange>() {
|
|
let start = *range.start();
|
|
let end = *range.end();
|
|
|
|
if start < 0 || start as usize >= BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, start, idx_pos).into());
|
|
} else if end < 0 || end as usize >= BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, end, idx_pos).into());
|
|
} else if end < start {
|
|
(0, 0)
|
|
} else if end as usize == BITS - 1 && start == 0 {
|
|
// -1 = all bits set
|
|
(0, -1)
|
|
} else {
|
|
(
|
|
start as u8,
|
|
// 2^bits - 1
|
|
(((2 as BASE).pow((end - start + 1) as u32) - 1) as INT) << start,
|
|
)
|
|
}
|
|
} else {
|
|
unreachable!("Range or RangeInclusive expected but gets {:?}", idx);
|
|
};
|
|
|
|
let field_value = (*value & mask) >> shift;
|
|
|
|
Ok(Target::BitField {
|
|
source: target,
|
|
value: field_value.into(),
|
|
mask,
|
|
shift,
|
|
})
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Dynamic(Union::Int(value, _, _)) => {
|
|
// val_int[idx]
|
|
let index = idx
|
|
.as_int()
|
|
.map_err(|typ| self.make_type_mismatch_err::<crate::INT>(typ, idx_pos))?;
|
|
|
|
const BITS: usize = std::mem::size_of::<INT>() * 8;
|
|
|
|
let (bit_value, offset) = if index >= 0 {
|
|
let offset = index as usize;
|
|
(
|
|
if offset >= BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, index, idx_pos).into());
|
|
} else {
|
|
(*value & (1 << offset)) != 0
|
|
},
|
|
offset as u8,
|
|
)
|
|
} else if let Some(abs_index) = index.checked_abs() {
|
|
let offset = abs_index as usize;
|
|
(
|
|
// Count from end if negative
|
|
if offset > BITS {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, index, idx_pos).into());
|
|
} else {
|
|
(*value & (1 << (BITS - offset))) != 0
|
|
},
|
|
offset as u8,
|
|
)
|
|
} else {
|
|
return Err(ERR::ErrorBitFieldBounds(BITS, index, idx_pos).into());
|
|
};
|
|
|
|
Ok(Target::Bit {
|
|
source: target,
|
|
value: bit_value.into(),
|
|
bit: offset,
|
|
})
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Dynamic(Union::Str(s, _, _)) => {
|
|
// val_string[idx]
|
|
let index = idx
|
|
.as_int()
|
|
.map_err(|typ| self.make_type_mismatch_err::<crate::INT>(typ, idx_pos))?;
|
|
|
|
let (ch, offset) = if index >= 0 {
|
|
let offset = index as usize;
|
|
(
|
|
s.chars().nth(offset).ok_or_else(|| {
|
|
let chars_len = s.chars().count();
|
|
ERR::ErrorStringBounds(chars_len, index, idx_pos)
|
|
})?,
|
|
offset,
|
|
)
|
|
} else if let Some(abs_index) = index.checked_abs() {
|
|
let offset = abs_index as usize;
|
|
(
|
|
// Count from end if negative
|
|
s.chars().rev().nth(offset - 1).ok_or_else(|| {
|
|
let chars_len = s.chars().count();
|
|
ERR::ErrorStringBounds(chars_len, index, idx_pos)
|
|
})?,
|
|
offset,
|
|
)
|
|
} else {
|
|
let chars_len = s.chars().count();
|
|
return Err(ERR::ErrorStringBounds(chars_len, index, idx_pos).into());
|
|
};
|
|
|
|
Ok(Target::StringChar {
|
|
source: target,
|
|
value: ch.into(),
|
|
index: offset,
|
|
})
|
|
}
|
|
|
|
_ if use_indexers => {
|
|
let args = &mut [target, &mut idx];
|
|
let hash_get = crate::ast::FnCallHashes::from_native(global.hash_idx_get());
|
|
let idx_pos = Position::NONE;
|
|
|
|
self.exec_fn_call(
|
|
global, state, lib, FN_IDX_GET, hash_get, args, true, true, idx_pos, None,
|
|
level,
|
|
)
|
|
.map(|(v, _)| v.into())
|
|
}
|
|
|
|
_ => Err(ERR::ErrorIndexingType(
|
|
format!(
|
|
"{} [{}]",
|
|
self.map_type_name(target.type_name()),
|
|
self.map_type_name(idx.type_name())
|
|
),
|
|
Position::NONE,
|
|
)
|
|
.into()),
|
|
}
|
|
}
|
|
|
|
/// Evaluate a function call expression.
|
|
fn eval_fn_call_expr(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
expr: &FnCallExpr,
|
|
pos: Position,
|
|
level: usize,
|
|
) -> RhaiResult {
|
|
let FnCallExpr {
|
|
name,
|
|
namespace,
|
|
capture_parent_scope: capture,
|
|
hashes,
|
|
args,
|
|
constants,
|
|
..
|
|
} = expr;
|
|
|
|
if let Some(namespace) = namespace.as_ref() {
|
|
// Qualified function call
|
|
let hash = hashes.native;
|
|
|
|
self.make_qualified_function_call(
|
|
scope, global, state, lib, this_ptr, namespace, name, args, constants, hash, pos,
|
|
level,
|
|
)
|
|
} else {
|
|
// Normal function call
|
|
self.make_function_call(
|
|
scope, global, state, lib, this_ptr, name, args, constants, *hashes, pos, *capture,
|
|
level,
|
|
)
|
|
}
|
|
}
|
|
|
|
/// Evaluate an expression.
|
|
pub(crate) fn eval_expr(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
expr: &Expr,
|
|
level: usize,
|
|
) -> RhaiResult {
|
|
// Coded this way for better branch prediction.
|
|
// Popular branches are lifted out of the `match` statement into their own branches.
|
|
|
|
// Function calls should account for a relatively larger portion of expressions because
|
|
// binary operators are also function calls.
|
|
if let Expr::FnCall(x, pos) = expr {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, expr.position())?;
|
|
|
|
return self.eval_fn_call_expr(scope, global, state, lib, this_ptr, x, *pos, level);
|
|
}
|
|
|
|
// Then variable access.
|
|
// We shouldn't do this for too many variants because, soon or later, the added comparisons
|
|
// will cost more than the mis-predicted `match` branch.
|
|
if let Expr::Variable(index, var_pos, x) = expr {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, expr.position())?;
|
|
|
|
return if index.is_none() && x.0.is_none() && x.2 == KEYWORD_THIS {
|
|
this_ptr
|
|
.as_deref()
|
|
.cloned()
|
|
.ok_or_else(|| ERR::ErrorUnboundThis(*var_pos).into())
|
|
} else {
|
|
self.search_namespace(scope, global, state, lib, this_ptr, expr)
|
|
.map(|(val, _)| val.take_or_clone())
|
|
};
|
|
}
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, expr.position())?;
|
|
|
|
match expr {
|
|
// Constants
|
|
Expr::DynamicConstant(x, _) => Ok(x.as_ref().clone()),
|
|
Expr::IntegerConstant(x, _) => Ok((*x).into()),
|
|
#[cfg(not(feature = "no_float"))]
|
|
Expr::FloatConstant(x, _) => Ok((*x).into()),
|
|
Expr::StringConstant(x, _) => Ok(x.clone().into()),
|
|
Expr::CharConstant(x, _) => Ok((*x).into()),
|
|
Expr::BoolConstant(x, _) => Ok((*x).into()),
|
|
Expr::Unit(_) => Ok(Dynamic::UNIT),
|
|
|
|
// `... ${...} ...`
|
|
Expr::InterpolatedString(x, pos) => {
|
|
let mut pos = *pos;
|
|
let mut result: Dynamic = self.const_empty_string().into();
|
|
|
|
for expr in x.iter() {
|
|
let item = self.eval_expr(scope, global, state, lib, this_ptr, expr, level)?;
|
|
|
|
self.eval_op_assignment(
|
|
global,
|
|
state,
|
|
lib,
|
|
Some(OpAssignment::new(OP_CONCAT)),
|
|
pos,
|
|
&mut (&mut result).into(),
|
|
("", Position::NONE),
|
|
item,
|
|
)
|
|
.map_err(|err| err.fill_position(expr.position()))?;
|
|
|
|
pos = expr.position();
|
|
}
|
|
|
|
Ok(result)
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Expr::Array(x, _) => {
|
|
let mut arr = Dynamic::from_array(crate::Array::with_capacity(x.len()));
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let mut sizes = (0, 0, 0);
|
|
|
|
for item_expr in x.iter() {
|
|
let value = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, item_expr, level)?
|
|
.flatten();
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let val_sizes = Self::calc_data_sizes(&value, true);
|
|
|
|
arr.write_lock::<crate::Array>()
|
|
.expect("`Array`")
|
|
.push(value);
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
if self.has_data_size_limit() {
|
|
sizes = (
|
|
sizes.0 + val_sizes.0,
|
|
sizes.1 + val_sizes.1,
|
|
sizes.2 + val_sizes.2,
|
|
);
|
|
self.raise_err_if_over_data_size_limit(sizes, item_expr.position())?;
|
|
}
|
|
}
|
|
|
|
Ok(arr)
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Map(x, _) => {
|
|
let mut map = Dynamic::from_map(x.1.clone());
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let mut sizes = (0, 0, 0);
|
|
|
|
for (Ident { name, .. }, value_expr) in x.0.iter() {
|
|
let key = name.as_str();
|
|
let value = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, value_expr, level)?
|
|
.flatten();
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
let val_sizes = Self::calc_data_sizes(&value, true);
|
|
|
|
*map.write_lock::<crate::Map>()
|
|
.expect("`Map`")
|
|
.get_mut(key)
|
|
.unwrap() = value;
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
if self.has_data_size_limit() {
|
|
sizes = (
|
|
sizes.0 + val_sizes.0,
|
|
sizes.1 + val_sizes.1,
|
|
sizes.2 + val_sizes.2,
|
|
);
|
|
self.raise_err_if_over_data_size_limit(sizes, value_expr.position())?;
|
|
}
|
|
}
|
|
|
|
Ok(map)
|
|
}
|
|
|
|
Expr::And(x, _) => {
|
|
Ok((self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &x.lhs, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, x.lhs.position()))?
|
|
&& // Short-circuit using &&
|
|
self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &x.rhs, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, x.rhs.position()))?)
|
|
.into())
|
|
}
|
|
|
|
Expr::Or(x, _) => {
|
|
Ok((self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &x.lhs, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, x.lhs.position()))?
|
|
|| // Short-circuit using ||
|
|
self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &x.rhs, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, x.rhs.position()))?)
|
|
.into())
|
|
}
|
|
|
|
Expr::Custom(custom, _) => {
|
|
let expressions: StaticVec<_> = custom.inputs.iter().map(Into::into).collect();
|
|
let key_token = custom.tokens.first().unwrap();
|
|
let custom_def = self.custom_syntax.get(key_token).unwrap();
|
|
let mut context = EvalContext {
|
|
engine: self,
|
|
scope,
|
|
global,
|
|
state,
|
|
lib,
|
|
this_ptr,
|
|
level,
|
|
};
|
|
|
|
let result = (custom_def.func)(&mut context, &expressions);
|
|
|
|
self.check_return_value(result, expr.position())
|
|
}
|
|
|
|
Expr::Stmt(x) if x.is_empty() => Ok(Dynamic::UNIT),
|
|
Expr::Stmt(x) => {
|
|
self.eval_stmt_block(scope, global, state, lib, this_ptr, x, true, level)
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
Expr::Index(_, _, _) => {
|
|
self.eval_dot_index_chain(scope, global, state, lib, this_ptr, expr, level, None)
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Dot(_, _, _) => {
|
|
self.eval_dot_index_chain(scope, global, state, lib, this_ptr, expr, level, None)
|
|
}
|
|
|
|
_ => unreachable!("expression cannot be evaluated: {:?}", expr),
|
|
}
|
|
}
|
|
|
|
/// Evaluate a statements block.
|
|
pub(crate) fn eval_stmt_block(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
statements: &[Stmt],
|
|
restore_orig_state: bool,
|
|
level: usize,
|
|
) -> RhaiResult {
|
|
if statements.is_empty() {
|
|
return Ok(Dynamic::UNIT);
|
|
}
|
|
|
|
let orig_always_search_scope = state.always_search_scope;
|
|
let orig_scope_len = scope.len();
|
|
let orig_mods_len = global.num_imported_modules();
|
|
let orig_fn_resolution_caches_len = state.fn_resolution_caches_len();
|
|
|
|
if restore_orig_state {
|
|
state.scope_level += 1;
|
|
}
|
|
|
|
let mut result = Dynamic::UNIT;
|
|
|
|
for stmt in statements {
|
|
let _mods_len = global.num_imported_modules();
|
|
|
|
result = self.eval_stmt(
|
|
scope,
|
|
global,
|
|
state,
|
|
lib,
|
|
this_ptr,
|
|
stmt,
|
|
restore_orig_state,
|
|
level,
|
|
)?;
|
|
|
|
#[cfg(not(feature = "no_module"))]
|
|
if matches!(stmt, Stmt::Import(_, _, _)) {
|
|
// Get the extra modules - see if any functions are marked global.
|
|
// Without global functions, the extra modules never affect function resolution.
|
|
if global
|
|
.scan_modules_raw()
|
|
.skip(_mods_len)
|
|
.any(|(_, m)| m.contains_indexed_global_functions())
|
|
{
|
|
if state.fn_resolution_caches_len() > orig_fn_resolution_caches_len {
|
|
// When new module is imported with global functions and there is already
|
|
// a new cache, clear it - notice that this is expensive as all function
|
|
// resolutions must start again
|
|
state.fn_resolution_cache_mut().clear();
|
|
} else if restore_orig_state {
|
|
// When new module is imported with global functions, push a new cache
|
|
state.push_fn_resolution_cache();
|
|
} else {
|
|
// When the block is to be evaluated in-place, just clear the current cache
|
|
state.fn_resolution_cache_mut().clear();
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// If imports list is modified, pop the functions lookup cache
|
|
state.rewind_fn_resolution_caches(orig_fn_resolution_caches_len);
|
|
|
|
if restore_orig_state {
|
|
scope.rewind(orig_scope_len);
|
|
state.scope_level -= 1;
|
|
global.truncate_modules(orig_mods_len);
|
|
|
|
// The impact of new local variables goes away at the end of a block
|
|
// because any new variables introduced will go out of scope
|
|
state.always_search_scope = orig_always_search_scope;
|
|
}
|
|
|
|
Ok(result)
|
|
}
|
|
|
|
/// Evaluate an op-assignment statement.
|
|
/// [`Position`] in [`EvalAltResult`] is [`NONE`][Position::NONE] and should be set afterwards.
|
|
pub(crate) fn eval_op_assignment(
|
|
&self,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
op_info: Option<OpAssignment>,
|
|
op_pos: Position,
|
|
target: &mut Target,
|
|
root: (&str, Position),
|
|
new_val: Dynamic,
|
|
) -> RhaiResultOf<()> {
|
|
if target.is_read_only() {
|
|
// Assignment to constant variable
|
|
return Err(ERR::ErrorAssignmentToConstant(root.0.to_string(), root.1).into());
|
|
}
|
|
|
|
let mut new_val = new_val;
|
|
|
|
if let Some(OpAssignment {
|
|
hash_op_assign,
|
|
hash_op,
|
|
op,
|
|
}) = op_info
|
|
{
|
|
let mut lock_guard;
|
|
let lhs_ptr_inner;
|
|
|
|
#[cfg(not(feature = "no_closure"))]
|
|
let target_is_shared = target.is_shared();
|
|
#[cfg(feature = "no_closure")]
|
|
let target_is_shared = false;
|
|
|
|
if target_is_shared {
|
|
lock_guard = target.write_lock::<Dynamic>().expect("`Dynamic`");
|
|
lhs_ptr_inner = &mut *lock_guard;
|
|
} else {
|
|
lhs_ptr_inner = &mut *target;
|
|
}
|
|
|
|
let hash = hash_op_assign;
|
|
let args = &mut [lhs_ptr_inner, &mut new_val];
|
|
|
|
match self.call_native_fn(global, state, lib, op, hash, args, true, true, op_pos) {
|
|
Err(err) if matches!(*err, ERR::ErrorFunctionNotFound(ref f, _) if f.starts_with(op)) =>
|
|
{
|
|
// Expand to `var = var op rhs`
|
|
let op = &op[..op.len() - 1]; // extract operator without =
|
|
|
|
// Run function
|
|
let (value, _) = self.call_native_fn(
|
|
global, state, lib, op, hash_op, args, true, false, op_pos,
|
|
)?;
|
|
|
|
*args[0] = value.flatten();
|
|
}
|
|
err => return err.map(|_| ()),
|
|
}
|
|
} else {
|
|
// Normal assignment
|
|
*target.as_mut() = new_val;
|
|
}
|
|
|
|
target.propagate_changed_value()
|
|
}
|
|
|
|
/// Evaluate a statement.
|
|
///
|
|
/// # Safety
|
|
///
|
|
/// This method uses some unsafe code, mainly for avoiding cloning of local variable names via
|
|
/// direct lifetime casting.
|
|
pub(crate) fn eval_stmt(
|
|
&self,
|
|
scope: &mut Scope,
|
|
global: &mut GlobalRuntimeState,
|
|
state: &mut EvalState,
|
|
lib: &[&Module],
|
|
this_ptr: &mut Option<&mut Dynamic>,
|
|
stmt: &Stmt,
|
|
rewind_scope: bool,
|
|
level: usize,
|
|
) -> RhaiResult {
|
|
// Coded this way for better branch prediction.
|
|
// Popular branches are lifted out of the `match` statement into their own branches.
|
|
|
|
// Function calls should account for a relatively larger portion of statements.
|
|
if let Stmt::FnCall(x, pos) = stmt {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, stmt.position())?;
|
|
|
|
return self.eval_fn_call_expr(scope, global, state, lib, this_ptr, x, *pos, level);
|
|
}
|
|
|
|
// Then assignments.
|
|
// We shouldn't do this for too many variants because, soon or later, the added comparisons
|
|
// will cost more than the mis-predicted `match` branch.
|
|
if let Stmt::Assignment(x, op_pos) = stmt {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, stmt.position())?;
|
|
|
|
return if x.0.is_variable_access(false) {
|
|
let (lhs_expr, op_info, rhs_expr) = x.as_ref();
|
|
let rhs_val = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, rhs_expr, level)?
|
|
.flatten();
|
|
let (mut lhs_ptr, pos) =
|
|
self.search_namespace(scope, global, state, lib, this_ptr, lhs_expr)?;
|
|
|
|
let var_name = lhs_expr.get_variable_name(false).expect("`Expr::Variable`");
|
|
|
|
if !lhs_ptr.is_ref() {
|
|
return Err(ERR::ErrorAssignmentToConstant(var_name.to_string(), pos).into());
|
|
}
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, pos)?;
|
|
|
|
self.eval_op_assignment(
|
|
global,
|
|
state,
|
|
lib,
|
|
*op_info,
|
|
*op_pos,
|
|
&mut lhs_ptr,
|
|
(var_name, pos),
|
|
rhs_val,
|
|
)
|
|
.map_err(|err| err.fill_position(rhs_expr.position()))?;
|
|
|
|
Ok(Dynamic::UNIT)
|
|
} else {
|
|
let (lhs_expr, op_info, rhs_expr) = x.as_ref();
|
|
let rhs_val = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, rhs_expr, level)?
|
|
.flatten();
|
|
let _new_val = Some(((rhs_val, rhs_expr.position()), (*op_info, *op_pos)));
|
|
|
|
// Must be either `var[index] op= val` or `var.prop op= val`
|
|
match lhs_expr {
|
|
// name op= rhs (handled above)
|
|
Expr::Variable(_, _, _) => {
|
|
unreachable!("Expr::Variable case is already handled")
|
|
}
|
|
// idx_lhs[idx_expr] op= rhs
|
|
#[cfg(not(feature = "no_index"))]
|
|
Expr::Index(_, _, _) => {
|
|
self.eval_dot_index_chain(
|
|
scope, global, state, lib, this_ptr, lhs_expr, level, _new_val,
|
|
)?;
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
// dot_lhs.dot_rhs op= rhs
|
|
#[cfg(not(feature = "no_object"))]
|
|
Expr::Dot(_, _, _) => {
|
|
self.eval_dot_index_chain(
|
|
scope, global, state, lib, this_ptr, lhs_expr, level, _new_val,
|
|
)?;
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
_ => unreachable!("cannot assign to expression: {:?}", lhs_expr),
|
|
}
|
|
};
|
|
}
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, stmt.position())?;
|
|
|
|
match stmt {
|
|
// No-op
|
|
Stmt::Noop(_) => Ok(Dynamic::UNIT),
|
|
|
|
// Expression as statement
|
|
Stmt::Expr(expr) => Ok(self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.flatten()),
|
|
|
|
// Block scope
|
|
Stmt::Block(statements, _) if statements.is_empty() => Ok(Dynamic::UNIT),
|
|
Stmt::Block(statements, _) => {
|
|
self.eval_stmt_block(scope, global, state, lib, this_ptr, statements, true, level)
|
|
}
|
|
|
|
// If statement
|
|
Stmt::If(expr, x, _) => {
|
|
let guard_val = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, expr.position()))?;
|
|
|
|
if guard_val {
|
|
if !x.0.is_empty() {
|
|
self.eval_stmt_block(scope, global, state, lib, this_ptr, &x.0, true, level)
|
|
} else {
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
} else {
|
|
if !x.1.is_empty() {
|
|
self.eval_stmt_block(scope, global, state, lib, this_ptr, &x.1, true, level)
|
|
} else {
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
}
|
|
}
|
|
|
|
// Switch statement
|
|
Stmt::Switch(match_expr, x, _) => {
|
|
let (table, def_stmt, ranges) = x.as_ref();
|
|
|
|
let value =
|
|
self.eval_expr(scope, global, state, lib, this_ptr, match_expr, level)?;
|
|
|
|
let stmt_block = if value.is_hashable() {
|
|
let hasher = &mut get_hasher();
|
|
value.hash(hasher);
|
|
let hash = hasher.finish();
|
|
|
|
// First check hashes
|
|
if let Some(t) = table.get(&hash) {
|
|
if let Some(ref c) = t.0 {
|
|
if self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &c, level)
|
|
.and_then(|v| {
|
|
v.as_bool().map_err(|typ| {
|
|
self.make_type_mismatch_err::<bool>(typ, c.position())
|
|
})
|
|
})?
|
|
{
|
|
Some(&t.1)
|
|
} else {
|
|
None
|
|
}
|
|
} else {
|
|
Some(&t.1)
|
|
}
|
|
} else if value.is::<INT>() && !ranges.is_empty() {
|
|
// Then check integer ranges
|
|
let value = value.as_int().expect("`INT`");
|
|
let mut result = None;
|
|
|
|
for (_, _, _, condition, stmt_block) in
|
|
ranges.iter().filter(|&&(start, end, inclusive, _, _)| {
|
|
(!inclusive && (start..end).contains(&value))
|
|
|| (inclusive && (start..=end).contains(&value))
|
|
})
|
|
{
|
|
if let Some(c) = condition {
|
|
if !self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &c, level)
|
|
.and_then(|v| {
|
|
v.as_bool().map_err(|typ| {
|
|
self.make_type_mismatch_err::<bool>(typ, c.position())
|
|
})
|
|
})?
|
|
{
|
|
continue;
|
|
}
|
|
}
|
|
|
|
result = Some(stmt_block);
|
|
break;
|
|
}
|
|
|
|
result
|
|
} else {
|
|
// Nothing matches
|
|
None
|
|
}
|
|
} else {
|
|
// Non-hashable
|
|
None
|
|
};
|
|
|
|
if let Some(statements) = stmt_block {
|
|
if !statements.is_empty() {
|
|
self.eval_stmt_block(
|
|
scope, global, state, lib, this_ptr, statements, true, level,
|
|
)
|
|
} else {
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
} else {
|
|
// Default match clause
|
|
if !def_stmt.is_empty() {
|
|
self.eval_stmt_block(
|
|
scope, global, state, lib, this_ptr, def_stmt, true, level,
|
|
)
|
|
} else {
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
}
|
|
}
|
|
|
|
// Loop
|
|
Stmt::While(Expr::Unit(_), body, _) => loop {
|
|
if !body.is_empty() {
|
|
match self
|
|
.eval_stmt_block(scope, global, state, lib, this_ptr, body, true, level)
|
|
{
|
|
Ok(_) => (),
|
|
Err(err) => match *err {
|
|
ERR::LoopBreak(false, _) => (),
|
|
ERR::LoopBreak(true, _) => return Ok(Dynamic::UNIT),
|
|
_ => return Err(err),
|
|
},
|
|
}
|
|
} else {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, body.position())?;
|
|
}
|
|
},
|
|
|
|
// While loop
|
|
Stmt::While(expr, body, _) => loop {
|
|
let condition = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, expr.position()))?;
|
|
|
|
if !condition {
|
|
return Ok(Dynamic::UNIT);
|
|
}
|
|
if !body.is_empty() {
|
|
match self
|
|
.eval_stmt_block(scope, global, state, lib, this_ptr, body, true, level)
|
|
{
|
|
Ok(_) => (),
|
|
Err(err) => match *err {
|
|
ERR::LoopBreak(false, _) => (),
|
|
ERR::LoopBreak(true, _) => return Ok(Dynamic::UNIT),
|
|
_ => return Err(err),
|
|
},
|
|
}
|
|
}
|
|
},
|
|
|
|
// Do loop
|
|
Stmt::Do(body, expr, options, _) => loop {
|
|
let is_while = !options.contains(AST_OPTION_NEGATED);
|
|
|
|
if !body.is_empty() {
|
|
match self
|
|
.eval_stmt_block(scope, global, state, lib, this_ptr, body, true, level)
|
|
{
|
|
Ok(_) => (),
|
|
Err(err) => match *err {
|
|
ERR::LoopBreak(false, _) => continue,
|
|
ERR::LoopBreak(true, _) => return Ok(Dynamic::UNIT),
|
|
_ => return Err(err),
|
|
},
|
|
}
|
|
}
|
|
|
|
let condition = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.as_bool()
|
|
.map_err(|typ| self.make_type_mismatch_err::<bool>(typ, expr.position()))?;
|
|
|
|
if condition ^ is_while {
|
|
return Ok(Dynamic::UNIT);
|
|
}
|
|
},
|
|
|
|
// For loop
|
|
Stmt::For(expr, x, _) => {
|
|
let (Ident { name, .. }, counter, statements) = x.as_ref();
|
|
let iter_obj = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.flatten();
|
|
let iter_type = iter_obj.type_id();
|
|
|
|
// lib should only contain scripts, so technically they cannot have iterators
|
|
|
|
// Search order:
|
|
// 1) Global namespace - functions registered via Engine::register_XXX
|
|
// 2) Global modules - packages
|
|
// 3) Imported modules - functions marked with global namespace
|
|
// 4) Global sub-modules - functions marked with global namespace
|
|
let func = self
|
|
.global_modules
|
|
.iter()
|
|
.find_map(|m| m.get_iter(iter_type))
|
|
.or_else(|| global.get_iter(iter_type))
|
|
.or_else(|| {
|
|
self.global_sub_modules
|
|
.values()
|
|
.find_map(|m| m.get_qualified_iter(iter_type))
|
|
});
|
|
|
|
if let Some(func) = func {
|
|
// Add the loop variables
|
|
let orig_scope_len = scope.len();
|
|
let counter_index = if let Some(counter) = counter {
|
|
scope.push(unsafe_cast_var_name_to_lifetime(&counter.name), 0 as INT);
|
|
scope.len() - 1
|
|
} else {
|
|
usize::MAX
|
|
};
|
|
scope.push(unsafe_cast_var_name_to_lifetime(name), ());
|
|
let index = scope.len() - 1;
|
|
|
|
for (x, iter_value) in func(iter_obj).enumerate() {
|
|
// Increment counter
|
|
if counter_index < usize::MAX {
|
|
#[cfg(not(feature = "unchecked"))]
|
|
if x > INT::MAX as usize {
|
|
return Err(ERR::ErrorArithmetic(
|
|
format!("for-loop counter overflow: {}", x),
|
|
counter.as_ref().expect("`Some`").pos,
|
|
)
|
|
.into());
|
|
}
|
|
|
|
let index_value = (x as INT).into();
|
|
|
|
#[cfg(not(feature = "no_closure"))]
|
|
{
|
|
let index_var = scope.get_mut_by_index(counter_index);
|
|
if index_var.is_shared() {
|
|
*index_var.write_lock().expect("`Dynamic`") = index_value;
|
|
} else {
|
|
*index_var = index_value;
|
|
}
|
|
}
|
|
#[cfg(feature = "no_closure")]
|
|
{
|
|
*scope.get_mut_by_index(counter_index) = index_value;
|
|
}
|
|
}
|
|
|
|
let value = iter_value.flatten();
|
|
|
|
#[cfg(not(feature = "no_closure"))]
|
|
{
|
|
let loop_var = scope.get_mut_by_index(index);
|
|
if loop_var.is_shared() {
|
|
*loop_var.write_lock().expect("`Dynamic`") = value;
|
|
} else {
|
|
*loop_var = value;
|
|
}
|
|
}
|
|
#[cfg(feature = "no_closure")]
|
|
{
|
|
*scope.get_mut_by_index(index) = value;
|
|
}
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.inc_operations(&mut global.num_operations, statements.position())?;
|
|
|
|
if statements.is_empty() {
|
|
continue;
|
|
}
|
|
|
|
let result = self.eval_stmt_block(
|
|
scope, global, state, lib, this_ptr, statements, true, level,
|
|
);
|
|
|
|
match result {
|
|
Ok(_) => (),
|
|
Err(err) => match *err {
|
|
ERR::LoopBreak(false, _) => (),
|
|
ERR::LoopBreak(true, _) => break,
|
|
_ => return Err(err),
|
|
},
|
|
}
|
|
}
|
|
|
|
scope.rewind(orig_scope_len);
|
|
Ok(Dynamic::UNIT)
|
|
} else {
|
|
Err(ERR::ErrorFor(expr.position()).into())
|
|
}
|
|
}
|
|
|
|
// Continue/Break statement
|
|
Stmt::BreakLoop(options, pos) => {
|
|
Err(ERR::LoopBreak(options.contains(AST_OPTION_BREAK_OUT), *pos).into())
|
|
}
|
|
|
|
// Try/Catch statement
|
|
Stmt::TryCatch(x, _) => {
|
|
let (try_stmt, err_var, catch_stmt) = x.as_ref();
|
|
|
|
let result = self
|
|
.eval_stmt_block(scope, global, state, lib, this_ptr, try_stmt, true, level)
|
|
.map(|_| Dynamic::UNIT);
|
|
|
|
match result {
|
|
Ok(_) => result,
|
|
Err(err) if err.is_pseudo_error() => Err(err),
|
|
Err(err) if !err.is_catchable() => Err(err),
|
|
Err(mut err) => {
|
|
let err_value = match *err {
|
|
ERR::ErrorRuntime(ref x, _) => x.clone(),
|
|
|
|
#[cfg(feature = "no_object")]
|
|
_ => {
|
|
err.take_position();
|
|
err.to_string().into()
|
|
}
|
|
#[cfg(not(feature = "no_object"))]
|
|
_ => {
|
|
let mut err_map = crate::Map::new();
|
|
let err_pos = err.take_position();
|
|
|
|
err_map.insert("message".into(), err.to_string().into());
|
|
|
|
if !global.source.is_empty() {
|
|
err_map.insert("source".into(), global.source.clone().into());
|
|
}
|
|
|
|
if err_pos.is_none() {
|
|
// No position info
|
|
} else {
|
|
let line = err_pos.line().unwrap() as INT;
|
|
let position = if err_pos.is_beginning_of_line() {
|
|
0
|
|
} else {
|
|
err_pos.position().unwrap()
|
|
} as INT;
|
|
err_map.insert("line".into(), line.into());
|
|
err_map.insert("position".into(), position.into());
|
|
}
|
|
|
|
err.dump_fields(&mut err_map);
|
|
err_map.into()
|
|
}
|
|
};
|
|
|
|
let orig_scope_len = scope.len();
|
|
|
|
err_var.as_ref().map(|Ident { name, .. }| {
|
|
scope.push(unsafe_cast_var_name_to_lifetime(name), err_value)
|
|
});
|
|
|
|
let result = self.eval_stmt_block(
|
|
scope, global, state, lib, this_ptr, catch_stmt, true, level,
|
|
);
|
|
|
|
scope.rewind(orig_scope_len);
|
|
|
|
match result {
|
|
Ok(_) => Ok(Dynamic::UNIT),
|
|
Err(result_err) => match *result_err {
|
|
// Re-throw exception
|
|
ERR::ErrorRuntime(Dynamic(Union::Unit(_, _, _)), pos) => {
|
|
err.set_position(pos);
|
|
Err(err)
|
|
}
|
|
_ => Err(result_err),
|
|
},
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// Throw value
|
|
Stmt::Return(options, Some(expr), pos) if options.contains(AST_OPTION_BREAK_OUT) => {
|
|
Err(ERR::ErrorRuntime(
|
|
self.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.flatten(),
|
|
*pos,
|
|
)
|
|
.into())
|
|
}
|
|
|
|
// Empty throw
|
|
Stmt::Return(options, None, pos) if options.contains(AST_OPTION_BREAK_OUT) => {
|
|
Err(ERR::ErrorRuntime(Dynamic::UNIT, *pos).into())
|
|
}
|
|
|
|
// Return value
|
|
Stmt::Return(_, Some(expr), pos) => Err(ERR::Return(
|
|
self.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.flatten(),
|
|
*pos,
|
|
)
|
|
.into()),
|
|
|
|
// Empty return
|
|
Stmt::Return(_, None, pos) => Err(ERR::Return(Dynamic::UNIT, *pos).into()),
|
|
|
|
// Let/const statement
|
|
Stmt::Var(expr, x, options, _) => {
|
|
let name = &x.name;
|
|
let entry_type = if options.contains(AST_OPTION_CONSTANT) {
|
|
AccessMode::ReadOnly
|
|
} else {
|
|
AccessMode::ReadWrite
|
|
};
|
|
let export = options.contains(AST_OPTION_PUBLIC);
|
|
|
|
let value = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, expr, level)?
|
|
.flatten();
|
|
|
|
let (var_name, _alias): (Cow<'_, str>, _) = if !rewind_scope {
|
|
#[cfg(not(feature = "no_function"))]
|
|
#[cfg(not(feature = "no_module"))]
|
|
if state.scope_level == 0
|
|
&& entry_type == AccessMode::ReadOnly
|
|
&& lib.iter().any(|&m| !m.is_empty())
|
|
{
|
|
// Add a global constant if at top level and there are functions
|
|
global.set_constant(name.clone(), value.clone());
|
|
}
|
|
|
|
(
|
|
name.to_string().into(),
|
|
if export { Some(name.clone()) } else { None },
|
|
)
|
|
} else if export {
|
|
unreachable!("exported variable not on global level");
|
|
} else {
|
|
(unsafe_cast_var_name_to_lifetime(name).into(), None)
|
|
};
|
|
|
|
scope.push_dynamic_value(var_name, entry_type, value);
|
|
|
|
#[cfg(not(feature = "no_module"))]
|
|
_alias.map(|alias| scope.add_entry_alias(scope.len() - 1, alias));
|
|
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
|
|
// Import statement
|
|
#[cfg(not(feature = "no_module"))]
|
|
Stmt::Import(expr, export, _pos) => {
|
|
// Guard against too many modules
|
|
#[cfg(not(feature = "unchecked"))]
|
|
if global.num_modules_loaded >= self.max_modules() {
|
|
return Err(ERR::ErrorTooManyModules(*_pos).into());
|
|
}
|
|
|
|
if let Some(path) = self
|
|
.eval_expr(scope, global, state, lib, this_ptr, &expr, level)?
|
|
.try_cast::<ImmutableString>()
|
|
{
|
|
use crate::ModuleResolver;
|
|
|
|
let source = match global.source.as_str() {
|
|
"" => None,
|
|
s => Some(s),
|
|
};
|
|
let path_pos = expr.position();
|
|
|
|
let module = global
|
|
.embedded_module_resolver
|
|
.as_ref()
|
|
.and_then(|r| match r.resolve(self, source, &path, path_pos) {
|
|
Err(err) if matches!(*err, ERR::ErrorModuleNotFound(_, _)) => None,
|
|
result => Some(result),
|
|
})
|
|
.or_else(|| {
|
|
self.module_resolver
|
|
.as_ref()
|
|
.map(|r| r.resolve(self, source, &path, path_pos))
|
|
})
|
|
.unwrap_or_else(|| {
|
|
Err(ERR::ErrorModuleNotFound(path.to_string(), path_pos).into())
|
|
})?;
|
|
|
|
if let Some(name) = export.as_ref().map(|x| x.name.clone()) {
|
|
if !module.is_indexed() {
|
|
// Index the module (making a clone copy if necessary) if it is not indexed
|
|
let mut module = crate::func::native::shared_take_or_clone(module);
|
|
module.build_index();
|
|
global.push_module(name, module);
|
|
} else {
|
|
global.push_module(name, module);
|
|
}
|
|
}
|
|
|
|
global.num_modules_loaded += 1;
|
|
|
|
Ok(Dynamic::UNIT)
|
|
} else {
|
|
Err(self.make_type_mismatch_err::<ImmutableString>("", expr.position()))
|
|
}
|
|
}
|
|
|
|
// Export statement
|
|
#[cfg(not(feature = "no_module"))]
|
|
Stmt::Export(list, _) => {
|
|
list.iter().try_for_each(
|
|
|(Ident { name, pos, .. }, Ident { name: rename, .. })| {
|
|
// Mark scope variables as public
|
|
if let Some((index, _)) = scope.get_index(name) {
|
|
scope.add_entry_alias(
|
|
index,
|
|
if rename.is_empty() { name } else { rename }.clone(),
|
|
);
|
|
Ok(()) as RhaiResultOf<_>
|
|
} else {
|
|
Err(ERR::ErrorVariableNotFound(name.to_string(), *pos).into())
|
|
}
|
|
},
|
|
)?;
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
|
|
// Share statement
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Stmt::Share(name) => {
|
|
if let Some((index, _)) = scope.get_index(name) {
|
|
let val = scope.get_mut_by_index(index);
|
|
|
|
if !val.is_shared() {
|
|
// Replace the variable with a shared value.
|
|
*val = std::mem::take(val).into_shared();
|
|
}
|
|
}
|
|
Ok(Dynamic::UNIT)
|
|
}
|
|
|
|
_ => unreachable!("statement cannot be evaluated: {:?}", stmt),
|
|
}
|
|
}
|
|
|
|
/// Check a result to ensure that the data size is within allowable limit.
|
|
pub(crate) fn check_return_value(&self, mut result: RhaiResult, pos: Position) -> RhaiResult {
|
|
let _pos = pos;
|
|
|
|
match result {
|
|
Ok(ref mut r) => {
|
|
// Concentrate all empty strings into one instance to save memory
|
|
if let Dynamic(Union::Str(s, _, _)) = r {
|
|
if s.is_empty() {
|
|
if !s.ptr_eq(&self.empty_string) {
|
|
*s = self.const_empty_string();
|
|
}
|
|
return result;
|
|
}
|
|
}
|
|
|
|
#[cfg(not(feature = "unchecked"))]
|
|
self.check_data_size(&r, _pos)?;
|
|
}
|
|
_ => (),
|
|
}
|
|
|
|
result
|
|
}
|
|
|
|
/// Recursively calculate the sizes of a value.
|
|
///
|
|
/// Sizes returned are `(`[`Array`][crate::Array], [`Map`][crate::Map] and `String)`.
|
|
///
|
|
/// # Panics
|
|
///
|
|
/// Panics if any interior data is shared (should never happen).
|
|
#[cfg(not(feature = "unchecked"))]
|
|
fn calc_data_sizes(value: &Dynamic, top: bool) -> (usize, usize, usize) {
|
|
match value.0 {
|
|
#[cfg(not(feature = "no_index"))]
|
|
Union::Array(ref arr, _, _) => {
|
|
arr.iter()
|
|
.fold((0, 0, 0), |(arrays, maps, strings), value| match value.0 {
|
|
Union::Array(_, _, _) => {
|
|
let (a, m, s) = Self::calc_data_sizes(value, false);
|
|
(arrays + a + 1, maps + m, strings + s)
|
|
}
|
|
Union::Blob(ref a, _, _) => (arrays + 1 + a.len(), maps, strings),
|
|
#[cfg(not(feature = "no_object"))]
|
|
Union::Map(_, _, _) => {
|
|
let (a, m, s) = Self::calc_data_sizes(value, false);
|
|
(arrays + a + 1, maps + m, strings + s)
|
|
}
|
|
Union::Str(ref s, _, _) => (arrays + 1, maps, strings + s.len()),
|
|
_ => (arrays + 1, maps, strings),
|
|
})
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
Union::Blob(ref arr, _, _) => (arr.len(), 0, 0),
|
|
#[cfg(not(feature = "no_object"))]
|
|
Union::Map(ref map, _, _) => {
|
|
map.values()
|
|
.fold((0, 0, 0), |(arrays, maps, strings), value| match value.0 {
|
|
#[cfg(not(feature = "no_index"))]
|
|
Union::Array(_, _, _) => {
|
|
let (a, m, s) = Self::calc_data_sizes(value, false);
|
|
(arrays + a, maps + m + 1, strings + s)
|
|
}
|
|
#[cfg(not(feature = "no_index"))]
|
|
Union::Blob(ref a, _, _) => (arrays + a.len(), maps, strings),
|
|
Union::Map(_, _, _) => {
|
|
let (a, m, s) = Self::calc_data_sizes(value, false);
|
|
(arrays + a, maps + m + 1, strings + s)
|
|
}
|
|
Union::Str(ref s, _, _) => (arrays, maps + 1, strings + s.len()),
|
|
_ => (arrays, maps + 1, strings),
|
|
})
|
|
}
|
|
Union::Str(ref s, _, _) => (0, 0, s.len()),
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Union::Shared(_, _, _) if top => {
|
|
Self::calc_data_sizes(&*value.read_lock::<Dynamic>().unwrap(), true)
|
|
}
|
|
#[cfg(not(feature = "no_closure"))]
|
|
Union::Shared(_, _, _) => {
|
|
unreachable!("shared values discovered within data: {}", value)
|
|
}
|
|
_ => (0, 0, 0),
|
|
}
|
|
}
|
|
|
|
/// Is there a data size limit set?
|
|
#[cfg(not(feature = "unchecked"))]
|
|
fn has_data_size_limit(&self) -> bool {
|
|
let mut _limited = self.limits.max_string_size.is_some();
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
{
|
|
_limited = _limited || self.limits.max_array_size.is_some();
|
|
}
|
|
#[cfg(not(feature = "no_object"))]
|
|
{
|
|
_limited = _limited || self.limits.max_map_size.is_some();
|
|
}
|
|
|
|
_limited
|
|
}
|
|
|
|
/// Raise an error if any data size exceeds limit.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
fn raise_err_if_over_data_size_limit(
|
|
&self,
|
|
sizes: (usize, usize, usize),
|
|
pos: Position,
|
|
) -> RhaiResultOf<()> {
|
|
let (_arr, _map, s) = sizes;
|
|
|
|
if s > self
|
|
.limits
|
|
.max_string_size
|
|
.map_or(usize::MAX, NonZeroUsize::get)
|
|
{
|
|
return Err(ERR::ErrorDataTooLarge("Length of string".to_string(), pos).into());
|
|
}
|
|
|
|
#[cfg(not(feature = "no_index"))]
|
|
if _arr
|
|
> self
|
|
.limits
|
|
.max_array_size
|
|
.map_or(usize::MAX, NonZeroUsize::get)
|
|
{
|
|
return Err(ERR::ErrorDataTooLarge("Size of array".to_string(), pos).into());
|
|
}
|
|
|
|
#[cfg(not(feature = "no_object"))]
|
|
if _map
|
|
> self
|
|
.limits
|
|
.max_map_size
|
|
.map_or(usize::MAX, NonZeroUsize::get)
|
|
{
|
|
return Err(ERR::ErrorDataTooLarge("Size of object map".to_string(), pos).into());
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
|
|
/// Check whether the size of a [`Dynamic`] is within limits.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
pub(crate) fn check_data_size(&self, value: &Dynamic, pos: Position) -> RhaiResultOf<()> {
|
|
// If no data size limits, just return
|
|
if !self.has_data_size_limit() {
|
|
return Ok(());
|
|
}
|
|
|
|
let sizes = Self::calc_data_sizes(value, true);
|
|
|
|
self.raise_err_if_over_data_size_limit(sizes, pos)
|
|
}
|
|
|
|
/// Raise an error if the size of a [`Dynamic`] is out of limits (if any).
|
|
///
|
|
/// Not available under `unchecked`.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
#[inline(always)]
|
|
pub fn ensure_data_size_within_limits(&self, value: &Dynamic) -> RhaiResultOf<()> {
|
|
self.check_data_size(value, Position::NONE)
|
|
}
|
|
|
|
/// Check if the number of operations stay within limit.
|
|
#[cfg(not(feature = "unchecked"))]
|
|
pub(crate) fn inc_operations(
|
|
&self,
|
|
num_operations: &mut u64,
|
|
pos: Position,
|
|
) -> RhaiResultOf<()> {
|
|
*num_operations += 1;
|
|
|
|
// Guard against too many operations
|
|
if self.max_operations() > 0 && *num_operations > self.max_operations() {
|
|
return Err(ERR::ErrorTooManyOperations(pos).into());
|
|
}
|
|
|
|
// Report progress - only in steps
|
|
if let Some(ref progress) = self.progress {
|
|
if let Some(token) = progress(*num_operations) {
|
|
// Terminate script if progress returns a termination token
|
|
return Err(ERR::ErrorTerminated(token, pos).into());
|
|
}
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
|
|
/// Pretty-print a type name.
|
|
///
|
|
/// If a type is registered via [`register_type_with_name`][Engine::register_type_with_name],
|
|
/// the type name provided for the registration will be used.
|
|
#[inline]
|
|
#[must_use]
|
|
pub fn map_type_name<'a>(&'a self, name: &'a str) -> &'a str {
|
|
self.type_names
|
|
.get(name)
|
|
.map(|s| s.as_str())
|
|
.unwrap_or_else(|| map_std_type_name(name))
|
|
}
|
|
|
|
/// Make a `Box<`[`EvalAltResult<ErrorMismatchDataType>`][ERR::ErrorMismatchDataType]`>`.
|
|
#[inline]
|
|
#[must_use]
|
|
pub(crate) fn make_type_mismatch_err<T>(&self, typ: &str, pos: Position) -> RhaiError {
|
|
ERR::ErrorMismatchDataType(self.map_type_name(type_name::<T>()).into(), typ.into(), pos)
|
|
.into()
|
|
}
|
|
}
|