Struct ExposedCache 

pub struct ExposedCache(UniValMap<ExposedCacheNode>);

Caches information about where in the tree exposed nodes with permission to do reads/ rites are located. ExposedCache stores this information a single location (or rather, a range of homogeneous locations) for all nodes in an allocation.

Nodes not in this map have a default ExposedCacheNode, i.e. they have no exposed children. In particular, this map remains empty (and thus consumes no memory) until the first node in the tree gets exposed.

Tuple Fields

0: UniValMap<ExposedCacheNode>

Implementations

impl ExposedCache

pub fn access_relatedness( &self, root: UniIndex, id: UniIndex, kind: AccessKind, is_wildcard_tree: bool, only_foreign: bool, ) -> Option<WildcardAccessRelatedness>

Returns the relatedness of a wildcard access to a node.

This function only considers a single subtree. If the current subtree does not contain any valid exposed nodes then the function return None.

• root: The root of the subtree the node belongs to.
• id: The id of the node.
• kind: The kind of the wildcard access.
• is_wildcard_tree: This nodes belongs to a wildcard subtree. This means we always treat foreign accesses as possible.
• only_foreign: Assume the access cannot come from a local node.

pub fn update_exposure( &mut self, nodes: &UniValMap<Node>, id: UniIndex, from: WildcardAccessLevel, to: WildcardAccessLevel, )

Update the tracking information of a tree, to reflect that the node specified by id is now exposed with new_exposed_as permission.

Propagates the Willard access information over the tree. This needs to be called every time the access level of an exposed node changes, to keep the state in sync with the rest of the tree.

• from: The previous access level of the exposed node. Set to None if the node was not exposed before.
• to: The new access level.

pub fn remove(&mut self, idx: UniIndex)

Removes a node from the datastructure.

The caller needs to ensure that the node does not have any children.

Trait Implementations

impl Clone for ExposedCache

fn clone(&self) -> ExposedCache

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExposedCache

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

Formats the value using the given formatter.

impl Default for ExposedCache

fn default() -> ExposedCache

Returns the “default value” for a type.

impl PartialEq for ExposedCache

fn eq(&self, other: &ExposedCache) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ExposedCache

impl StructuralPartialEq for ExposedCache

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 24 bytes