Struct test_generation::borrow_graph::BorrowGraph

pub struct BorrowGraph { /* private fields */ }

The BorrowGraph stores information sufficient to determine whether the instruction of a bytecode instruction that interacts with references is memory safe.

Implementations

impl BorrowGraph

pub fn new(num_locals: u8) -> BorrowGraph

Construct a new BorrowGraph given the number of locals it has

pub fn fresh_partition(&mut self, n: (u16, Mutability)) -> Result<(), String>

Add a new partition to the graph containing nonce n This operation may fail with an error a fresh partition ID cannot be chosen.

pub fn partition_mutability( &self, partition_id: u16 ) -> Result<Mutability, String>

Determine whether a partition is mutable, immutable, or either. This operation may fail with an error if the given partition does not exist in the graph.

pub fn partition_freezable(&self, partition_id: u16) -> Result<bool, String>

Determine whether the given partition is freezable. This operation may fail with an error if the given partition ID is not in the graph.

pub fn edges_consistent( &self, edge_1: (u16, u16, Vec<u8>, EdgeType), edge_2: (u16, u16, Vec<u8>, EdgeType) ) -> bool

Determine whether two edges are consistent; i.e. whether the path of the first edge is a prefix of the second or vice versa.

Trait Implementations

impl Clone for BorrowGraph

fn clone(&self) -> BorrowGraph

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BorrowGraph

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

Formats the value using the given formatter.

impl PartialEq<BorrowGraph> for BorrowGraph

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for BorrowGraph

impl StructuralEq for BorrowGraph

impl StructuralPartialEq for BorrowGraph