Struct Renderer

struct Renderer {
    lbl: Lifetime,
    rule: Rule,
    metavars: HashMap<String, Vec<usize>>,
}

Fields

lbl: Lifetime

rule: Rule

metavars: HashMap<String, Vec<usize>>

The set of metavars and the index of the inputs they match

Implementations

impl Renderer

fn new(i: usize, rule: Rule) -> Self

fn render(&self) -> Result<TokenStream>

fn bty_arg_or_prim(&self, ident: &Ident) -> Result<TokenStream>

fn output_type(&self) -> Result<TokenStream>

fn metavar_matching(&self) -> TokenStream

Generates the code that checks that all the inputs matching the same metavariable are equal

fn check_primitive_types(&self) -> TokenStream

Generates the code that checks if an arg matching a primitive type has indeed that type

fn precondition(&self) -> TokenStream

fn declare_metavars(&self) -> TokenStream

Declare metavars as variables so they can be accessed in the guards

fn declare_idxs_names(&self) -> TokenStream

fn guards(&self) -> TokenStream

fn guard(&self, guard: &Guard) -> TokenStream