Struct mycroft::ir::Program

pub struct Program {
    pub predicates: BTreeMap<String, Predicate>,
    pub queries: BTreeMap<String, Query>,
    pub rules: BTreeMap<String, Rule>,
}

IR Program representation This is the structure to be handed off to the code generator.

Fields

predicates: BTreeMap<String, Predicate>

Map from predicate name to IR predicate

queries: BTreeMap<String, Query>

Map from query name to IR query

rules: BTreeMap<String, Rule>

Map from rule name to IR rule

Methods

impl Program

pub fn from_ast(ast: Program) -> Result<Self>

Generate a program IR from an AST

Trait Implementations