Function rtlola_hir::fully_analyzed
source · [−]pub fn fully_analyzed(
ast: RtLolaAst
) -> Result<RtLolaHir<CompleteMode>, RtLolaError>
Expand description
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.