compiled_grammar::compiled_grammar( state_machine_base const & main, std::vector<std::reference_wrapper<state_machine_base const>> productions, std::vector<std::pair<std::reference_wrapper<state_machine_base const>, std::reference_wrapper<state_machine_base const>>> precedences ) : main(&main), productions(transform_productions(productions)) { for (auto const & i : precedences) { add_precedence(i.first, i.second); } }
static HLREnhGrammar *enhance_grammar(const HCFGrammar *g, const HLRDFA *dfa, const HLRTable *table) { HAllocator *mm__ = g->mm__; HArena *arena = g->arena; HLREnhGrammar *eg = h_arena_malloc(arena, sizeof(HLREnhGrammar)); eg->tmap = h_hashtable_new(arena, h_eq_transition, h_hash_transition); eg->smap = h_hashtable_new(arena, h_eq_ptr, h_hash_ptr); eg->corr = h_hashtable_new(arena, h_eq_symbol, h_hash_symbol); // XXX must use h_eq/hash_ptr for symbols! so enhanced CHARs are different eg->arena = arena; // establish mapping between transitions and symbols for(HSlistNode *x=dfa->transitions->head; x; x=x->next) { HLRTransition *t = x->elem; assert(!h_hashtable_present(eg->tmap, t)); HCFChoice *sym = new_enhanced_symbol(eg, t->symbol); h_hashtable_put(eg->tmap, t, sym); h_hashtable_put(eg->smap, sym, t); } // transform the productions H_FOREACH(eg->tmap, HLRTransition *t, HCFChoice *sym) transform_productions(table, eg, t->from, sym); H_END_FOREACH // add the start symbol HCFChoice *start = new_enhanced_symbol(eg, g->start); transform_productions(table, eg, 0, start); eg->grammar = h_cfgrammar_(mm__, start); return eg; }