Reach.IR.Node (Reach v2.2.0)

Copy Markdown View Source

A node in the internal representation.

Every node is an expression or sub-expression, following the expression-oriented approach (EDG) rather than statement-oriented (classic PDG).

Summary

Types

id()
node_type()
source_span()
t()

Types

id()

@type id() :: non_neg_integer()

node_type()

@type node_type() ::
  :entry
  | :exit
  | :block
  | :literal
  | :var
  | :match
  | :call
  | :case
  | :clause
  | :guard
  | :fn
  | :try
  | :rescue
  | :catch_clause
  | :after
  | :receive
  | :comprehension
  | :generator
  | :filter
  | :binary_op
  | :unary_op
  | :tuple
  | :list
  | :cons
  | :map
  | :map_field
  | :struct
  | :pin
  | :access
  | :module_def
  | :function_def
  | :dispatch

source_span()

@type source_span() :: %{
  file: String.t() | nil,
  start_line: pos_integer(),
  start_col: pos_integer(),
  end_line: pos_integer() | nil,
  end_col: pos_integer() | nil
}

t()

@type t() :: %Reach.IR.Node{
  children: [t()],
  id: id(),
  meta: map(),
  source_span: source_span() | nil,
  type: node_type()
}