Crate rustre_core

Rustre compiler driver

It is built around yeter.

Modules

• checks
  Collection of random checks that must be run for a program to be valid
• diagnostics
• eval
• id
• name_resolution
• node_state
  Persisted node state (temporal operators)
• static_args
  Static args-related queries and data structures

Structs

• Signature
• SourceFile
• TypedSignature

Functions

• add_source_contents
• add_source_file
  Adds a source file to the list of files that are known by the compiler
• check
  Query: Global program check
• driver
  Builds a new compiler driver, that corresponds to a compilation session
• files
  Query: Returns a list of all directly and indirectly included files in the Lustre program
• get_signature
• get_typed_signature
• parse_file
  Query: Parses a given file