Struct charon_lib::ast::krate::TranslatedCrate

pub struct TranslatedCrate {

    pub crate_name: String,
    pub real_crate_name: String,
    pub id_to_file: Vector<FileId, FileName>,
    pub file_to_id: HashMap<FileName, FileId>,
    pub file_id_to_content: HashMap<FileId, String>,
    pub all_ids: LinkedHashSet<AnyTransId>,
    pub item_names: HashMap<AnyTransId, Name>,
    pub type_decls: Vector<TypeDeclId, TypeDecl>,
    pub fun_decls: Vector<FunDeclId, FunDecl>,
    pub global_decls: Vector<GlobalDeclId, GlobalDecl>,
    pub bodies: Vector<BodyId, Body>,
    pub trait_decls: Vector<TraitDeclId, TraitDecl>,
    pub trait_impls: Vector<TraitImplId, TraitImpl>,
    pub ordered_decls: Option<DeclarationsGroups>,
}

The data of a translated crate.

Fields

crate_name: String

The name that the user requested for the crate. This may differ from what rustc reports as the name of the crate.

real_crate_name: String

The name of the crate according to rustc.

id_to_file: Vector<FileId, FileName>

File names to ids and vice-versa

file_to_id: HashMap<FileName, FileId>

file_id_to_content: HashMap<FileId, String>

File id to content.

Note that some files may be missing, if they are not “real” files.

all_ids: LinkedHashSet<AnyTransId>

All the ids, in the order in which we encountered them

item_names: HashMap<AnyTransId, Name>

The names of all registered items. Available so we can know the names even of items that failed to translate.

type_decls: Vector<TypeDeclId, TypeDecl>

The translated type definitions

fun_decls: Vector<FunDeclId, FunDecl>

The translated function definitions

global_decls: Vector<GlobalDeclId, GlobalDecl>

The translated global definitions

bodies: Vector<BodyId, Body>

The bodies of functions and constants

trait_decls: Vector<TraitDeclId, TraitDecl>

The translated trait declarations

trait_impls: Vector<TraitImplId, TraitImpl>

The translated trait declarations

ordered_decls: Option<DeclarationsGroups>

The re-ordered groups of declarations, initialized as empty.

Implementations

impl TranslatedCrate

pub fn get_item( &self, trans_id: impl Into<AnyTransId>, ) -> Option<AnyTransItem<'_>>

pub fn all_items(&self) -> impl Iterator<Item = AnyTransItem<'_>>

pub fn all_items_with_ids( &self, ) -> impl Iterator<Item = (AnyTransId, AnyTransItem<'_>)>

Trait Implementations

impl Clone for TranslatedCrate

fn clone(&self) -> TranslatedCrate

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for TranslatedCrate

fn default() -> TranslatedCrate

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TranslatedCrate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TranslatedCrate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Drive for TranslatedCrate

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for TranslatedCrate

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Index<BodyId> for TranslatedCrate

type Output = Body

The returned type after indexing.

fn index(&self, index: BodyId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<FunDeclId> for TranslatedCrate

type Output = FunDecl

The returned type after indexing.

fn index(&self, index: FunDeclId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<GlobalDeclId> for TranslatedCrate

type Output = GlobalDecl

The returned type after indexing.

fn index(&self, index: GlobalDeclId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<TraitDeclId> for TranslatedCrate

type Output = TraitDecl

The returned type after indexing.

fn index(&self, index: TraitDeclId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<TraitImplId> for TranslatedCrate

type Output = TraitImpl

The returned type after indexing.

fn index(&self, index: TraitImplId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<TypeDeclId> for TranslatedCrate

type Output = TypeDecl

The returned type after indexing.

fn index(&self, index: TypeDeclId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<BodyId> for TranslatedCrate

fn index_mut(&mut self, index: BodyId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<FunDeclId> for TranslatedCrate

fn index_mut(&mut self, index: FunDeclId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<GlobalDeclId> for TranslatedCrate

fn index_mut(&mut self, index: GlobalDeclId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<TraitDeclId> for TranslatedCrate

fn index_mut(&mut self, index: TraitDeclId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<TraitImplId> for TranslatedCrate

fn index_mut(&mut self, index: TraitImplId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<TypeDeclId> for TranslatedCrate

fn index_mut(&mut self, index: TypeDeclId) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<'tcx, 'ctx, 'a> IntoFormatter for &'a TranslatedCrate

type C = FmtCtx<'a>

fn into_fmt(self) -> Self::C

impl Serialize for TranslatedCrate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.