pub struct SourceFile {
pub contracts: Vec<Contract>,
pub pragma: Option<String>,
pub imports: Vec<String>,
}Expand description
A parsed Solidity source file.
Fields§
§contracts: Vec<Contract>§pragma: Option<String>§imports: Vec<String>Implementations§
Source§impl SourceFile
impl SourceFile
Sourcepub fn get_contract(&self, name: &str) -> Option<&Contract>
pub fn get_contract(&self, name: &str) -> Option<&Contract>
Find a contract by name (if defined in this file).
Sourcepub fn inheritance_includes_access_control(&self, contract: &Contract) -> bool
pub fn inheritance_includes_access_control(&self, contract: &Contract) -> bool
Resolve whether an inherited contract is known to have access control.
Sourcepub fn inheritance_includes_reentrancy_guard(&self, contract: &Contract) -> bool
pub fn inheritance_includes_reentrancy_guard(&self, contract: &Contract) -> bool
Check if an inherited contract provides reentrancy guard.
Sourcepub fn all_state_variables(&self) -> Vec<&StateVariable>
pub fn all_state_variables(&self) -> Vec<&StateVariable>
Find all state variables across all contracts (useful for cross-contract analysis).
Trait Implementations§
Source§impl Clone for SourceFile
impl Clone for SourceFile
Source§fn clone(&self) -> SourceFile
fn clone(&self) -> SourceFile
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for SourceFile
impl RefUnwindSafe for SourceFile
impl Send for SourceFile
impl Sync for SourceFile
impl Unpin for SourceFile
impl UnsafeUnpin for SourceFile
impl UnwindSafe for SourceFile
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<A, B, T> HttpServerConnExec<A, B> for Twhere
B: Body,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more