Module translate

Modules

get_mir

Various utilities to load MIR. Allow to easily load the MIR code generated by a specific pass.

resolve_path

Machinery to resolve a string path into a DefId. Based on clippy_utils::def_path_res.

translate_bodies

Translate functions from the rust compiler MIR to our internal representation. Our internal representation is very close to MIR, but is more convenient for us to handle, and easier to maintain - rustc’s representation can evolve independently.

translate_closures

In rust, closures behave like ADTs that implement the FnOnce/FnMut/Fn traits automatically.

translate_constants

Functions to translate constants to LLBC.

translate_crate

This file governs the overall translation of items.

translate_ctx

The translation contexts.

translate_drops

translate_functions

Translate functions from the rust compiler MIR to our internal representation. Our internal representation is very close to MIR, but is more convenient for us to handle, and easier to maintain - rustc’s representation can evolve independently.

translate_generics

translate_items

translate_meta

Translate information about items: name, attributes, etc.

translate_predicates

translate_trait_objects

translate_types