Method create_uninit_object

src/analysis/dfa.rs:681–689

(&mut self, ty: ast::Type)

impl<T: SymbolData> EnvMgr<T> {
    fn create_uninit_object(&mut self, ty: ast::Type) -> Symbol<T> {
        let ctx = self.get_current_ctx();
        Symbol {
            r#type: Some(ty),
            state: ObjectState::Uninit,
            id: ctx,
            data: T::default(),
        }
    }

    pub fn create_dummy_object(&mut self) -> Symbol<T> {
        let ctx = self.get_current_ctx();