Struct read_write_set::ReadWriteSetAnalysis
source · [−]pub struct ReadWriteSetAnalysis { /* private fields */ }Implementations
sourceimpl ReadWriteSetAnalysis
impl ReadWriteSetAnalysis
sourcepub fn get_summary(
&self,
module: &ModuleId,
fun: &IdentStr
) -> Option<&ReadWriteSetState>
pub fn get_summary(
&self,
module: &ModuleId,
fun: &IdentStr
) -> Option<&ReadWriteSetState>
Return an overapproximation access paths read/written by module::fun.
Returns None if the function or module does not exist.
sourcepub fn get_function_env(
&self,
module: &ModuleId,
fun: &IdentStr
) -> Option<FunctionEnv<'_>>
pub fn get_function_env(
&self,
module: &ModuleId,
fun: &IdentStr
) -> Option<FunctionEnv<'_>>
Returns the FunctionEnv for module::fun
Returns None if this function does not exist
sourcepub fn normalize_all_scripts(
&self,
add_ons: Vec<(ModuleId, Identifier)>
) -> NormalizedReadWriteSetAnalysis
pub fn normalize_all_scripts(
&self,
add_ons: Vec<(ModuleId, Identifier)>
) -> NormalizedReadWriteSetAnalysis
Normalize the analysis result computed from the move-prover pipeline.
This will include all the script functions and the list function names provided in add_ons
that are required by the adapter, such as prologues, epilogues, etc.
Auto Trait Implementations
impl !RefUnwindSafe for ReadWriteSetAnalysis
impl !Send for ReadWriteSetAnalysis
impl !Sync for ReadWriteSetAnalysis
impl Unpin for ReadWriteSetAnalysis
impl !UnwindSafe for ReadWriteSetAnalysis
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more