View Source edb_dap_state (edb v0.3.0)

DAP state An interface around the state of the DAP server.

Summary

Types

context/0

-type context() ::
          #{target_node => target_node(),
            attach_timeout := non_neg_integer(),
            cwd := binary(),
            strip_source_prefix := binary(),
            cwd_no_source_prefix := binary()}.

status/0

-type status() :: started | initialized | {attached, edb:event_subscription()} | cannot_attach.

t/0

-opaque t()

target_node/0

-type target_node() :: #{name := node(), cookie := atom(), type => target_node_type()}.

target_node_type/0

-type target_node_type() :: shortnames | longnames.

Functions

get_context(_)

-spec get_context(t()) -> context().

is_attached(_)

-spec is_attached(t()) -> boolean().

is_initialized(_)

-spec is_initialized(t()) -> boolean().

is_valid_subscription(State, Subscription)

-spec is_valid_subscription(State :: t(), Subscription :: edb:event_subscription()) -> boolean().

make_target_node(TargetNode)

-spec make_target_node(edb_dap:target_node()) -> target_node().

new()

-spec new() -> t().

set_context(State, Context)

-spec set_context(t(), context()) -> t().

set_status(State, Status)

-spec set_status(t(), status()) -> t().