feat(defs): nested modules, single file

This commit is contained in:
tamasfe 2022-07-27 23:39:03 +02:00
parent b6ddd276f0
commit 9fac93d404
No known key found for this signature in database
GPG Key ID: 2373047D27CA4E47
5 changed files with 6421 additions and 38 deletions

File diff suppressed because it is too large Load Diff

View File

@ -32,10 +32,17 @@ fn main() -> Result<(), Box<EvalAltResult>> {
"hello_there = general_kenobi::hello_there(4 minus 2);", "hello_there = general_kenobi::hello_there(4 minus 2);",
)?; )?;
// Generate definitions for the contents of the engine and the scope.
engine engine
.definitions_with_scope(&scope) .definitions_with_scope(&scope)
.write_to_dir("examples/definitions/.rhai/definitions") .write_to_dir("examples/definitions/.rhai/definitions")
.unwrap(); .unwrap();
// Alternatively we can write all of the above to a single file.
engine
.definitions_with_scope(&scope)
.write_to_file("examples/definitions/.rhai/all_in_one.d.rhai")
.unwrap();
Ok(()) Ok(())
} }

View File

@ -1,5 +1,3 @@
module static;
/// Display any data to the standard output. /// Display any data to the standard output.
/// ///
/// # Example /// # Example

View File

@ -1,5 +1,3 @@
module static;
op ==(int, int) -> bool; op ==(int, int) -> bool;
op !=(int, int) -> bool; op !=(int, int) -> bool;
op >(int, int) -> bool; op >(int, int) -> bool;

View File

@ -5,6 +5,7 @@ use crate::module::FuncInfo;
use crate::plugin::*; use crate::plugin::*;
use crate::tokenizer::is_valid_function_name; use crate::tokenizer::is_valid_function_name;
use crate::{Engine, Module, Scope, INT}; use crate::{Engine, Module, Scope, INT};
use core::fmt::Write;
#[cfg(feature = "no_std")] #[cfg(feature = "no_std")]
use std::prelude::v1::*; use std::prelude::v1::*;
@ -32,6 +33,7 @@ impl Engine {
Definitions { Definitions {
engine: self, engine: self,
scope: None, scope: None,
config: DefinitionsConfig::default(),
} }
} }
@ -57,24 +59,39 @@ impl Engine {
Definitions { Definitions {
engine: self, engine: self,
scope: Some(scope), scope: Some(scope),
config: DefinitionsConfig::default(),
} }
} }
} }
/// Definitions helper type to generate definition files based on the contents of an [`Engine`]. /// Definitions helper type to generate definition files based on the contents of an [`Engine`].
#[derive(Debug, Clone)]
#[must_use] #[must_use]
pub struct Definitions<'e> { pub struct Definitions<'e> {
/// The [`Engine`]. /// The [`Engine`].
engine: &'e Engine, engine: &'e Engine,
/// Optional [`Scope`] to include. /// Optional [`Scope`] to include.
scope: Option<&'e Scope<'e>>, scope: Option<&'e Scope<'e>>,
config: DefinitionsConfig,
}
impl<'e> Definitions<'e> {
/// Whether to write `module ...` headers in separate definitions,
/// `false` by default.
///
/// Headers are always present in content
/// that is expected to be written to a file (`write_to*` and `*_file` methods).
pub fn with_headers(mut self, headers: bool) -> Self {
self.config.write_headers = headers;
self
}
} }
impl<'e> Definitions<'e> { impl<'e> Definitions<'e> {
/// Output all definition files returned from [`iter_files`][Definitions::iter_files] to a /// Output all definition files returned from [`iter_files`][Definitions::iter_files] to a
/// specified directory. /// specified directory.
/// ///
/// This function creates the directory if it does not exist, and overrides any existing files. /// This function creates the directories and overrides any existing files if needed.
#[cfg(all(not(feature = "no_std"), not(target_family = "wasm")))] #[cfg(all(not(feature = "no_std"), not(target_family = "wasm")))]
pub fn write_to_dir(&self, path: impl AsRef<std::path::Path>) -> std::io::Result<()> { pub fn write_to_dir(&self, path: impl AsRef<std::path::Path>) -> std::io::Result<()> {
use std::fs; use std::fs;
@ -83,54 +100,84 @@ impl<'e> Definitions<'e> {
fs::create_dir_all(path)?; fs::create_dir_all(path)?;
fs::write( for (file_name, content) in self.iter_files() {
path.join("__builtin__.d.rhai"), fs::write(path.join(file_name), content)?;
include_bytes!("builtin.d.rhai"),
)?;
fs::write(
path.join("__builtin-operators__.d.rhai"),
include_bytes!("builtin-operators.d.rhai"),
)?;
fs::write(path.join("__static__.d.rhai"), self.static_module())?;
if self.scope.is_some() {
fs::write(path.join("__scope__.d.rhai"), self.scope())?;
}
#[cfg(not(feature = "no_module"))]
for (name, decl) in self.modules() {
fs::write(path.join(format!("{name}.d.rhai")), decl)?;
} }
Ok(()) Ok(())
} }
/// Output all definitions merged into a single file.
///
/// The directory must exist but the file will be created or overwritten as needed.
#[cfg(all(not(feature = "no_std"), not(target_family = "wasm")))]
pub fn write_to_file(&self, path: impl AsRef<std::path::Path>) -> std::io::Result<()> {
std::fs::write(path, self.single_file())
}
/// Return all definitions merged into a single file.
pub fn single_file(&self) -> String {
let config = DefinitionsConfig {
write_headers: false,
..self.config
};
let mut def_file = String::from("module static;\n\n");
def_file += &self.builtin_functions_operators_impl(&config);
def_file += "\n";
def_file += &self.builtin_functions_impl(&config);
def_file += "\n";
def_file += &self.static_module_impl(&config);
def_file += "\n";
for (module_name, module_def) in self.modules_impl(&config) {
write!(
&mut def_file,
"module {module_name} {{\n\n{module_def}\n}}\n"
)
.unwrap();
}
def_file += "\n";
def_file += &self.scope_impl(&config);
def_file
}
/// Iterate over generated definition files. /// Iterate over generated definition files.
/// ///
/// The returned iterator yields all definition files as (filename, content) pairs. /// The returned iterator yields all definition files as (filename, content) pairs.
#[inline] #[inline]
pub fn iter_files(&self) -> impl Iterator<Item = (String, String)> + '_ { pub fn iter_files(&self) -> impl Iterator<Item = (String, String)> + '_ {
let config = DefinitionsConfig {
write_headers: true,
..self.config
};
IntoIterator::into_iter([ IntoIterator::into_iter([
( (
"__builtin__.d.rhai".to_string(), "__builtin__.d.rhai".to_string(),
include_str!("builtin.d.rhai").to_string(), self.builtin_functions_impl(&config),
), ),
( (
"__builtin-operators__.d.rhai".to_string(), "__builtin-operators__.d.rhai".to_string(),
include_str!("builtin-operators.d.rhai").to_string(), self.builtin_functions_operators_impl(&config),
),
(
"__static__.d.rhai".to_string(),
self.static_module_impl(&config),
), ),
("__static__.d.rhai".to_string(), self.static_module()),
]) ])
.chain( .chain(
self.scope self.scope
.iter() .iter()
.map(move |_| ("__scope__.d.rhai".to_string(), self.scope())), .map(move |_| ("__scope__.d.rhai".to_string(), self.scope_impl(&config))),
) )
.chain( .chain(
#[cfg(not(feature = "no_module"))] #[cfg(not(feature = "no_module"))]
{ {
self.modules() self.modules_impl(&config)
.map(|(name, def)| (format!("{name}.d.rhai"), def)) .map(|(name, def)| (format!("{name}.d.rhai"), def))
}, },
#[cfg(feature = "no_module")] #[cfg(feature = "no_module")]
@ -140,12 +187,51 @@ impl<'e> Definitions<'e> {
) )
} }
/// Return definitions for all globally available functions. /// Return definitions for all builtin functions.
/// #[must_use]
/// Always starts with `module static;`. pub fn builtin_functions(&self) -> String {
self.builtin_functions_impl(&self.config)
}
fn builtin_functions_impl(&self, config: &DefinitionsConfig) -> String {
let def = include_str!("builtin-functions.d.rhai");
if config.write_headers {
format!("module static;\n\n{def}")
} else {
def.to_string()
}
}
/// Return definitions for all builtin operators.
#[must_use]
pub fn builtin_functions_operators(&self) -> String {
self.builtin_functions_operators_impl(&self.config)
}
fn builtin_functions_operators_impl(&self, config: &DefinitionsConfig) -> String {
let def = include_str!("builtin-operators.d.rhai");
if config.write_headers {
format!("module static;\n\n{def}")
} else {
def.to_string()
}
}
/// Return definitions for all globally available functions
/// and constants.
#[must_use] #[must_use]
pub fn static_module(&self) -> String { pub fn static_module(&self) -> String {
let mut s = String::from("module static;\n\n"); self.static_module_impl(&self.config)
}
fn static_module_impl(&self, config: &DefinitionsConfig) -> String {
let mut s = if config.write_headers {
String::from("module static;\n\n")
} else {
String::new()
};
let mut first = true; let mut first = true;
for m in &self.engine.global_modules { for m in &self.engine.global_modules {
@ -160,11 +246,17 @@ impl<'e> Definitions<'e> {
} }
/// Return definitions for all items inside the [`Scope`], if any. /// Return definitions for all items inside the [`Scope`], if any.
///
/// Always starts with `module static;` even if the [`Scope`] is empty or none was provided.
#[must_use] #[must_use]
pub fn scope(&self) -> String { pub fn scope(&self) -> String {
let mut s = String::from("module static;\n\n"); self.scope_impl(&self.config)
}
fn scope_impl(&self, config: &DefinitionsConfig) -> String {
let mut s = if config.write_headers {
String::from("module static;\n\n")
} else {
String::new()
};
if let Some(scope) = self.scope { if let Some(scope) = self.scope {
scope.write_definition(&mut s).unwrap(); scope.write_definition(&mut s).unwrap();
@ -176,10 +268,16 @@ impl<'e> Definitions<'e> {
/// Return a (module name, definitions) pair for each registered static [module][Module]. /// Return a (module name, definitions) pair for each registered static [module][Module].
/// ///
/// Not available under `no_module`. /// Not available under `no_module`.
///
/// Always starts with `module <module name>;`.
#[cfg(not(feature = "no_module"))] #[cfg(not(feature = "no_module"))]
pub fn modules(&self) -> impl Iterator<Item = (String, String)> + '_ { pub fn modules(&self) -> impl Iterator<Item = (String, String)> + '_ {
self.modules_impl(&self.config)
}
#[cfg(not(feature = "no_module"))]
fn modules_impl(
&self,
config: &DefinitionsConfig,
) -> impl Iterator<Item = (String, String)> + '_ {
let mut m = self let mut m = self
.engine .engine
.global_sub_modules .global_sub_modules
@ -187,7 +285,11 @@ impl<'e> Definitions<'e> {
.map(move |(name, module)| { .map(move |(name, module)| {
( (
name.to_string(), name.to_string(),
format!("module {name};\n\n{}", module.definition(self)), if config.write_headers {
format!("module {name};\n\n{}", module.definition(self))
} else {
module.definition(self)
},
) )
}) })
.collect::<Vec<_>>(); .collect::<Vec<_>>();
@ -198,6 +300,14 @@ impl<'e> Definitions<'e> {
} }
} }
/// Internal configuration for module generation.
#[derive(Debug, Default, Clone, Copy)]
#[non_exhaustive]
struct DefinitionsConfig {
/// Whether to write `module ...` headers.
write_headers: bool,
}
impl Module { impl Module {
/// Return definitions for all items inside the [`Module`]. /// Return definitions for all items inside the [`Module`].
fn definition(&self, def: &Definitions) -> String { fn definition(&self, def: &Definitions) -> String {
@ -210,6 +320,20 @@ impl Module {
fn write_definition(&self, writer: &mut dyn fmt::Write, def: &Definitions) -> fmt::Result { fn write_definition(&self, writer: &mut dyn fmt::Write, def: &Definitions) -> fmt::Result {
let mut first = true; let mut first = true;
let mut submodules = self.iter_sub_modules().collect::<Vec<_>>();
submodules.sort_by(|(a, _), (b, _)| a.cmp(b));
for (submodule_name, submodule) in submodules {
if !first {
writer.write_str("\n\n")?;
}
first = false;
writeln!(writer, "module {submodule_name} {{")?;
submodule.write_definition(writer, def)?;
writer.write_str("}")?;
}
let mut vars = self.iter_var().collect::<Vec<_>>(); let mut vars = self.iter_var().collect::<Vec<_>>();
vars.sort_by(|(a, _), (b, _)| a.cmp(b)); vars.sort_by(|(a, _), (b, _)| a.cmp(b));