pub struct InputPlan<'record, 'document> { /* private fields */ }Expand description
Original-bound schema preflight and exact chain-algorithm request mapping. A format-derived input can prepare its per-algorithm recipe once and reuse this SAME plan for execution, without reparsing timestamp information.
Implementations§
Source§impl<'r, 'd> InputPlan<'r, 'd>
impl<'r, 'd> InputPlan<'r, 'd>
Sourcepub fn algorithms(&self) -> &[Algorithm]
pub fn algorithms(&self) -> &[Algorithm]
Original chain order, including repeated algorithms. The digest batch retains this ordinal mapping when equal full identities are deduplicated.
Sourcepub fn record(&self) -> &'r EvidenceRecord<'d>
pub fn record(&self) -> &'r EvidenceRecord<'d>
SAME original record for this immutable plan.
Sourcepub fn verify_with_profile<'a, P, PE, A, S, RE, HE, FE>(
&self,
provider: &'a P,
operation: &Reader<'a>,
authorities: &'a A,
utc: &LeapTable<'a>,
reference: Instant,
objects: &mut [S],
membership: Membership,
recognizes: impl FnMut(usize, &TokenExtension<'_>, &Execution<'_>) -> Result<bool, RE>,
historical: impl FnMut(Historical<'_, 'a>, &Execution<'_>) -> Result<Decision, HE>,
profile: impl for<'view, 'scope> FnMut(usize, ProfileInput<'view, 'd, 'a, 'scope>) -> Result<(), ProfileFailure<FE>>,
) -> VerificationResult<'a, 'd, S::Error, PE, RE, A::Error, HE, FE>where
P: for<'scope> SignatureProvider<'scope, Error = PE>,
A: Authorities<'d>,
S: Source,
'r: 'a,
'd: 'a,
pub fn verify_with_profile<'a, P, PE, A, S, RE, HE, FE>(
&self,
provider: &'a P,
operation: &Reader<'a>,
authorities: &'a A,
utc: &LeapTable<'a>,
reference: Instant,
objects: &mut [S],
membership: Membership,
recognizes: impl FnMut(usize, &TokenExtension<'_>, &Execution<'_>) -> Result<bool, RE>,
historical: impl FnMut(Historical<'_, 'a>, &Execution<'_>) -> Result<Decision, HE>,
profile: impl for<'view, 'scope> FnMut(usize, ProfileInput<'view, 'd, 'a, 'scope>) -> Result<(), ProfileFailure<FE>>,
) -> VerificationResult<'a, 'd, S::Error, PE, RE, A::Error, HE, FE>where
P: for<'scope> SignatureProvider<'scope, Error = PE>,
A: Authorities<'d>,
S: Source,
'r: 'a,
'd: 'a,
Executes literal original objects with this SAME checked input plan. Selection callbacks need not cause a second schema/information parse.
Sourcepub fn verify_requests_with_profile<'a, P, PE, A, S, RE, HE, FE>(
&self,
provider: &'a P,
operation: &Reader<'a>,
authorities: &'a A,
utc: &LeapTable<'a>,
reference: Instant,
objects: &mut [S],
membership: Membership,
recognizes: impl FnMut(usize, &TokenExtension<'_>, &Execution<'_>) -> Result<bool, RE>,
historical: impl FnMut(Historical<'_, 'a>, &Execution<'_>) -> Result<Decision, HE>,
profile: impl for<'view, 'scope> FnMut(usize, ProfileInput<'view, 'd, 'a, 'scope>) -> Result<(), ProfileFailure<FE>>,
) -> VerificationResult<'a, 'd, S::Error, PE, RE, A::Error, HE, FE>where
P: for<'scope> SignatureProvider<'scope, Error = PE>,
A: Authorities<'d>,
S: RequestSource<'a, P>,
'r: 'a,
'd: 'a,
pub fn verify_requests_with_profile<'a, P, PE, A, S, RE, HE, FE>(
&self,
provider: &'a P,
operation: &Reader<'a>,
authorities: &'a A,
utc: &LeapTable<'a>,
reference: Instant,
objects: &mut [S],
membership: Membership,
recognizes: impl FnMut(usize, &TokenExtension<'_>, &Execution<'_>) -> Result<bool, RE>,
historical: impl FnMut(Historical<'_, 'a>, &Execution<'_>) -> Result<Decision, HE>,
profile: impl for<'view, 'scope> FnMut(usize, ProfileInput<'view, 'd, 'a, 'scope>) -> Result<(), ProfileFailure<FE>>,
) -> VerificationResult<'a, 'd, S::Error, PE, RE, A::Error, HE, FE>where
P: for<'scope> SignatureProvider<'scope, Error = PE>,
A: Authorities<'d>,
S: RequestSource<'a, P>,
'r: 'a,
'd: 'a,
Executes per-algorithm format inputs with this already checked plan. Every common/token/profile/history check still runs on the actual source.
Auto Trait Implementations§
impl<'record, 'document> !Freeze for InputPlan<'record, 'document>
impl<'record, 'document> !RefUnwindSafe for InputPlan<'record, 'document>
impl<'record, 'document> !Send for InputPlan<'record, 'document>
impl<'record, 'document> !Sync for InputPlan<'record, 'document>
impl<'record, 'document> !UnwindSafe for InputPlan<'record, 'document>
impl<'record, 'document> Unpin for InputPlan<'record, 'document>
impl<'record, 'document> UnsafeUnpin for InputPlan<'record, 'document>
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