[−][src]Module rtlola_frontend::analysis

This module provides analysis steps based on the AST.

In detail,

  • naming provides boundedness analysis for identifiers used in the Lola Specification
  • id_assignment assigns unique ids to all nodes of the AST
  • type_checker checks whether components of the AST have a valid type

Modules

naming

This module provides naming analysis for a given Lola AST.