ProgramFacts.Fact.FunctionID (program_facts v0.2.0)

Copy Markdown View Source

A function identity in generated oracle facts.

Summary

Types

t()

Functions

from_map!(map)
new(function)

Builds a function identity from an MFA tuple.

to_tuple(function)

Types

t()

@type t() :: %ProgramFacts.Fact.FunctionID{
  arity: non_neg_integer(),
  function: String.t(),
  id: String.t(),
  module: String.t()
}

Functions

from_map!(map)

new(function)

Builds a function identity from an MFA tuple.

to_tuple(function)