pub trait SyncObj: Any {
// Provided methods
fn on_access<'tcx>(&self, _access_kind: AccessKind) -> InterpResult<'tcx> { ... }
fn delete_on_write(&self) -> bool { ... }
}Expand description
A trait for the synchronization metadata that can be attached to a memory location.
Provided Methods§
Sourcefn on_access<'tcx>(&self, _access_kind: AccessKind) -> InterpResult<'tcx>
fn on_access<'tcx>(&self, _access_kind: AccessKind) -> InterpResult<'tcx>
Determines whether reads/writes to this object’s location are currently permitted.
Sourcefn delete_on_write(&self) -> bool
fn delete_on_write(&self) -> bool
Determines whether this object’s metadata shall be deleted when a write to its location occurs.