Aleph::Interpreter_Execution_Result Struct Reference

Result of evaluating one expression, statement, module, or call. More...

#include <Interpreter_Runtime.H>

Collaboration diagram for Aleph::Interpreter_Execution_Result:

Public Member Functions
bool	ok () const noexcept
	Returns whether this result represents a runtime failure.
bool	has_control_flow () const noexcept
	Returns whether this result carries non-local control flow.

Public Attributes
Interpreter_Control_Flow_Kind	flow = Interpreter_Control_Flow_Kind::None
	Control-flow outcome.
Interpreter_Value	value = Interpreter_Value::make_unit()
	Produced runtime value when relevant.
Interpreter_Runtime_Error	error
	Structured runtime failure when flow == Runtime_Error.

Detailed Description

Result of evaluating one expression, statement, module, or call.

Definition at line 705 of file Interpreter_Runtime.H.

Member Function Documentation

has_control_flow()

bool Aleph::Interpreter_Execution_Result::has_control_flow ( ) const

inlinenoexcept

Returns whether this result carries non-local control flow.

Definition at line 720 of file Interpreter_Runtime.H.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Break, Aleph::Continue, flow, and Aleph::Return.

ok()

bool Aleph::Interpreter_Execution_Result::ok ( ) const

inlinenoexcept

Returns whether this result represents a runtime failure.

Definition at line 714 of file Interpreter_Runtime.H.

References flow, and Aleph::Runtime_Error.

Referenced by Aleph::Compiler_Driver::append_run_failure_if_needed(), Aleph::Compiler_Generic_Driver::append_run_failure_if_needed(), Aleph::Compiler_Driver::execute_hir_runtime(), Aleph::Compiler_Generic_Driver::execute_hir_runtime(), and Aleph::Compiler_Driver_Run_Output::ok().

Member Data Documentation

error

Interpreter_Runtime_Error Aleph::Interpreter_Execution_Result::error

Structured runtime failure when flow == Runtime_Error.

Definition at line 711 of file Interpreter_Runtime.H.

Referenced by Aleph::Compiler_Driver::append_run_failure_if_needed(), Aleph::Compiler_Generic_Driver::append_run_failure_if_needed(), and Aleph::Interpreter_Runtime::runtime_error().

flow

Interpreter_Control_Flow_Kind Aleph::Interpreter_Execution_Result::flow = Interpreter_Control_Flow_Kind::None

Control-flow outcome.

Definition at line 707 of file Interpreter_Runtime.H.

Referenced by Aleph::Interpreter_Runtime::control(), has_control_flow(), ok(), Aleph::Interpreter_Runtime::ok(), and Aleph::Interpreter_Runtime::runtime_error().

value

Interpreter_Value Aleph::Interpreter_Execution_Result::value = Interpreter_Value::make_unit()

Produced runtime value when relevant.

Definition at line 709 of file Interpreter_Runtime.H.

Referenced by Aleph::Interpreter_Runtime::control(), Aleph::Compiler_Driver::execute_hir_runtime(), Aleph::Compiler_Generic_Driver::execute_hir_runtime(), Aleph::Interpreter_Runtime::ok(), and Aleph::Interpreter_Runtime::runtime_error().

---

The documentation for this struct was generated from the following file:

• Interpreter_Runtime.H