Trait orzir_core::Parse

pub trait Parse {
    type Item;

    // Required method
    fn parse(
        ctx: &mut Context,
        state: &mut ParseState<'_>
    ) -> ParseResult<Self::Item>;
}

The parse trait for all the components in IR.

Required Associated Types

type Item

Required Methods

fn parse( ctx: &mut Context, state: &mut ParseState<'_> ) -> ParseResult<Self::Item>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Parse for f32

type Item = f32

fn parse(_: &mut Context, state: &mut ParseState<'_>) -> ParseResult<Self::Item>

impl Parse for usize

type Item = usize

fn parse(_: &mut Context, state: &mut ParseState<'_>) -> ParseResult<Self::Item>

impl<T: Parse> Parse for Option<T>

fn parse( ctx: &mut Context, state: &mut ParseState<'_> ) -> ParseResult<Self::Item>

Parsing an optional item.

This will first try to parse the item, and if failed, rollback the stream.

type Item = Option<<T as Parse>::Item>

Implementors

impl Parse for Value

type Item = ArenaPtr<Value>

impl Parse for ApInt

type Item = ApInt

impl Parse for ArenaPtr<TyObj>

type Item = ArenaPtr<TyObj>

impl Parse for Block

type Item = ArenaPtr<Block>

impl Parse for Mnemonic

type Item = Mnemonic

impl Parse for OpObj

type Item = ArenaPtr<OpObj>

impl Parse for Region

type Item = ArenaPtr<Region>

impl Parse for Successor

type Item = Successor

impl Parse for Symbol

type Item = Symbol

impl Parse for TyObj

type Item = ArenaPtr<TyObj>