Reach.Evidence.ParameterShape.Occurrence (Reach v2.8.1)

Copy Markdown View Source

One fixed-map argument observed at a resolved call site.

Summary

Types

function_id()
key()
t()

Types

function_id()

@type function_id() :: {module() | nil, atom(), non_neg_integer()}

key()

@type key() :: atom() | String.t()

t()

@type t() :: %Reach.Evidence.ParameterShape.Occurrence{
  caller: function_id() | nil,
  column: pos_integer() | nil,
  companion_literals: %{optional(non_neg_integer()) => term()},
  file: Path.t() | nil,
  keys: [key()],
  line: pos_integer() | nil,
  literals: %{optional(key()) => term()}
}