Struct substrate_parser::propagated::Checker

pub struct Checker {
    pub specialty_set: SpecialtySet,
    pub cycle_check: Vec<u32>,
}

Types data collected and checked during parsing (SpecialtySet and type id collection to prevent cycling).

Fields

specialty_set: SpecialtySet

SpecialtySet initiated new and modified during decoding.

cycle_check: Vec<u32>

Collection of encountered so far during decoding type ids from metadata types Registry, to catch possible endless type resolver cycles.

Implementations

impl Checker

pub fn new() -> Self

Initiate new Checker in decoding sequence.

pub fn reject_compact(&self) -> Result<(), RegistryError>

Check that compact_at field in associated SpecialtySet is not Some(_), i.e. there was no compact type encountered.

pub fn forget_hint(&mut self)

Discard previously found Hint.

pub fn update_for_field( &self, field: &Field<PortableForm> ) -> Result<Self, RegistryError>

Use known, propagated from above Checker to construct a new Checker for an individual Field.

pub fn update_for_ty( &self, ty: &Type<PortableForm>, id: u32 ) -> Result<Self, RegistryError>

Use known, propagated from above Checker to construct a new Checker for a Type.

pub fn drop_cycle_check(&mut self)

Discard previously collected cycle_check set.

For cases when Checker keeps propagating, but decoded data itself has changed.

pub fn check_id(&mut self, id: u32) -> Result<(), RegistryError>

Check new type id.

If type was already encountered in this Checker (and thus its id is in cycle_check), the decoding has entered a cycle and must be stopped. If not, type id is added into cycle_check.

Trait Implementations

impl Clone for Checker

fn clone(&self) -> Checker

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Checker

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

Formats the value using the given formatter.

impl Default for Checker

fn default() -> Self

Returns the “default value” for a type.