[−][src]Struct c2rust_transpile::c_ast::TypedAstContext

pub struct TypedAstContext {
    pub c_types: HashMap<CTypeId, CType>,
    pub c_exprs: HashMap<CExprId, CExpr>,
    pub c_stmts: HashMap<CStmtId, CStmt>,
    pub c_decls: IndexMap<CDeclId, CDecl>,
    pub c_decls_top: Vec<CDeclId>,
    pub c_main: Option<CDeclId>,
    pub c_files: HashMap<u64, String>,
    pub parents: HashMap<CDeclId, CDeclId>,
    pub comments: Vec<Located<String>>,
    pub prenamed_decls: IndexMap<CDeclId, CDeclId>,
}

AST context containing all of the nodes in the Clang AST

Fields

c_types: HashMap<CTypeId, CType>c_exprs: HashMap<CExprId, CExpr>c_stmts: HashMap<CStmtId, CStmt>c_decls: IndexMap<CDeclId, CDecl>c_decls_top: Vec<CDeclId>c_main: Option<CDeclId>c_files: HashMap<u64, String>parents: HashMap<CDeclId, CDeclId>comments: Vec<Located<String>>prenamed_decls: IndexMap<CDeclId, CDeclId>

Methods

`impl TypedAstContext`[src]

`pub fn new() -> TypedAstContext`[src]

`pub fn is_null_expr(&self, expr_id: CExprId) -> bool`[src]

`pub fn is_forward_declared_type(&self, typ: CTypeId) -> bool`[src]

Predicate for struct, union, and enum declarations without bodies. These forward declarations are suitable for use as the targets of pointers

`pub fn is_function_pointer(&self, typ: CTypeId) -> bool`[src]

Predicate for function pointers

`pub fn resolve_type_id(&self, typ: CTypeId) -> CTypeId`[src]

`pub fn resolve_type(&self, typ: CTypeId) -> &CType`[src]

`pub fn is_expr_pure(&self, expr: CExprId) -> bool`[src]

Pessimistically try to check if an expression has side effects. If it does, or we can't tell that it doesn't, return false.

`pub fn expr_diverges(&self, expr_id: CExprId) -> bool`[src]

that it doesn't, return false.

`pub fn prune_unused_decls(&mut self)`[src]

Trait Implementations

`impl Clone for TypedAstContext`[src]

`fn clone(&self) -> TypedAstContext`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

`impl Debug for TypedAstContext`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl Index<CTypeId> for TypedAstContext`[src]

`type Output = CType`

The returned type after indexing.

`fn index(&self, index: CTypeId) -> &CType`[src]

`impl Index<CExprId> for TypedAstContext`[src]

`type Output = CExpr`

The returned type after indexing.

`fn index(&self, index: CExprId) -> &CExpr`[src]

`impl Index<CDeclId> for TypedAstContext`[src]

`type Output = CDecl`

The returned type after indexing.

`fn index(&self, index: CDeclId) -> &CDecl`[src]

`impl Index<CStmtId> for TypedAstContext`[src]

`type Output = CStmt`

The returned type after indexing.

`fn index(&self, index: CStmtId) -> &CStmt`[src]

Auto Trait Implementations

`impl Send for TypedAstContext`

`impl Sync for TypedAstContext`

Blanket Implementations

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T> Borrow for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> BorrowMut for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<E> SpecializationError for E`[src]

`default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str ) -> E where T: ?Sized,` [src]

`impl<T> Erased for T`[src]

`impl<T> Send for T where T: ?Sized,` [src]

`impl<T> Sync for T where T: ?Sized,` [src]

`impl<T> Make for T`[src]

`fn make(self, _mk: &Builder) -> T`[src]

`impl<T> MaybeResult for T`[src]

`fn from_ok(x: T) -> T`[src]

`fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T,` [src]

`impl<'a, T> Captures for T where T: ?Sized,` [src]

`impl<T> Erased for T`

[−][src]Struct c2rust_transpile::c_ast::TypedAstContext

Fields

Methods

impl TypedAstContext[src]

pub fn new() -> TypedAstContext[src]

pub fn is_null_expr(&self, expr_id: CExprId) -> bool[src]

pub fn is_forward_declared_type(&self, typ: CTypeId) -> bool[src]

pub fn is_function_pointer(&self, typ: CTypeId) -> bool[src]

pub fn resolve_type_id(&self, typ: CTypeId) -> CTypeId[src]

pub fn resolve_type(&self, typ: CTypeId) -> &CType[src]

pub fn is_expr_pure(&self, expr: CExprId) -> bool[src]

pub fn expr_diverges(&self, expr_id: CExprId) -> bool[src]

pub fn prune_unused_decls(&mut self)[src]

Trait Implementations

impl Clone for TypedAstContext[src]

fn clone(&self) -> TypedAstContext[src]

default fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for TypedAstContext[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl Index<CTypeId> for TypedAstContext[src]

type Output = CType

fn index(&self, index: CTypeId) -> &CType[src]

impl Index<CExprId> for TypedAstContext[src]

type Output = CExpr

fn index(&self, index: CExprId) -> &CExpr[src]

impl Index<CDeclId> for TypedAstContext[src]

type Output = CDecl

fn index(&self, index: CDeclId) -> &CDecl[src]

impl Index<CStmtId> for TypedAstContext[src]

type Output = CStmt

fn index(&self, index: CStmtId) -> &CStmt[src]

Auto Trait Implementations

impl Send for TypedAstContext

impl Sync for TypedAstContext

Blanket Implementations

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, U> TryFrom for T where U: Into<T>, [src]

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T> Borrow for T where T: ?Sized, [src]

fn borrow(&self) -> &T[src]

impl<T> Any for T where T: 'static + ?Sized, [src]

fn type_id(&self) -> TypeId[src]

impl<T> BorrowMut for T where T: ?Sized, [src]

fn borrow_mut(&mut self) -> &mut T[src]

impl<T, U> TryInto for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<E> SpecializationError for E[src]

default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

impl<T> Send for T where T: ?Sized, [src]

impl<T> Sync for T where T: ?Sized, [src]

impl<T> Make for T[src]

fn make(self, _mk: &Builder) -> T[src]

impl<T> MaybeResult for T[src]

fn from_ok(x: T) -> T[src]

fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T, [src]

impl<'a, T> Captures for T where T: ?Sized, [src]

impl<T> Erased for T

`impl TypedAstContext`[src]

`pub fn new() -> TypedAstContext`[src]

`pub fn is_null_expr(&self, expr_id: CExprId) -> bool`[src]

`pub fn is_forward_declared_type(&self, typ: CTypeId) -> bool`[src]

`pub fn is_function_pointer(&self, typ: CTypeId) -> bool`[src]

`pub fn resolve_type_id(&self, typ: CTypeId) -> CTypeId`[src]

`pub fn resolve_type(&self, typ: CTypeId) -> &CType`[src]

`pub fn is_expr_pure(&self, expr: CExprId) -> bool`[src]

`pub fn expr_diverges(&self, expr_id: CExprId) -> bool`[src]

`pub fn prune_unused_decls(&mut self)`[src]

`impl Clone for TypedAstContext`[src]

`fn clone(&self) -> TypedAstContext`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

`impl Debug for TypedAstContext`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl Index<CTypeId> for TypedAstContext`[src]

`type Output = CType`

`fn index(&self, index: CTypeId) -> &CType`[src]

`impl Index<CExprId> for TypedAstContext`[src]

`type Output = CExpr`

`fn index(&self, index: CExprId) -> &CExpr`[src]

`impl Index<CDeclId> for TypedAstContext`[src]

`type Output = CDecl`

`fn index(&self, index: CDeclId) -> &CDecl`[src]

`impl Index<CStmtId> for TypedAstContext`[src]

`type Output = CStmt`

`fn index(&self, index: CStmtId) -> &CStmt`[src]

`impl Send for TypedAstContext`

`impl Sync for TypedAstContext`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T> Borrow for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> BorrowMut for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<E> SpecializationError for E`[src]

`default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str ) -> E where T: ?Sized,` [src]

`impl<T> Erased for T`[src]

`impl<T> Send for T where T: ?Sized,` [src]

`impl<T> Sync for T where T: ?Sized,` [src]

`impl<T> Make for T`[src]

`fn make(self, _mk: &Builder) -> T`[src]

`impl<T> MaybeResult for T`[src]

`fn from_ok(x: T) -> T`[src]

`fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T,` [src]

`impl<'a, T> Captures for T where T: ?Sized,` [src]

`impl<T> Erased for T`