Struct ExecutionPermit 

pub struct ExecutionPermit { /* private fields */ }

Implementations

impl ExecutionPermit

pub fn execution_permit_id(&self) -> &ExecutionPermitId

Returns the permit identifier.

pub fn decision_id(&self) -> &PolicyDecisionId

Returns the policy decision that issued the permit.

pub fn case_id(&self) -> &VerificationCaseId

Returns the case covered by this permit.

pub fn plan_id(&self) -> &CheckPlanId

Returns the verification plan covered by this permit.

pub fn scope(&self) -> &ExecutionPermitScope

Returns the effect scope covered by this permit.

pub fn approval_record_id(&self) -> Option<&ApprovalRecordId>

Returns the approval record lineage, when human approval was required.

pub fn issued_at(&self) -> &str

Returns the issuance timestamp recorded on the decision.

pub fn citation(&self) -> &V25CitationContext

Returns the constitutional citation lineage bound to this permit.

pub fn obligation_refs(&self) -> &V25ControlObligationRefs

Returns the obligation references bound to this permit.

pub fn commit_token(&self) -> &CommitToken

Returns the sealed runtime commit token.

Trait Implementations

impl Clone for ExecutionPermit

fn clone(&self) -> ExecutionPermit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionPermit

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

Formats the value using the given formatter.

impl Eq for ExecutionPermit

impl From<&ExecutionPermit> for ToolExecutionPermit

fn from(permit: &ExecutionPermit) -> Self

Converts to this type from the input type.

impl PartialEq for ExecutionPermit

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for ExecutionPermit