Struct SemanticContractResolution 

#[non_exhaustive]
pub struct SemanticContractResolution {
    pub contract: Option<FunctionSemanticContract>,
    pub generation: u64,
    pub trusted_builtin: bool,
    pub issues: Vec<SemanticConformanceIssue>,
}

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

contract: Option<FunctionSemanticContract>

generation: u64

trusted_builtin: bool

issues: Vec<SemanticConformanceIssue>

Implementations

impl SemanticContractResolution

pub fn conforms(&self) -> bool

Trait Implementations

impl Clone for SemanticContractResolution

fn clone(&self) -> SemanticContractResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticContractResolution

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

Formats the value using the given formatter.