ProgramFacts.Fact.DataRef (program_facts v0.2.0)

A typed data-flow endpoint or intermediate reference.

Summary

Types

t()

Functions

from_map!(map)

new(ref)

to_tuple(ref)

Types

t()

@type t() :: %ProgramFacts.Fact.DataRef{
  function: ProgramFacts.Fact.FunctionID.t(),
  index: non_neg_integer() | nil,
  name: atom() | nil,
  type: :param | :arg | :return | :var
}