Struct RegionEvent

Source

pub struct RegionEvent<Id, Key> {
    pub kind: EventKind,
    pub node: Id,
    pub key: Key,
}

Expand description

区域扫描事件（使用索引的原子）：语句子树遍历中的一次读/写/遮蔽。 node 指向承载名字的节点（Use→VarRef；Write→赋值目标 VarRef 或声明节点；Shadow→VarDecl/ForEach/Catch 绑定节点），名字由 Lang::var_name(node) 读取——与 scan_region 原递归的判定一致。

Fields§

§kind: EventKind§node: Id§key: Key

事件承载者的名字键（语言侧等价类：Java=u32 intern id）—— 事件构建时预存，查询侧比较为整数等值，免 var_name/memcmp。

RegionEvent

Struct RegionEvent Copy item path

Fields§

Trait Implementations§

impl<Id: Clone, Key: Clone> Clone for RegionEvent<Id, Key>

fn clone(&self) -> Self

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

impl<Id: Copy, Key: Copy> Copy for RegionEvent<Id, Key>

impl<Id: Debug, Key: Debug> Debug for RegionEvent<Id, Key>

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

Auto Trait Implementations§

impl<Id, Key> Freeze for RegionEvent<Id, Key>where Id: Freeze, Key: Freeze,

impl<Id, Key> RefUnwindSafe for RegionEvent<Id, Key>where Id: RefUnwindSafe, Key: RefUnwindSafe,

impl<Id, Key> Send for RegionEvent<Id, Key>where Id: Send, Key: Send,

impl<Id, Key> Sync for RegionEvent<Id, Key>where Id: Sync, Key: Sync,

impl<Id, Key> Unpin for RegionEvent<Id, Key>where Id: Unpin, Key: Unpin,

impl<Id, Key> UnsafeUnpin for RegionEvent<Id, Key>where Id: UnsafeUnpin, Key: UnsafeUnpin,

impl<Id, Key> UnwindSafe for RegionEvent<Id, Key>where Id: UnwindSafe, Key: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

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

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

Struct RegionEvent

impl<Id, Key> Freeze for RegionEvent<Id, Key>
where Id: Freeze, Key: Freeze,

impl<Id, Key> RefUnwindSafe for RegionEvent<Id, Key>
where Id: RefUnwindSafe, Key: RefUnwindSafe,

impl<Id, Key> Send for RegionEvent<Id, Key>
where Id: Send, Key: Send,

impl<Id, Key> Sync for RegionEvent<Id, Key>
where Id: Sync, Key: Sync,

impl<Id, Key> Unpin for RegionEvent<Id, Key>
where Id: Unpin, Key: Unpin,

impl<Id, Key> UnsafeUnpin for RegionEvent<Id, Key>
where Id: UnsafeUnpin, Key: UnsafeUnpin,

impl<Id, Key> UnwindSafe for RegionEvent<Id, Key>
where Id: UnwindSafe, Key: UnwindSafe,

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

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,