Reach.IR.Helpers (Reach v2.3.2)

Copy Markdown View Source

Utility functions for IR node inspection and traversal.

Summary

Functions

call_name(node)
clause_labels(func_def)
func_id_to_string(other)
language_from_path(path)

See Reach.Frontend.language_from_path/1.

location(node)
mark_as_definitions(node)
module_from_path(path)
param_var_name(arg1)
source_extensions()

See Reach.Frontend.source_extensions/0.

var_used_in_subtree?(node, target)

Functions

call_name(node)

clause_labels(func_def)

func_id_to_string(other)

language_from_path(path)

See Reach.Frontend.language_from_path/1.

location(node)

mark_as_definitions(node)

module_from_path(path)

param_var_name(arg1)

source_extensions()

See Reach.Frontend.source_extensions/0.

var_used_in_subtree?(node, target)