Struct SimpleFinalizer

pub struct SimpleFinalizer<W: Iterator<Item = Value>> { /* private fields */ }

Basic finalizer which converts a super::CommitNode to a super::RedeemNode by attaching witness data from an iterator.

Does not do any type-checking and may attach an invalid witness to a combinator.

If it encounters a disconnect node, it simply returns an error.

This finalizer should not be used in production. It introduces default values (Value::zero) to handle missing witness data, which might trigger unexpected spending paths.

Implementations

impl<W: Iterator<Item = Value>> SimpleFinalizer<W>

pub fn new(iter: W) -> Self

Trait Implementations

impl<W: Iterator<Item = Value>, J: Jet> Converter<Commit<J>, Redeem<J>> for SimpleFinalizer<W>

type Error = FinalizeError

The error type returned by the methods on this trait.

fn convert_witness( &mut self, data: &PostOrderIterItem<&CommitNode<J>>, _: &NoWitness, ) -> Result<Value, Self::Error>

For witness nodes, this method is called first to attach witness data to the node.

fn convert_disconnect( &mut self, _: &PostOrderIterItem<&CommitNode<J>>, _: Option<&Arc<RedeemNode<J>>>, _: &NoDisconnect, ) -> Result<Arc<RedeemNode<J>>, Self::Error>

For disconnect nodes, this method is called first to attach a disconnected expression to the node.

fn convert_data( &mut self, data: &PostOrderIterItem<&CommitNode<J>>, inner: Inner<&Arc<RedeemNode<J>>, J, &Arc<RedeemNode<J>>, &Value>, ) -> Result<Arc<RedeemData<J>>, Self::Error>

This method is called for every node, after Self::convert_witness or Self::prune_case, if either is applicable.

fn visit_node(&mut self, _data: &PostOrderIterItem<&Node<N>>)

This method is called on every node, to inform the Converter about the state of the iterator.

fn prune_case( &mut self, _data: &PostOrderIterItem<&Node<N>>, _left: &Arc<Node<M>>, _right: &Arc<Node<M>>, ) -> Result<Hide, Self::Error>

For case nodes, this method is called first to decide which, if any, children to prune.