rhai/src/lib.rs

347 lines
12 KiB
Rust
Raw Normal View History

2017-10-28 22:33:00 +02:00
//! # Rhai - embedded scripting for Rust
2017-12-20 12:16:14 +01:00
//!
2021-01-30 00:19:54 +01:00
//! ![Rhai logo](https://rhai.rs/book/images/logo/rhai-banner-transparent-colour.svg)
2020-12-24 09:32:43 +01:00
//!
2020-10-10 07:41:55 +02:00
//! Rhai is a tiny, simple and fast embedded scripting language for Rust
2017-10-28 22:33:00 +02:00
//! that gives you a safe and easy way to add scripting to your applications.
2020-04-09 04:38:33 +02:00
//!
2020-12-24 09:32:43 +01:00
//! It provides a familiar syntax based on JavaScript+Rust and a simple Rust interface.
//!
//! # A Quick Example
//!
//! ## Contents of `my_script.rhai`
2017-12-20 12:16:14 +01:00
//!
2021-03-22 04:18:09 +01:00
//! ```ignore
2020-12-24 09:32:43 +01:00
//! /// Brute force factorial function
2017-10-28 22:33:00 +02:00
//! fn factorial(x) {
//! if x == 1 { return 1; }
2020-03-24 09:57:35 +01:00
//! x * factorial(x - 1)
2017-10-28 22:33:00 +02:00
//! }
//!
2020-04-09 04:38:33 +02:00
//! // Calling an external function 'compute'
//! compute(factorial(10))
2017-10-28 22:33:00 +02:00
//! ```
2017-12-20 12:16:14 +01:00
//!
2020-12-24 09:32:43 +01:00
//! ## The Rust part
2017-12-20 12:16:14 +01:00
//!
2021-03-22 04:18:09 +01:00
//! ```no_run
//! use rhai::{Engine, EvalAltResult};
2017-12-20 12:16:14 +01:00
//!
//! fn main() -> Result<(), Box<EvalAltResult>>
2020-03-09 14:09:53 +01:00
//! {
2020-04-09 04:38:33 +02:00
//! // Define external function
2020-03-09 14:09:53 +01:00
//! fn compute_something(x: i64) -> bool {
2020-03-24 09:57:35 +01:00
//! (x % 40) == 0
2020-03-09 14:09:53 +01:00
//! }
//!
2020-04-09 04:38:33 +02:00
//! // Create scripting engine
2020-03-09 14:09:53 +01:00
//! let mut engine = Engine::new();
//!
2020-04-09 04:38:33 +02:00
//! // Register external function as 'compute'
//! engine.register_fn("compute", compute_something);
2017-12-20 12:16:14 +01:00
//!
//! # #[cfg(not(feature = "no_std"))]
//! # #[cfg(not(any(target_arch = "wasm32", target_arch = "wasm64")))]
2020-04-09 04:38:33 +02:00
//! assert_eq!(
2020-04-09 12:45:49 +02:00
//! // Evaluate the script, expects a 'bool' return
2020-04-09 04:38:33 +02:00
//! engine.eval_file::<bool>("my_script.rhai".into())?,
//! true
//! );
2020-03-09 14:09:53 +01:00
//!
//! Ok(())
//! }
2017-10-28 22:33:00 +02:00
//! ```
//!
2020-07-29 16:43:50 +02:00
//! # Documentation
2020-04-03 13:42:01 +02:00
//!
2021-01-30 00:19:54 +01:00
//! See [The Rhai Book](https://rhai.rs/book) for details on the Rhai scripting engine and language.
#![cfg_attr(feature = "no_std", no_std)]
2017-10-02 23:44:45 +02:00
#[cfg(feature = "no_std")]
2020-03-17 19:26:11 +01:00
extern crate alloc;
2021-04-17 09:15:54 +02:00
#[cfg(feature = "no_std")]
extern crate no_std_compat as std;
#[cfg(feature = "no_std")]
use std::prelude::v1::*;
// Internal modules
2020-10-28 15:18:44 +01:00
mod ast;
2021-06-16 12:36:33 +02:00
mod custom_syntax;
2020-10-28 15:18:44 +01:00
mod dynamic;
mod engine;
2020-10-28 15:18:44 +01:00
mod engine_api;
mod engine_settings;
2021-06-16 12:36:33 +02:00
mod error;
mod error_parsing;
mod fn_args;
2021-03-02 16:08:54 +01:00
mod fn_builtin;
mod fn_call;
2020-04-09 04:38:33 +02:00
mod fn_func;
2021-06-16 12:36:33 +02:00
mod fn_hash;
2020-06-18 12:39:28 +02:00
mod fn_native;
2021-06-17 03:50:32 +02:00
mod fn_ptr;
mod fn_register;
2021-06-16 12:36:33 +02:00
mod immutable_string;
mod module;
2020-03-09 14:57:07 +01:00
mod optimize;
pub mod packages;
2021-06-16 12:36:33 +02:00
mod parse;
2020-07-02 06:47:24 +02:00
pub mod plugin;
2020-03-03 08:20:20 +01:00
mod scope;
mod token;
mod r#unsafe;
2021-04-17 09:15:54 +02:00
type RhaiResult = Result<Dynamic, Box<EvalAltResult>>;
2021-03-02 08:02:28 +01:00
2020-11-25 02:36:06 +01:00
/// The system integer type. It is defined as [`i64`].
2020-10-29 04:37:51 +01:00
///
2020-11-25 02:36:06 +01:00
/// If the `only_i32` feature is enabled, this will be [`i32`] instead.
2020-10-29 04:37:51 +01:00
#[cfg(not(feature = "only_i32"))]
pub type INT = i64;
/// The system integer type.
2020-11-25 02:36:06 +01:00
/// It is defined as [`i32`] since the `only_i32` feature is used.
2020-10-29 04:37:51 +01:00
///
2020-11-25 02:36:06 +01:00
/// If the `only_i32` feature is not used, this will be `i64` instead.
2020-10-29 04:37:51 +01:00
#[cfg(feature = "only_i32")]
pub type INT = i32;
2020-11-25 02:36:06 +01:00
/// The system floating-point type. It is defined as [`f64`].
/// Not available under `no_float`.
2020-11-25 02:36:06 +01:00
///
/// If the `f32_float` feature is enabled, this will be [`i32`] instead.
2020-10-29 04:37:51 +01:00
#[cfg(not(feature = "no_float"))]
2020-11-01 08:48:48 +01:00
#[cfg(not(feature = "f32_float"))]
2020-10-29 04:37:51 +01:00
pub type FLOAT = f64;
2020-11-01 08:48:48 +01:00
/// The system floating-point type.
2020-11-25 02:36:06 +01:00
/// It is defined as [`f32`] since the `f32_float` feature is used.
/// Not available under `no_float`.
2020-11-25 02:36:06 +01:00
///
/// If the `f32_float` feature is not used, this will be `f64` instead.
2020-11-01 08:48:48 +01:00
#[cfg(not(feature = "no_float"))]
#[cfg(feature = "f32_float")]
pub type FLOAT = f32;
2021-03-07 15:10:54 +01:00
pub use ast::{FnAccess, AST};
2021-06-16 12:36:33 +02:00
pub use custom_syntax::Expression;
2020-10-28 15:18:44 +01:00
pub use dynamic::Dynamic;
pub use engine::{Engine, EvalContext, OP_CONTAINS, OP_EQUALS};
2021-06-16 12:36:33 +02:00
pub use error::EvalAltResult;
pub use error_parsing::{LexError, ParseError, ParseErrorType};
2021-06-17 03:50:32 +02:00
pub use fn_native::NativeCallContext;
pub use fn_ptr::FnPtr;
pub use fn_register::RegisterNativeFunction;
2021-06-16 12:36:33 +02:00
pub use immutable_string::ImmutableString;
2020-11-17 05:23:53 +01:00
pub use module::{FnNamespace, Module};
pub use scope::Scope;
2020-11-20 09:52:28 +01:00
pub use token::Position;
2021-06-16 12:58:48 +02:00
/// An identifier in Rhai. [`SmartString`](https://crates.io/crates/smartstring) is used because most
/// identifiers are ASCII and short, fewer than 23 characters, so they can be stored inline.
#[cfg(not(feature = "internals"))]
#[cfg(not(feature = "no_smartstring"))]
pub(crate) type Identifier = SmartString;
/// An identifier in Rhai.
#[cfg(not(feature = "internals"))]
#[cfg(feature = "no_smartstring")]
pub(crate) type Identifier = ImmutableString;
/// An identifier in Rhai. [`SmartString`](https://crates.io/crates/smartstring) is used because most
/// identifiers are ASCII and short, fewer than 23 characters, so they can be stored inline.
#[cfg(feature = "internals")]
#[cfg(not(feature = "no_smartstring"))]
#[deprecated = "this type is volatile and may change"]
pub type Identifier = SmartString;
/// An identifier in Rhai.
#[cfg(feature = "internals")]
#[cfg(feature = "no_smartstring")]
#[deprecated = "this type is volatile and may change"]
pub type Identifier = ImmutableString;
2021-03-04 07:08:11 +01:00
/// Alias to [`Rc`][std::rc::Rc] or [`Arc`][std::sync::Arc] depending on the `sync` feature flag.
pub use fn_native::Shared;
2020-11-27 16:37:59 +01:00
#[cfg(not(feature = "no_closure"))]
use fn_native::Locked;
2020-11-16 09:28:04 +01:00
2021-06-16 12:36:33 +02:00
pub(crate) use fn_hash::{
2021-06-30 10:28:37 +02:00
calc_fn_hash, calc_fn_params_hash, calc_qualified_fn_hash, calc_qualified_var_hash,
combine_hashes,
2021-06-16 12:36:33 +02:00
};
2020-08-01 18:52:26 +02:00
pub use rhai_codegen::*;
#[cfg(not(feature = "no_function"))]
2020-04-09 04:38:33 +02:00
pub use fn_func::Func;
2021-01-28 09:48:56 +01:00
#[cfg(not(feature = "no_function"))]
pub use fn_args::FuncArgs;
2021-03-07 15:10:54 +01:00
#[cfg(not(feature = "no_function"))]
pub use ast::ScriptFnMetadata;
2020-11-25 02:36:06 +01:00
/// Variable-sized array of [`Dynamic`] values.
2021-01-02 16:30:10 +01:00
/// Not available under `no_index`.
#[cfg(not(feature = "no_index"))]
2021-04-17 09:15:54 +02:00
pub type Array = Vec<Dynamic>;
/// Hash map of [`Dynamic`] values with [`SmartString`](https://crates.io/crates/smartstring) keys.
2021-01-02 16:30:10 +01:00
/// Not available under `no_object`.
2020-03-29 17:53:35 +02:00
#[cfg(not(feature = "no_object"))]
2021-04-17 09:15:54 +02:00
pub type Map = std::collections::BTreeMap<Identifier, Dynamic>;
2020-03-29 17:53:35 +02:00
2020-05-05 09:00:10 +02:00
#[cfg(not(feature = "no_module"))]
2020-05-13 13:21:42 +02:00
pub use module::ModuleResolver;
2020-05-05 17:57:25 +02:00
2020-05-15 15:40:54 +02:00
/// Module containing all built-in _module resolvers_ available to Rhai.
2020-05-05 17:57:25 +02:00
#[cfg(not(feature = "no_module"))]
2021-01-28 09:48:56 +01:00
pub use module::resolvers as module_resolvers;
2020-05-05 09:00:10 +02:00
2020-07-03 11:19:55 +02:00
#[cfg(feature = "serde")]
2021-02-19 08:17:14 +01:00
pub mod serde;
2020-07-03 11:19:55 +02:00
#[cfg(not(feature = "no_optimize"))]
pub use optimize::OptimizationLevel;
2020-06-23 04:43:24 +02:00
2021-03-05 07:18:36 +01:00
#[cfg(feature = "internals")]
#[deprecated = "this type is volatile and may change"]
pub use dynamic::{DynamicReadLock, DynamicWriteLock, Variant};
2021-03-05 07:18:36 +01:00
2021-05-10 05:07:19 +02:00
// Expose internal data structures.
#[cfg(feature = "internals")]
#[deprecated = "this function is volatile and may change"]
pub use token::{get_next_token, parse_string_literal};
2020-06-23 04:43:24 +02:00
// Expose internal data structures.
#[cfg(feature = "internals")]
2020-12-23 08:30:35 +01:00
#[deprecated = "this type is volatile and may change"]
2021-05-10 05:07:19 +02:00
pub use token::{InputStream, Token, TokenizeState, TokenizerControl, TokenizerControlBlock};
2020-06-23 04:43:24 +02:00
#[cfg(feature = "internals")]
2020-12-23 08:30:35 +01:00
#[deprecated = "this type is volatile and may change"]
pub use ast::{
2021-04-20 16:26:08 +02:00
ASTNode, BinaryExpr, CustomExpr, Expr, FloatWrapper, FnCallExpr, FnCallHashes, Ident,
2021-03-17 06:30:47 +01:00
OpAssignment, ReturnType, ScriptFnDef, Stmt, StmtBlock,
};
2020-07-09 13:54:28 +02:00
#[cfg(feature = "internals")]
2020-12-23 08:30:35 +01:00
#[deprecated = "this type is volatile and may change"]
2021-07-04 10:40:15 +02:00
pub use engine::{EvalState, FnResolutionCache, FnResolutionCacheEntry, Imports};
2020-11-27 16:37:59 +01:00
#[cfg(feature = "internals")]
#[cfg(not(feature = "unchecked"))]
2021-07-04 10:40:15 +02:00
#[deprecated = "this type is volatile and may change"]
2020-11-27 16:37:59 +01:00
pub use engine::Limits;
2020-07-22 07:08:51 +02:00
2020-06-23 04:43:24 +02:00
#[cfg(feature = "internals")]
2020-12-23 08:30:35 +01:00
#[deprecated = "this type is volatile and may change"]
2020-11-10 16:26:50 +01:00
pub use module::NamespaceRef;
2020-06-23 04:43:24 +02:00
2021-03-17 06:30:47 +01:00
/// Alias to [`smallvec::SmallVec<[T; 4]>`](https://crates.io/crates/smallvec), which is a
/// specialized [`Vec`] backed by a small, inline, fixed-size array when there are ≤ 4 items stored.
2021-03-17 06:30:47 +01:00
///
/// # History
2021-03-17 06:30:47 +01:00
///
/// And Saint Attila raised the `SmallVec` up on high, saying, "O Lord, bless this Thy `SmallVec`
/// that, with it, Thou mayest blow Thine allocation costs to tiny bits in Thy mercy."
///
/// And the Lord did grin, and the people did feast upon the lambs and sloths and carp and anchovies
/// and orangutans and breakfast cereals and fruit bats and large chu...
///
/// And the Lord spake, saying, "First shalt thou depend on the [`smallvec`](https://crates.io/crates/smallvec) crate.
/// Then, shalt thou keep four inline. No more. No less. Four shalt be the number thou shalt keep inline,
/// and the number to keep inline shalt be four. Five shalt thou not keep inline, nor either keep inline
/// thou two or three, excepting that thou then proceed to four. Six is right out. Once the number four,
/// being the forth number, be reached, then, lobbest thou thy `SmallVec` towards thy heap, who,
/// being slow and cache-naughty in My sight, shall snuff it."
///
/// # Explanation on the Number Four
///
/// `StaticVec` is used frequently to keep small lists of items in inline (non-heap) storage in
/// order to improve cache friendliness and reduce indirections.
///
/// The number 4, other than being the holy number, is carefully chosen for a balance between
/// storage space and reduce allocations. That is because most function calls (and most functions,
/// in that matter) contain fewer than 5 arguments, the exception being closures that capture a
/// large number of external variables.
///
/// In addition, most script blocks either contain many statements, or just a few lines;
2021-03-17 06:30:47 +01:00
/// most scripts load fewer than 5 external modules; most module paths contain fewer than 5 levels
/// (e.g. `std::collections::map::HashMap` is 4 levels, and that's already quite long).
2020-10-10 07:41:55 +02:00
#[cfg(not(feature = "internals"))]
type StaticVec<T> = smallvec::SmallVec<[T; 4]>;
2021-07-25 16:56:05 +02:00
/// _(internals)_ Alias to [`smallvec`](https://crates.io/crates/smallvec), which is a specialized
/// [`Vec`] backed by a small, inline, fixed-size array when there are ≤ 4 items stored.
2020-10-10 07:41:55 +02:00
/// Exported under the `internals` feature only.
2021-03-17 06:30:47 +01:00
///
/// # History
2021-03-17 06:30:47 +01:00
///
/// And Saint Attila raised the `SmallVec` up on high, saying, "O Lord, bless this Thy `SmallVec`
/// that, with it, Thou mayest blow Thine allocation costs to tiny bits in Thy mercy."
///
/// And the Lord did grin, and the people did feast upon the lambs and sloths and carp and anchovies
/// and orangutans and breakfast cereals and fruit bats and large chu...
///
/// And the Lord spake, saying, "First shalt thou depend on the [`smallvec`](https://crates.io/crates/smallvec) crate.
/// Then, shalt thou keep four inline. No more. No less. Four shalt be the number thou shalt keep inline,
/// and the number to keep inline shalt be four. Five shalt thou not keep inline, nor either keep inline
/// thou two or three, excepting that thou then proceed to four. Six is right out. Once the number four,
/// being the forth number, be reached, then, lobbest thou thy `SmallVec` towards thy heap, who,
/// being slow and cache-naughty in My sight, shall snuff it."
///
/// # Explanation on the Number Four
///
/// `StaticVec` is used frequently to keep small lists of items in inline (non-heap) storage in
/// order to improve cache friendliness and reduce indirections.
///
/// The number 4, other than being the holy number, is carefully chosen for a balance between
/// storage space and reduce allocations. That is because most function calls (and most functions,
/// in that matter) contain fewer than 5 arguments, the exception being closures that capture a
/// large number of external variables.
///
/// In addition, most script blocks either contain many statements, or just a few lines;
2021-03-17 06:30:47 +01:00
/// most scripts load fewer than 5 external modules; most module paths contain fewer than 5 levels
/// (e.g. `std::collections::map::HashMap` is 4 levels, and that's already quite long).
2020-06-23 04:43:24 +02:00
#[cfg(feature = "internals")]
2020-10-10 07:41:55 +02:00
pub type StaticVec<T> = smallvec::SmallVec<[T; 4]>;
#[cfg(not(feature = "no_smartstring"))]
pub(crate) type SmartString = smartstring::SmartString<smartstring::Compact>;
#[cfg(feature = "no_smartstring")]
pub(crate) type SmartString = String;
// Compiler guards against mutually-exclusive feature flags
#[cfg(feature = "no_float")]
#[cfg(feature = "f32_float")]
compile_error!("'f32_float' cannot be used with 'no_float'");
#[cfg(feature = "no_std")]
#[cfg(feature = "wasm-bindgen")]
compile_error!("'wasm-bindgen' cannot be used with 'no-std'");
#[cfg(feature = "no_std")]
#[cfg(feature = "stdweb")]
compile_error!("'stdweb' cannot be used with 'no-std'");
#[cfg(any(target_arch = "wasm32", target_arch = "wasm64"))]
#[cfg(feature = "no_std")]
compile_error!("'no_std' cannot be used for WASM target");
#[cfg(not(any(target_arch = "wasm32", target_arch = "wasm64")))]
#[cfg(feature = "wasm-bindgen")]
compile_error!("'wasm-bindgen' should not be used non-WASM target");
#[cfg(not(any(target_arch = "wasm32", target_arch = "wasm64")))]
#[cfg(feature = "stdweb")]
compile_error!("'stdweb' should not be used non-WASM target");