Enum RuntimeError 

pub enum RuntimeError {
    ArithmeticError(RuntimeErrorStruct),
    NewAtomicFactError(RuntimeErrorStruct),
    StoreFactError(RuntimeErrorStruct),
    ParseError(RuntimeErrorStruct),
    ExecStmtError(RuntimeErrorStruct),
    WellDefinedError(RuntimeErrorStruct),
    VerifyError(RuntimeErrorStruct),
    UnknownError(RuntimeErrorStruct),
    InferError(RuntimeErrorStruct),
    NameAlreadyUsedError(RuntimeErrorStruct),
    DefineParamsError(RuntimeErrorStruct),
    InstantiateError(RuntimeErrorStruct),
}

Variants

ArithmeticError(RuntimeErrorStruct)

NewAtomicFactError(RuntimeErrorStruct)

StoreFactError(RuntimeErrorStruct)

ParseError(RuntimeErrorStruct)

ExecStmtError(RuntimeErrorStruct)

WellDefinedError(RuntimeErrorStruct)

VerifyError(RuntimeErrorStruct)

UnknownError(RuntimeErrorStruct)

InferError(RuntimeErrorStruct)

NameAlreadyUsedError(RuntimeErrorStruct)

DefineParamsError(RuntimeErrorStruct)

InstantiateError(RuntimeErrorStruct)

Implementations

impl RuntimeError

pub fn into_struct(self) -> RuntimeErrorStruct

pub fn line_file(&self) -> LineFile

pub fn display_label(&self) -> &'static str

pub fn message_text_for_duplicate_used_name_without_line_file( name: &str, ) -> String

pub fn new_infer_error_with_msg_position_previous_error( msg: String, line_file: LineFile, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_define_params_error_with_msg_previous_error_position( msg: String, previous_error: Option<RuntimeError>, line_file: LineFile, ) -> Self

pub fn new_parse_error_with_msg_position_previous_error( msg: String, line_file: LineFile, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_parse_error_for_block_unexpected_indent_at_line_file( line_file: LineFile, ) -> Self

pub fn new_parse_error_for_block_expected_indent_at_line_file( line_file: LineFile, ) -> Self

pub fn new_parse_error_for_block_missing_body_at_line_file( line_file: LineFile, ) -> Self

pub fn new_parse_error_for_block_inconsistent_indent_at_line_file( line_file: LineFile, ) -> Self

pub fn new_verify_error_with_fact_msg_position_previous_error( fact: Fact, msg: String, line_file: LineFile, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_verify_error_with_msg_position_previous_error( msg: String, line_file: LineFile, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_unknown_error_with_msg_position_optional_fact_previous_error( msg: String, line_file: LineFile, fact: Option<Fact>, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_verify_result_unknown_with_fact_previous_error( fact: Fact, msg: String, previous_error: Option<RuntimeError>, ) -> Self

pub fn new_well_defined_error_with_msg_previous_error_position( msg: String, previous_error: Option<RuntimeError>, line_file: LineFile, ) -> Self

pub fn new_well_defined_error_wrapping_verify_runtime_error( e: RuntimeError, ) -> RuntimeError

Trait Implementations

impl Debug for RuntimeError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for RuntimeError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for RuntimeError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<ArithmeticRuntimeError> for RuntimeError

fn from(w: ArithmeticRuntimeError) -> Self

Converts to this type from the input type.

impl From<DefineParamsRuntimeError> for RuntimeError

fn from(w: DefineParamsRuntimeError) -> Self

Converts to this type from the input type.

impl From<InferRuntimeError> for RuntimeError

fn from(w: InferRuntimeError) -> Self

Converts to this type from the input type.

impl From<InstantiateRuntimeError> for RuntimeError

fn from(w: InstantiateRuntimeError) -> Self

Converts to this type from the input type.

impl From<NameAlreadyUsedRuntimeError> for RuntimeError

fn from(w: NameAlreadyUsedRuntimeError) -> Self

Converts to this type from the input type.

impl From<NewAtomicFactRuntimeError> for RuntimeError

fn from(w: NewAtomicFactRuntimeError) -> Self

Converts to this type from the input type.

impl From<ParseRuntimeError> for RuntimeError

fn from(w: ParseRuntimeError) -> Self

Converts to this type from the input type.

impl From<RuntimeErrorStruct> for RuntimeError

fn from(runtime_error_struct: RuntimeErrorStruct) -> Self

Converts to this type from the input type.

impl From<StoreFactRuntimeError> for RuntimeError

fn from(w: StoreFactRuntimeError) -> Self

Converts to this type from the input type.

impl From<UnknownRuntimeError> for RuntimeError

fn from(w: UnknownRuntimeError) -> Self

Converts to this type from the input type.

impl From<VerifyRuntimeError> for RuntimeError

fn from(w: VerifyRuntimeError) -> Self

Converts to this type from the input type.

impl From<WellDefinedRuntimeError> for RuntimeError

fn from(w: WellDefinedRuntimeError) -> Self

Converts to this type from the input type.