Function fully_analyzed

pub fn fully_analyzed(
    ast: RtLolaAst,
    cfg: &FrontendConfig<'_>,
) -> Result<RtLolaHir<CompleteMode>, RtLolaError>

Transforms a RtLolaAst into the RtLolaHir and completes all mode transformations.

The RtLolaAst can be obtained by parse and its sibling functions. Analyses are performed sequentially in the following order:

• Initial conversion (see from_ast)
• Dependency analysis (see determine_evaluation_order).
• Type analysis (see check_types):
• Layer analysis (see determine_evaluation_order):
• Memory analysis (see determine_memory_bounds):

This function returns the fully analysed RtLolaHir which can be lowered into the Mir.