Struct VerifiedProgram 

pub struct VerifiedProgram { /* private fields */ }

Implementations

impl VerifiedProgram

pub fn ast(&self) -> &AstExpression

pub fn root(&self) -> &VerifiedExpression

pub fn profile(&self) -> &SecurityProfile

pub fn body_need(&self) -> BodyNeedSummary

pub fn static_cost_upper_bound(&self) -> u64

pub fn regex_literals(&self) -> &[RegexLiteral]

pub fn regex_cache(&self) -> &CompiledRegexCache

pub fn required_capabilities(&self) -> &BTreeSet<CapabilityTicket>

pub fn required_capability_metadata( &self, ) -> &BTreeMap<CapabilityTicket, CapabilityMeta>

Trait Implementations

impl Clone for VerifiedProgram

fn clone(&self) -> VerifiedProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedProgram

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

Formats the value using the given formatter.