rhai/src/result.rs

333 lines
14 KiB
Rust
Raw Normal View History

2020-03-08 12:54:02 +01:00
//! Module containing error definitions for the evaluation process.
2020-03-04 15:00:01 +01:00
use crate::any::Dynamic;
use crate::error::ParseError;
use crate::parser::INT;
use crate::token::Position;
2020-03-11 04:03:18 +01:00
2020-03-17 19:26:11 +01:00
use crate::stdlib::{
2020-04-24 06:39:24 +02:00
boxed::Box,
2020-03-17 19:26:11 +01:00
error::Error,
fmt,
string::{String, ToString},
};
#[cfg(not(feature = "no_std"))]
2020-03-17 19:26:11 +01:00
use crate::stdlib::path::PathBuf;
2020-03-04 15:00:01 +01:00
/// Evaluation result.
///
/// All wrapped `Position` values represent the location in the script where the error occurs.
///
/// Currently, `EvalAltResult` is neither `Send` nor `Sync`. Turn on the `sync` feature to make it `Send + Sync`.
2020-03-04 15:00:01 +01:00
#[derive(Debug)]
pub enum EvalAltResult {
/// Syntax error.
ErrorParsing(Box<ParseError>),
2020-03-30 16:19:37 +02:00
/// Error reading from a script file. Wrapped value is the path of the script file.
2020-04-03 13:42:01 +02:00
///
2020-04-10 06:16:39 +02:00
/// Never appears under the `no_std` feature.
2020-03-30 16:19:37 +02:00
#[cfg(not(feature = "no_std"))]
ErrorReadingScriptFile(PathBuf, std::io::Error),
2020-03-04 15:00:01 +01:00
/// Call to an unknown function. Wrapped value is the name of the function.
ErrorFunctionNotFound(String, Position),
/// Function call has incorrect number of arguments.
/// Wrapped values are the name of the function, the number of parameters required
/// and the actual number of arguments passed.
ErrorFunctionArgsMismatch(String, usize, usize, Position),
/// Non-boolean operand encountered for boolean operator. Wrapped value is the operator.
ErrorBooleanArgMismatch(String, Position),
/// Non-character value encountered where a character is required.
ErrorCharMismatch(Position),
2020-03-04 15:00:01 +01:00
/// Array access out-of-bounds.
/// Wrapped values are the current number of elements in the array and the index number.
ErrorArrayBounds(usize, INT, Position),
2020-03-04 15:00:01 +01:00
/// String indexing out-of-bounds.
/// Wrapped values are the current number of characters in the string and the index number.
ErrorStringBounds(usize, INT, Position),
2020-05-05 14:38:48 +02:00
/// Trying to index into a type that is not an array, an object map, or a string, and has no indexer function defined.
ErrorIndexingType(String, Position),
2020-03-04 15:00:01 +01:00
/// Trying to index into an array or string with an index that is not `i64`.
2020-03-29 17:53:35 +02:00
ErrorNumericIndexExpr(Position),
/// Trying to index into a map with an index that is not `String`.
ErrorStringIndexExpr(Position),
2020-05-04 13:36:58 +02:00
/// Trying to import with an expression that is not `String`.
ErrorImportExpr(Position),
2020-04-06 11:47:34 +02:00
/// Invalid arguments for `in` operator.
ErrorInExpr(Position),
/// The guard expression in an `if` or `while` statement does not return a boolean value.
ErrorLogicGuard(Position),
2020-03-04 15:00:01 +01:00
/// The `for` statement encounters a type that is not an iterator.
ErrorFor(Position),
/// Usage of an unknown variable. Wrapped value is the name of the variable.
ErrorVariableNotFound(String, Position),
2020-05-04 13:36:58 +02:00
/// Usage of an unknown module. Wrapped value is the name of the module.
ErrorModuleNotFound(String, Position),
2020-03-04 15:00:01 +01:00
/// Assignment to an inappropriate LHS (left-hand-side) expression.
ErrorAssignmentToUnknownLHS(Position),
2020-03-13 11:12:41 +01:00
/// Assignment to a constant variable.
ErrorAssignmentToConstant(String, Position),
2020-03-04 15:00:01 +01:00
/// Returned type is not the same as the required output type.
/// Wrapped value is the type of the actual result.
ErrorMismatchOutputType(String, Position),
/// Inappropriate member access.
ErrorDotExpr(String, Position),
2020-03-04 15:00:01 +01:00
/// Arithmetic error encountered. Wrapped value is the error message.
ErrorArithmetic(String, Position),
2020-03-27 07:34:01 +01:00
/// Call stack over maximum limit.
ErrorStackOverflow(Position),
2020-03-04 15:00:01 +01:00
/// Run-time error encountered. Wrapped value is the error message.
ErrorRuntime(String, Position),
2020-03-30 16:19:37 +02:00
2020-03-17 10:33:37 +01:00
/// Breaking out of loops - not an error if within a loop.
2020-04-01 10:22:18 +02:00
/// The wrapped value, if true, means breaking clean out of the loop (i.e. a `break` statement).
/// The wrapped value, if false, means breaking the current context (i.e. a `continue` statement).
ErrorLoopBreak(bool, Position),
2020-03-04 15:00:01 +01:00
/// Not an error: Value returned from a script via the `return` keyword.
/// Wrapped value is the result value.
Return(Dynamic, Position),
}
2020-03-14 16:39:45 +01:00
impl EvalAltResult {
pub(crate) fn desc(&self) -> &str {
2020-03-04 15:00:01 +01:00
match self {
2020-03-30 16:19:37 +02:00
#[cfg(not(feature = "no_std"))]
Self::ErrorReadingScriptFile(_, _) => "Cannot read from script file",
2020-03-14 16:39:45 +01:00
Self::ErrorParsing(p) => p.desc(),
2020-03-04 15:00:01 +01:00
Self::ErrorFunctionNotFound(_, _) => "Function not found",
Self::ErrorFunctionArgsMismatch(_, _, _, _) => {
"Function call with wrong number of arguments"
}
Self::ErrorBooleanArgMismatch(_, _) => "Boolean operator expects boolean operands",
Self::ErrorCharMismatch(_) => "Character expected",
2020-03-29 17:53:35 +02:00
Self::ErrorNumericIndexExpr(_) => {
"Indexing into an array or string expects an integer index"
}
Self::ErrorStringIndexExpr(_) => "Indexing into an object map expects a string index",
Self::ErrorIndexingType(_, _) => {
2020-05-05 14:38:48 +02:00
"Indexing can only be performed on an array, an object map, a string, or a type with an indexer function defined"
}
2020-05-04 13:36:58 +02:00
Self::ErrorImportExpr(_) => "Importing a module expects a string path",
2020-03-04 15:00:01 +01:00
Self::ErrorArrayBounds(_, index, _) if *index < 0 => {
"Array access expects non-negative index"
}
Self::ErrorArrayBounds(0, _, _) => "Empty array has nothing to access",
2020-03-04 15:00:01 +01:00
Self::ErrorArrayBounds(_, _, _) => "Array index out of bounds",
Self::ErrorStringBounds(_, index, _) if *index < 0 => {
"Indexing a string expects a non-negative index"
}
Self::ErrorStringBounds(0, _, _) => "Empty string has nothing to index",
2020-03-04 15:00:01 +01:00
Self::ErrorStringBounds(_, _, _) => "String index out of bounds",
Self::ErrorLogicGuard(_) => "Boolean value expected",
Self::ErrorFor(_) => "For loop expects an array, object map, or range",
2020-03-04 15:00:01 +01:00
Self::ErrorVariableNotFound(_, _) => "Variable not found",
2020-05-04 13:36:58 +02:00
Self::ErrorModuleNotFound(_, _) => "module not found",
2020-03-04 15:00:01 +01:00
Self::ErrorAssignmentToUnknownLHS(_) => {
"Assignment to an unsupported left-hand side expression"
}
2020-03-13 11:12:41 +01:00
Self::ErrorAssignmentToConstant(_, _) => "Assignment to a constant variable",
2020-03-04 15:00:01 +01:00
Self::ErrorMismatchOutputType(_, _) => "Output type is incorrect",
2020-04-06 11:47:34 +02:00
Self::ErrorInExpr(_) => "Malformed 'in' expression",
Self::ErrorDotExpr(_, _) => "Malformed dot expression",
2020-03-04 15:00:01 +01:00
Self::ErrorArithmetic(_, _) => "Arithmetic error",
2020-03-27 07:34:01 +01:00
Self::ErrorStackOverflow(_) => "Stack overflow",
2020-03-04 15:00:01 +01:00
Self::ErrorRuntime(_, _) => "Runtime error",
2020-04-01 10:22:18 +02:00
Self::ErrorLoopBreak(true, _) => "Break statement not inside a loop",
Self::ErrorLoopBreak(false, _) => "Continue statement not inside a loop",
2020-03-04 15:00:01 +01:00
Self::Return(_, _) => "[Not Error] Function returns value",
}
}
}
2020-03-14 16:39:45 +01:00
impl Error for EvalAltResult {}
2020-03-08 12:54:02 +01:00
impl fmt::Display for EvalAltResult {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
2020-03-14 16:39:45 +01:00
let desc = self.desc();
2020-03-04 15:00:01 +01:00
match self {
2020-03-30 16:19:37 +02:00
#[cfg(not(feature = "no_std"))]
Self::ErrorReadingScriptFile(path, err) => {
write!(f, "{} '{}': {}", desc, path.display(), err)
}
Self::ErrorParsing(p) => write!(f, "Syntax error: {}", p),
2020-05-04 11:43:54 +02:00
Self::ErrorFunctionNotFound(s, pos)
| Self::ErrorVariableNotFound(s, pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorModuleNotFound(s, pos) => write!(f, "{}: '{}' ({})", desc, s, pos),
2020-05-04 11:43:54 +02:00
2020-03-29 17:53:35 +02:00
Self::ErrorDotExpr(s, pos) if !s.is_empty() => write!(f, "{} {} ({})", desc, s, pos),
Self::ErrorIndexingType(_, pos)
| Self::ErrorNumericIndexExpr(pos)
| Self::ErrorStringIndexExpr(pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorImportExpr(pos)
2020-03-29 17:53:35 +02:00
| Self::ErrorLogicGuard(pos)
| Self::ErrorFor(pos)
| Self::ErrorAssignmentToUnknownLHS(pos)
2020-04-06 11:47:34 +02:00
| Self::ErrorInExpr(pos)
2020-03-29 17:53:35 +02:00
| Self::ErrorDotExpr(_, pos)
| Self::ErrorStackOverflow(pos) => write!(f, "{} ({})", desc, pos),
Self::ErrorRuntime(s, pos) => {
write!(f, "{} ({})", if s.is_empty() { desc } else { s }, pos)
}
2020-03-30 16:19:37 +02:00
Self::ErrorAssignmentToConstant(s, pos) => write!(f, "{}: '{}' ({})", desc, s, pos),
Self::ErrorMismatchOutputType(s, pos) => write!(f, "{}: {} ({})", desc, s, pos),
2020-03-29 17:53:35 +02:00
Self::ErrorArithmetic(s, pos) => write!(f, "{} ({})", s, pos),
2020-03-30 16:19:37 +02:00
2020-04-01 10:22:18 +02:00
Self::ErrorLoopBreak(_, pos) => write!(f, "{} ({})", desc, pos),
2020-03-04 15:00:01 +01:00
Self::Return(_, pos) => write!(f, "{} ({})", desc, pos),
2020-03-30 16:19:37 +02:00
Self::ErrorFunctionArgsMismatch(fn_name, 0, n, pos) => write!(
2020-03-11 04:03:18 +01:00
f,
"Function '{}' expects no argument but {} found ({})",
2020-03-30 16:19:37 +02:00
fn_name, n, pos
2020-03-11 04:03:18 +01:00
),
2020-03-30 16:19:37 +02:00
Self::ErrorFunctionArgsMismatch(fn_name, 1, n, pos) => write!(
2020-03-11 04:03:18 +01:00
f,
"Function '{}' expects one argument but {} found ({})",
2020-03-30 16:19:37 +02:00
fn_name, n, pos
2020-03-11 04:03:18 +01:00
),
2020-03-30 16:19:37 +02:00
Self::ErrorFunctionArgsMismatch(fn_name, need, n, pos) => write!(
2020-03-04 15:00:01 +01:00
f,
"Function '{}' expects {} argument(s) but {} found ({})",
2020-03-30 16:19:37 +02:00
fn_name, need, n, pos
2020-03-04 15:00:01 +01:00
),
Self::ErrorBooleanArgMismatch(op, pos) => {
write!(f, "{} operator expects boolean operands ({})", op, pos)
}
Self::ErrorCharMismatch(pos) => {
write!(f, "string indexing expects a character value ({})", pos)
}
2020-03-04 15:00:01 +01:00
Self::ErrorArrayBounds(_, index, pos) if *index < 0 => {
write!(f, "{}: {} < 0 ({})", desc, index, pos)
}
2020-03-11 04:03:18 +01:00
Self::ErrorArrayBounds(0, _, pos) => write!(f, "{} ({})", desc, pos),
Self::ErrorArrayBounds(1, index, pos) => write!(
f,
"Array index {} is out of bounds: only one element in the array ({})",
index, pos
),
2020-03-05 13:28:03 +01:00
Self::ErrorArrayBounds(max, index, pos) => write!(
f,
2020-03-11 04:03:18 +01:00
"Array index {} is out of bounds: only {} elements in the array ({})",
index, max, pos
2020-03-05 13:28:03 +01:00
),
2020-03-04 15:00:01 +01:00
Self::ErrorStringBounds(_, index, pos) if *index < 0 => {
write!(f, "{}: {} < 0 ({})", desc, index, pos)
}
2020-03-11 04:03:18 +01:00
Self::ErrorStringBounds(0, _, pos) => write!(f, "{} ({})", desc, pos),
Self::ErrorStringBounds(1, index, pos) => write!(
f,
"String index {} is out of bounds: only one character in the string ({})",
index, pos
),
2020-03-05 13:28:03 +01:00
Self::ErrorStringBounds(max, index, pos) => write!(
f,
2020-03-11 04:03:18 +01:00
"String index {} is out of bounds: only {} characters in the string ({})",
index, max, pos
2020-03-05 13:28:03 +01:00
),
2020-03-04 15:00:01 +01:00
}
}
}
impl From<ParseError> for Box<EvalAltResult> {
2020-03-04 15:00:01 +01:00
fn from(err: ParseError) -> Self {
Box::new(EvalAltResult::ErrorParsing(Box::new(err)))
}
}
impl From<Box<ParseError>> for Box<EvalAltResult> {
fn from(err: Box<ParseError>) -> Self {
Box::new(EvalAltResult::ErrorParsing(err))
2020-03-04 15:00:01 +01:00
}
}
impl<T: AsRef<str>> From<T> for Box<EvalAltResult> {
fn from(err: T) -> Self {
Box::new(EvalAltResult::ErrorRuntime(
err.as_ref().to_string(),
Position::none(),
))
}
}
impl EvalAltResult {
pub fn position(&self) -> Position {
match self {
#[cfg(not(feature = "no_std"))]
2020-03-17 19:26:11 +01:00
Self::ErrorReadingScriptFile(_, _) => Position::none(),
Self::ErrorParsing(err) => err.position(),
Self::ErrorFunctionNotFound(_, pos)
| Self::ErrorFunctionArgsMismatch(_, _, _, pos)
| Self::ErrorBooleanArgMismatch(_, pos)
| Self::ErrorCharMismatch(pos)
| Self::ErrorArrayBounds(_, _, pos)
| Self::ErrorStringBounds(_, _, pos)
| Self::ErrorIndexingType(_, pos)
2020-03-29 17:53:35 +02:00
| Self::ErrorNumericIndexExpr(pos)
| Self::ErrorStringIndexExpr(pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorImportExpr(pos)
| Self::ErrorLogicGuard(pos)
| Self::ErrorFor(pos)
| Self::ErrorVariableNotFound(_, pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorModuleNotFound(_, pos)
| Self::ErrorAssignmentToUnknownLHS(pos)
2020-03-13 11:12:41 +01:00
| Self::ErrorAssignmentToConstant(_, pos)
| Self::ErrorMismatchOutputType(_, pos)
2020-04-06 11:47:34 +02:00
| Self::ErrorInExpr(pos)
| Self::ErrorDotExpr(_, pos)
| Self::ErrorArithmetic(_, pos)
2020-03-27 07:34:01 +01:00
| Self::ErrorStackOverflow(pos)
| Self::ErrorRuntime(_, pos)
2020-04-01 10:22:18 +02:00
| Self::ErrorLoopBreak(_, pos)
| Self::Return(_, pos) => *pos,
}
}
/// Consume the current `EvalAltResult` and return a new one
/// with the specified `Position`.
2020-04-24 06:39:24 +02:00
pub(crate) fn set_position(mut err: Box<Self>, new_position: Position) -> Box<Self> {
match err.as_mut() {
#[cfg(not(feature = "no_std"))]
2020-03-17 19:26:11 +01:00
Self::ErrorReadingScriptFile(_, _) => (),
Self::ErrorParsing(err) => err.1 = new_position,
Self::ErrorFunctionNotFound(_, pos)
2020-04-05 06:37:07 +02:00
| Self::ErrorFunctionArgsMismatch(_, _, _, pos)
| Self::ErrorBooleanArgMismatch(_, pos)
| Self::ErrorCharMismatch(pos)
| Self::ErrorArrayBounds(_, _, pos)
| Self::ErrorStringBounds(_, _, pos)
| Self::ErrorIndexingType(_, pos)
| Self::ErrorNumericIndexExpr(pos)
| Self::ErrorStringIndexExpr(pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorImportExpr(pos)
2020-04-05 06:37:07 +02:00
| Self::ErrorLogicGuard(pos)
| Self::ErrorFor(pos)
| Self::ErrorVariableNotFound(_, pos)
2020-05-04 13:36:58 +02:00
| Self::ErrorModuleNotFound(_, pos)
2020-04-05 06:37:07 +02:00
| Self::ErrorAssignmentToUnknownLHS(pos)
| Self::ErrorAssignmentToConstant(_, pos)
| Self::ErrorMismatchOutputType(_, pos)
2020-04-06 11:47:34 +02:00
| Self::ErrorInExpr(pos)
2020-04-05 06:37:07 +02:00
| Self::ErrorDotExpr(_, pos)
| Self::ErrorArithmetic(_, pos)
| Self::ErrorStackOverflow(pos)
| Self::ErrorRuntime(_, pos)
| Self::ErrorLoopBreak(_, pos)
| Self::Return(_, pos) => *pos = new_position,
}
2020-04-24 06:39:24 +02:00
err
}
}