Examples.EAnalysis (gt_bridge v0.19.2)

Copy Markdown View Source

I am examples for GtBridge.Analysis, the static analysis module.

Summary

Functions

__ex_example__dynamic_module_discovery__()

I define a module outside the bridge's pipeline (bare eval, as iex or dynamic codegen would) and verify sync enters it into the record: the fact is broadcast and the projection picks it up. Message-driven - I wait on the broker's own event, no sleeps. Returns the names sync announced.

__ex_example__out_of_band_removal_retracted__()

I delete a module out-of-band (bare :code.delete, not the bridge's purge) and verify full reconciliation retracts it as a :source_removed fact. Not loaded alone is not enough (the BEAM loads lazily); gone means not vouched for by any app spec and not loadable either. Returns the reconciliation diff.

annotations_survive_broken_buffer()
app_dep_tree()
app_reverse_dep_tree()
append_function_finds_module_end()
call_sites_cross_module_type()
call_sites_local_defp_without_context()
call_sites_simple()
call_sites_through_wrapped_directives()
call_sites_with_aliases()
callees_of_eval()
callers_of_serializer()
copy(item)

Callback implementation for ExExample.Behaviour.copy/1.

default_arg_head_resolves_to_its_def()
dynamic_module_discovery()
example_deps()
exported_functions()
exported_functions_erlang()
functions_in_source_includes_types()
implementors_of_start_link()
implementors_required_keys()
implementors_with_arity()
mnesia_tables()
module_details()
module_graph()
modules_loaded_batch_query()
multiline_spec_stays_in_source()
out_of_band_removal_retracted()
references_to_source_file()
replace_function_save_and_delete()
rerun?(_)

Callback implementation for ExExample.Behaviour.rerun?/1.

root_apps()
supervision_tree()
swap_functions_keeps_bodies_intact()
system_doc_coverage()
system_info()
system_stats()
typedstruct_with_options_locates_t()
xref_index_survives_recompile()

Functions

__ex_example__dynamic_module_discovery__()

I define a module outside the bridge's pipeline (bare eval, as iex or dynamic codegen would) and verify sync enters it into the record: the fact is broadcast and the projection picks it up. Message-driven - I wait on the broker's own event, no sleeps. Returns the names sync announced.

__ex_example__out_of_band_removal_retracted__()

I delete a module out-of-band (bare :code.delete, not the bridge's purge) and verify full reconciliation retracts it as a :source_removed fact. Not loaded alone is not enough (the BEAM loads lazily); gone means not vouched for by any app spec and not loadable either. Returns the reconciliation diff.

annotations_survive_broken_buffer()

@spec annotations_survive_broken_buffer() :: map()

app_dep_tree()

@spec app_dep_tree() :: map()

app_reverse_dep_tree()

@spec app_reverse_dep_tree() :: map()

append_function_finds_module_end()

@spec append_function_finds_module_end() :: String.t()

call_sites_cross_module_type()

@spec call_sites_cross_module_type() :: [map()]

call_sites_local_defp_without_context()

@spec call_sites_local_defp_without_context() :: [map()]

call_sites_simple()

@spec call_sites_simple() :: [map()]

call_sites_through_wrapped_directives()

@spec call_sites_through_wrapped_directives() :: [map()]

call_sites_with_aliases()

@spec call_sites_with_aliases() :: [map()]

callees_of_eval()

@spec callees_of_eval() :: [module()]

callers_of_serializer()

@spec callers_of_serializer() :: [module()]

copy(item)

Callback implementation for ExExample.Behaviour.copy/1.

default_arg_head_resolves_to_its_def()

@spec default_arg_head_resolves_to_its_def() :: map()

dynamic_module_discovery()

@spec dynamic_module_discovery() :: [String.t()]

example_deps()

@spec example_deps() :: [{String.t(), [String.t()]}]

exported_functions()

@spec exported_functions() :: [map()]

exported_functions_erlang()

@spec exported_functions_erlang() :: [map()]

functions_in_source_includes_types()

@spec functions_in_source_includes_types() :: [map()]

implementors_of_start_link()

@spec implementors_of_start_link() :: [map()]

implementors_required_keys()

@spec implementors_required_keys() :: [map()]

implementors_with_arity()

@spec implementors_with_arity() :: [map()]

mnesia_tables()

@spec mnesia_tables() :: [map()]

module_details()

@spec module_details() :: [map()]

module_graph()

@spec module_graph() :: [GtBridge.Analysis.Graph.edge()]

modules_loaded_batch_query()

@spec modules_loaded_batch_query() :: %{required(String.t()) => boolean()}

multiline_spec_stays_in_source()

@spec multiline_spec_stays_in_source() :: map()

out_of_band_removal_retracted()

@spec out_of_band_removal_retracted() :: %{added: [String.t()], removed: [String.t()]}

references_to_source_file()

@spec references_to_source_file() :: [map()]

replace_function_save_and_delete()

@spec replace_function_save_and_delete() :: String.t()

rerun?(_)

Callback implementation for ExExample.Behaviour.rerun?/1.

root_apps()

@spec root_apps() :: [atom()]

supervision_tree()

@spec supervision_tree() :: map()

swap_functions_keeps_bodies_intact()

@spec swap_functions_keeps_bodies_intact() :: String.t()

system_doc_coverage()

@spec system_doc_coverage() :: [map()]

system_info()

@spec system_info() :: map()

system_stats()

@spec system_stats() :: map()

typedstruct_with_options_locates_t()

@spec typedstruct_with_options_locates_t() :: map()

xref_index_survives_recompile()

@spec xref_index_survives_recompile() :: non_neg_integer()