When analyze_from_definitions is specified as name::Symbol, JET starts its analysis using the interpreted method signature whose name is equal to name as the analysis entry point. For example, when analyzing a script that uses @main to specify the entry point, it would be convenient to specify analyze_from_definitions = :main.
When
analyze_from_definitions
is specified asname::Symbol
, JET starts its analysis using the interpreted method signature whose name is equal toname
as the analysis entry point. For example, when analyzing a script that uses@main
to specify the entry point, it would be convenient to specifyanalyze_from_definitions = :main
.