Method codegen_match

bootstrap/stage0/codegen.cpp:5276–5305

}

ErrorOr<void> Jakt::codegen::CodeGenerator::codegen_match(NonnullRefPtr<typename Jakt::types::CheckedExpression> const expr,JaktInternal::DynamicArray<Jakt::types::CheckedMatchCase> const match_cases,Jakt::ids::TypeId const type_id,bool const all_variants_constant,bool const forward_error_with_try,ByteStringBuilder& output) {
{
if (!Jakt::codegen::has_cpp_value(type_id)){
TRY((this->codegen_void_match(expr,match_cases,type_id,output))); return {};
}
if (!Jakt::codegen::has_control_flow<Jakt::types::CheckedMatchCase>(match_cases,true)){
TRY((this->codegen_value_match(expr,match_cases,type_id,forward_error_with_try,output))); return {};
}
ByteStringBuilder builder = ByteStringBuilder::create();
Jakt::codegen::ControlFlowState const last_control_flow = this->control_flow_state;
this->control_flow_state = this->control_flow_state.enter_match();
ByteString const cpp_match_result_type = TRY((this->codegen_type(type_id)));
NonnullRefPtr<typename Jakt::types::Type> const expr_type = this->program->get_type(expr->type());
JaktInternal::Optional<Jakt::codegen::YieldMethod> const old_yield_method = this->yield_method;
this->yield_method = Jakt::codegen::YieldMethod::ReturnExplicitValue(__jakt_format(StringView::from_string_literal("JaktInternal::ExplicitValue<{}>"sv),cpp_match_result_type));
ScopeGuard __jakt_var_125([&] {
this->yield_method = old_yield_method;
});
builder.append(StringView::from_string_literal("([&]() -> JaktInternal::ExplicitValueOrControlFlow<"sv));
builder.append(cpp_match_result_type);
builder.append(StringView::from_string_literal(", "sv));
builder.append(TRY((this->codegen_function_return_type(this->current_function.value()))));
builder.append(StringView::from_string_literal(">{\n"sv));
TRY((this->codegen_inner_match(expr,match_cases,type_id,builder)));
builder.append(StringView::from_string_literal("}()\n)"sv));
this->control_flow_state = last_control_flow;
output.append(TRY((this->control_flow_state.apply_control_flow_macro(builder.to_string(),this->current_function.value()->return_type_id,this->current_function.value()->can_throw))));
}
return {};
}

ErrorOr<void> Jakt::codegen::CodeGenerator::codegen_value_match(NonnullRefPtr<typename Jakt::types::CheckedExpression> const expr,JaktInternal::DynamicArray<Jakt::types::CheckedMatchCase> const match_cases,Jakt::ids::TypeId const type_id,bool const forward_error_with_try,ByteStringBuilder& output) {
{