[−][src]Struct type_checking::type_analysis::TypeAnalysis
Methods
impl<'src, 'ast, 'ts> TypeAnalysis<'src, 'ast>[src]
impl<'src, 'ast, 'ts> TypeAnalysis<'src, 'ast>pub fn new() -> TypeAnalysis<'src, 'ast>[src]
pub fn new() -> TypeAnalysis<'src, 'ast>pub fn expr_info(&self, expr: &'ast Expr<'src>) -> &ExprInfo<'src, 'ast>[src]
pub fn expr_info(&self, expr: &'ast Expr<'src>) -> &ExprInfo<'src, 'ast>pub fn set_expr_info(
&mut self,
expr: &'ast Expr<'src>,
expr_info: ExprInfo<'src, 'ast>
)[src]
pub fn set_expr_info(
&mut self,
expr: &'ast Expr<'src>,
expr_info: ExprInfo<'src, 'ast>
)pub fn set_local_var_def(
&mut self,
local_var_def_stmt: &'ast Stmt<'src>,
var_def: Rc<LocalVarDef<'src>>
)[src]
pub fn set_local_var_def(
&mut self,
local_var_def_stmt: &'ast Stmt<'src>,
var_def: Rc<LocalVarDef<'src>>
)pub fn local_var_def(
&self,
local_var_def_stmt: &'ast Stmt<'src>
) -> Option<Rc<LocalVarDef<'src>>>[src]
pub fn local_var_def(
&self,
local_var_def_stmt: &'ast Stmt<'src>
) -> Option<Rc<LocalVarDef<'src>>>pub fn decl_set_class_id(
&mut self,
class_decl: &'ast ClassDeclaration<'src>,
name: ClassDefId<'src>
)[src]
pub fn decl_set_class_id(
&mut self,
class_decl: &'ast ClassDeclaration<'src>,
name: ClassDefId<'src>
)pub fn decl_get_class_id(
&mut self,
class_decl: &'ast ClassDeclaration<'src>
) -> Option<ClassDefId<'src>>[src]
pub fn decl_get_class_id(
&mut self,
class_decl: &'ast ClassDeclaration<'src>
) -> Option<ClassDefId<'src>>Trait Implementations
impl<'src, 'ast> Default for TypeAnalysis<'src, 'ast>[src]
impl<'src, 'ast> Default for TypeAnalysis<'src, 'ast>fn default() -> TypeAnalysis<'src, 'ast>[src]
fn default() -> TypeAnalysis<'src, 'ast>impl<'src, 'ast> Debug for TypeAnalysis<'src, 'ast>[src]
impl<'src, 'ast> Debug for TypeAnalysis<'src, 'ast>Auto Trait Implementations
impl<'src, 'ast> !Send for TypeAnalysis<'src, 'ast>
impl<'src, 'ast> !Send for TypeAnalysis<'src, 'ast>impl<'src, 'ast> !Sync for TypeAnalysis<'src, 'ast>
impl<'src, 'ast> !Sync for TypeAnalysis<'src, 'ast>Blanket Implementations
impl<T> From for T[src]
impl<T> From for Timpl<T, U> Into for T where
U: From<T>, [src]
impl<T, U> Into for T where
U: From<T>, impl<T, U> TryFrom for T where
T: From<U>, [src]
impl<T, U> TryFrom for T where
T: From<U>, type Error = !
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>impl<T> Borrow for T where
T: ?Sized, [src]
impl<T> Borrow for T where
T: ?Sized, impl<T> BorrowMut for T where
T: ?Sized, [src]
impl<T> BorrowMut for T where
T: ?Sized, fn borrow_mut(&mut self) -> &mut T[src]
fn borrow_mut(&mut self) -> &mut Timpl<T, U> TryInto for T where
U: TryFrom<T>, [src]
impl<T, U> TryInto for T where
U: TryFrom<T>, type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>impl<T> Any for T where
T: 'static + ?Sized, [src]
impl<T> Any for T where
T: 'static + ?Sized, fn get_type_id(&self) -> TypeId[src]
fn get_type_id(&self) -> TypeId