Class: Kobako::Fault

Inherits:
Object
  • Object
show all
Defined in:
lib/kobako/fault.rb

Overview

Wire-level value object for an ext-0x02 Exception envelope.

Top-level shared wire primitive: like Kobako::Handle (ext 0x01), Fault is a MessagePack ext-type leaf registered by Kobako::Codec::Factory and rides nested inside other envelopes (a Kobako::Transport::Response error payload, or another Fault’s details). It lives at the kobako root rather than under Transport because the Codec layer must register it, and Codec must not depend upward on Transport.

SPEC pins the payload (docs/wire-codec.md § Ext Types → ext 0x02) to a msgpack map with exactly three keys:

* "type"    — one of "runtime", "argument", "undefined"
* "message" — human-readable string
* "details" — any wire-legal value, or nil when absent

This object holds the encoded form. Reifying the corresponding Ruby exception class (RuntimeError, ArgumentError, Kobako::ServiceError, …) is the responsibility of the dispatch layer, not the codec.

Built on the class X < Data.define(…) subclass form (the Steep-friendly shape — see lib/kobako/outcome/panic.rb).

Constant Summary collapse

VALID_TYPES = 
%w[runtime argument undefined].freeze

Instance Method Summary collapse

Constructor Details

#initialize(type:, message:, details: nil) ⇒ Fault

Returns a new instance of Fault.

Raises:

  • (ArgumentError) 


30
31
32
33
34
35
36
 
# File 'lib/kobako/fault.rb', line 30

def initialize(type:, message:, details: nil)
  raise ArgumentError, "type must be String"    unless type.is_a?(String)
  raise ArgumentError, "message must be String" unless message.is_a?(String)
  raise ArgumentError, "type=#{type.inspect} not one of #{VALID_TYPES.inspect}" unless VALID_TYPES.include?(type)

  super
end