Method get_node

language/move-prover/bytecode/src/access_path_trie.rs:252–264

(&self, ap: AccessPath)

    }

    fn get_node(&self, ap: AccessPath) -> Option<&TrieNode<T>> {
        let mut node = match self.0.get(ap.root()) {
            Some(n) => n,
            None => return None,
        };
        for offset in ap.offsets() {
            node = match node.get_offset(offset) {
                Some(n) => n,
                None => return None,
            }
        }
        Some(node)
    }

    /// Removes node located at the given access path
    /// Returns the node if it has been fully removed from the trie (i.e. it did not have any children)