Struct Reader 

pub struct Reader {
    pub messages: Vec<Vec<u8>>,
    pub first_id: u64,
}

Collect buffers waiting to be read.

Fields

messages: Vec<Vec<u8>>

first_id: u64

Implementations

impl Reader

pub fn new() -> Reader

pub fn new_filtered(first_id: u64) -> Reader

Collect messages. Methods will filter out irrelevant variables. first_id: The first variable ID to consider in received messages. Variables with lower IDs are ignored.

pub fn push_message(&mut self, buf: Vec<u8>) -> Result<()>

pub fn read_from(&mut self, reader: impl Read) -> Result<()>

pub fn read_file(&mut self, path: impl AsRef<Path>) -> Result<()>

pub fn first_header(&self) -> Option<CircuitHeader<'_>>

pub fn last_header(&self) -> Option<CircuitHeader<'_>>

pub fn headers(&self) -> Vec<CircuitHeader<'_>>

pub fn instance_variables(&self) -> Option<Vec<Variable<'_>>>

pub fn private_variables(&self) -> Option<Vec<Variable<'_>>>

impl Reader

pub fn iter_constraints(&self) -> R1CSIterator<'_>

impl Reader

pub fn iter_witness(&self) -> WitnessIterator<'_>

Trait Implementations

impl Clone for Reader

fn clone(&self) -> Reader

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Reader

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

Formats the value using the given formatter.

impl From<&Reader> for Messages

fn from(reader: &Reader) -> Messages

Convert from Flatbuffers messages to owned structure.

impl<'a> IntoIterator for &'a Reader

type Item = Root<'a>

The type of the elements being iterated over.

type IntoIter = MessageIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> MessageIterator<'a>

Creates an iterator from a value.