SVF::CFLGramGraphChecker Class Reference

#include <CFLGramGraphChecker.h>

Public Member Functions
void	check (GrammarBase *grammar, CFLGraphBuilder *graphBuilder, CFLGraph *graph)

Detailed Description

Definition at line 37 of file CFLGramGraphChecker.h.

Member Function Documentation

check()

void SVF::CFLGramGraphChecker::check ( GrammarBase *  grammar, CFLGraphBuilder *  graphBuilder, CFLGraph *  graph  )

inline

Check all kinds in grammar in graphBuilder with the same label

Get KindToAttrs Map from Graph to Grammar

Definition at line 40 of file CFLGramGraphChecker.h.

    {
        for(auto pairV : grammar->getTerminals())
        {
            if (graphBuilder->getLabelToKindMap().find(pairV.first) != graphBuilder->getLabelToKindMap().end())
            {
                assert(graphBuilder->getLabelToKindMap()[pairV.first] == pairV.second);
                assert(graphBuilder->getKindToLabelMap()[pairV.second] == pairV.first);
            }
        }
 
        for(auto pairV : grammar->getNonterminals())
        {
            if (graphBuilder->getLabelToKindMap().find(pairV.first) != graphBuilder->getLabelToKindMap().end())
            {
                assert(graphBuilder->getLabelToKindMap()[pairV.first] == pairV.second);
                assert(graphBuilder->getKindToLabelMap()[pairV.second] == pairV.first);
            }
            else
            {
                graphBuilder->getLabelToKindMap().insert(std::make_pair (pairV.first,pairV.second));
                graphBuilder->getKindToLabelMap().insert(std::make_pair (pairV.second, pairV.first));
            }
        }
 
        grammar->setKindToAttrsMap(graphBuilder->getKindToAttrsMap());
        graph->startKind = grammar->getStartKind();
    }

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/CFL/CFLGramGraphChecker.h