Struct Declaration 

pub struct Declaration { /* private fields */ }

What one mutation helper body states on its own: where the surface lands, the policy it is lowered under, and which point and owner fact its site stands at.

Everything else a site carries is token material and semantic bytes a door computes from the declaration it captured, so the helper states what an author can state and the door completes it.

Implementations

impl Declaration

pub const fn captured( address: Address, policy: Policy, point: Name, fact: Name, ) -> Self

Bind what one helper body stated.

Total: every part was admitted by its own road before it reached this one.

pub const fn address(&self) -> &Address

Where the rendered surface lands and what it is invoked by.

pub const fn policy(&self) -> &Policy

The policy the surface is lowered under.

pub const fn point(&self) -> &Name

The point this declaration’s site is discovered at.

pub const fn fact(&self) -> &Name

The owner fact this declaration’s site stands on.

pub fn completed( self, order: Vec<GeneratedToken>, production: Vec<GeneratedToken>, unchanged: Vec<u8>, alternatives: Vec<Alternative>, ) -> Result<Surface, DeclarationError>

Complete this declaration with the material only the door that captured it can compute.

Errors

Returns whatever Site::declared refuses with.

Trait Implementations

impl Clone for Declaration

fn clone(&self) -> Declaration

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Declaration

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

Formats the value using the given formatter.

impl Eq for Declaration

impl Hash for Declaration

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Declaration

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Declaration