SVF::CFGrammar Class Reference

#include <CFGrammar.h>

Inheritance diagram for SVF::CFGrammar:

Public Member Functions
	CFGrammar ()
Productions &	getEpsilonProds ()
SymbolMap< Symbol, Productions > &	getSingleRHSToProds ()
SymbolMap< Symbol, Productions > &	getFirstRHSToProds ()
SymbolMap< Symbol, Productions > &	getSecondRHSToProds ()
const bool	hasProdsFromFirstRHS (const Symbol sym) const
const bool	hasProdsFromSingleRHS (const Symbol sym) const
const bool	hasProdsFromSecondRHS (const Symbol sym) const
const Productions &	getProdsFromSingleRHS (const Symbol sym) const
const Productions &	getProdsFromFirstRHS (const Symbol sym) const
const Productions &	getProdsFromSecondRHS (const Symbol sym) const
const Symbol &	getLHSSymbol (const Production &prod) const
const Symbol &	getFirstRHSSymbol (const Production &prod) const
const Symbol &	getSecondRHSSymbol (const Production &prod) const
void	dump () const
void	dump (std::string fileName) const
const u32_t	num_generator ()
Public Member Functions inherited from SVF::GrammarBase
Map< std::string, Kind > &	getNonterminals ()
void	setNonterminals (Map< std::string, Kind > &nonterminals)
Map< std::string, Kind > &	getTerminals ()
void	setTerminals (Map< std::string, Kind > &terminals)
Map< std::string, Kind > &	getEBNFSigns ()
void	setEBNFSigns (Map< std::string, Kind > &EBNFSigns)
SymbolMap< Symbol, Productions > &	getRawProductions ()
const Map< Kind, Set< Attribute > > &	getKindToAttrsMap () const
Kind	getTotalKind ()
Kind	getStartKind ()
void	setStartKind (Kind startKind)
void	setTotalKind (Kind totalKind)
std::string	extractKindStrFromSymbolStr (const std::string &symbolStr) const
std::string	extractAttributeStrFromSymbolStr (const std::string &symbolStr) const
void	setRawProductions (SymbolMap< Symbol, Productions > &rawProductions)
void	setKindToAttrsMap (const Map< Kind, Set< Attribute > > &kindToAttrsMap)
void	setAttributeKinds (const Set< Kind > &attributeKind)
Kind	strToKind (std::string str) const
Symbol	strToSymbol (const std::string str) const
std::string	kindToStr (Kind kind) const
std::string	symToStrDump (Symbol sym) const
Symbol	getSymbol (const Production &prod, u32_t pos)
const Set< Kind > &	getAttrSyms () const
Kind	insertNonterminalKind (std::string const kindStr)
	Insert kind to nonterminal and return kind.
Kind	insertTerminalKind (std::string strLit)
Symbol	insertSymbol (std::string strLit)
Symbol	insertNonTerminalSymbol (std::string strLit)
Symbol	insertTerminalSymbol (std::string strLit)
Symbol	insertEBNFSigns (std::string strLit)
void	insertAttribute (Kind kind, Attribute a)

Static Public Member Functions
static bool	classof (const CFGrammar *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const GrammarBase *node)
Static Public Member Functions inherited from SVF::GrammarBase
static Kind	getAttributedKind (Attribute attribute, Kind kind)
static Kind	getVariabledKind (VariableAttribute variableAttribute, Kind kind)

Private Attributes
SymbolSet< Production >	epsilonProds
SymbolMap< Symbol, Productions >	singleRHSToProds
SymbolMap< Symbol, Productions >	firstRHSToProds
SymbolMap< Symbol, Productions >	secondRHSToProds
u32_t	newTerminalSubscript

Additional Inherited Members
Public Types inherited from SVF::GrammarBase
typedef u32_t	Kind
typedef u32_t	Attribute
typedef u32_t	VariableAttribute
typedef struct SVF::GrammarBase::Symbol	Symbol
template<typename Key , typename Value , typename Hash = SymbolHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<std::pair<const Key, Value>>>
using	SymbolMap = std::unordered_map< Key, Value, Hash, KeyEqual, Allocator >
template<typename Key , typename Hash = SymbolVectorHash, typename KeyEqual = std::equal_to<Key>, typename Allocator = std::allocator<Key>>
using	SymbolSet = std::unordered_set< Key, Hash, KeyEqual, Allocator >
typedef std::vector< Symbol >	Production
typedef SymbolSet< Production >	Productions
Protected Attributes inherited from SVF::GrammarBase
Kind	startKind
Static Protected Attributes inherited from SVF::GrammarBase
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind.
static constexpr unsigned char	AttributedKindMaskBits = 24
	We use the lower 24 bits to denote attributed kind.
static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 290 of file CFGrammar.h.

Constructor & Destructor Documentation

CFGrammar()

CFGrammar::CFGrammar

(

)

Definition at line 341 of file CFGrammar.cpp.

{
    newTerminalSubscript = 0;
}

Member Function Documentation

classof() [1/2]

static bool SVF::CFGrammar::classof ( const CFGrammar *  )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 298 of file CFGrammar.h.

    {
        return true;
    }

classof() [2/2]

static bool SVF::CFGrammar::classof ( const GrammarBase *  node )

inlinestatic

Definition at line 303 of file CFGrammar.h.

    {
        return true;
    }

dump() [1/2]

void CFGrammar::dump

(

)

const

Definition at line 346 of file CFGrammar.cpp.

{
    dump("Normailized_Grammar.txt");
}

dump() [2/2]

void CFGrammar::dump

(

std::string

fileName

)

const

Definition at line 351 of file CFGrammar.cpp.

{
    std::ofstream gramFile(fileName);
    gramFile << "Start Kind:\n";
    gramFile << '\t' << kindToStr(startKind) << '(' << startKind << ')' << ' ' << "\n\n";
 
    gramFile << "Epsilon Production:\n";
    std::vector<std::string> strV;
    for (auto pro: this->epsilonProds)
    {
        std::stringstream ss;
        for (auto sym : pro)
        {
            if (sym == pro[1])
            {
                ss << "-> ";
            }
            ss << symToStrDump(sym) << '(' << sym.kind << ')' << ' ';
        }
        strV.insert(strV.begin(), ss.str());
    }
    std::sort(strV.begin(), strV.end());
    for (auto pro: strV)
    {
        gramFile << '\t';
        gramFile << pro;
        gramFile << '\n';
    }
    gramFile << '\n';
 
    gramFile << "Single Production:\n";
    strV = {};
    for (auto symProPair: singleRHSToProds)
    {
        for (auto pro: symProPair.second)
        {
            std::stringstream ss;
            int i = 0;
            for (auto sym : pro)
            {
                i++;
                if (i == 2)
                {
                    ss << "-> ";
                }
                ss << symToStrDump(sym) << '(' << sym.kind << ')' << ' ';
            }
            strV.insert(strV.begin(), ss.str());
        }
    }
    std::sort(strV.begin(), strV.end());
    for (auto pro: strV)
    {
        gramFile << '\t';
        gramFile << pro;
        gramFile << '\n';
    }
    gramFile << '\n';
 
    gramFile << "Binary Production:\n";
    strV = {};
    for (auto symProPair: firstRHSToProds)
    {
        for (auto pro: symProPair.second)
        {
            std::stringstream ss;
            int i = 0;
            for (auto sym : pro)
            {
                i++;
 
                if (i == 2)
                {
                    ss << "-> ";
                }
                ss << symToStrDump(sym) << '(' << sym.kind << ')' << ' ';
            }
            strV.insert(strV.begin(), ss.str());
        }
    }
    std::sort(strV.begin(), strV.end());
    for (auto pro: strV)
    {
        gramFile << '\t';
        gramFile << pro;
        gramFile << '\n';
    }
    gramFile << '\n';
 
    gramFile.close();
}

getEpsilonProds()

Productions & SVF::CFGrammar::getEpsilonProds ( )

inline

Definition at line 308 of file CFGrammar.h.

    {
        return epsilonProds;
    }

getFirstRHSSymbol()

const Symbol & SVF::CFGrammar::getFirstRHSSymbol ( const Production &  prod ) const

inline

Definition at line 373 of file CFGrammar.h.

    {
        return prod.at(1);
    }

getFirstRHSToProds()

SymbolMap< Symbol, Productions > & SVF::CFGrammar::getFirstRHSToProds ( )

inline

Definition at line 318 of file CFGrammar.h.

    {
        return firstRHSToProds;
    }

getLHSSymbol()

const Symbol & SVF::CFGrammar::getLHSSymbol ( const Production &  prod ) const

inline

Definition at line 368 of file CFGrammar.h.

    {
        return prod.at(0);
    }

getProdsFromFirstRHS()

const Productions & SVF::CFGrammar::getProdsFromFirstRHS ( const Symbol  sym ) const

inline

Definition at line 353 of file CFGrammar.h.

    {
        auto it = firstRHSToProds.find(sym);
        assert(it!=firstRHSToProds.end() && "production (X -> sym Y ) not found for sym!!");
        return it->second;
    }

getProdsFromSecondRHS()

const Productions & SVF::CFGrammar::getProdsFromSecondRHS ( const Symbol  sym ) const

inline

Definition at line 360 of file CFGrammar.h.

    {
        auto it = secondRHSToProds.find(sym);
        assert(it!=secondRHSToProds.end() && "production (X -> Y sym) not found for sym!!");
        return it->second;
    }

getProdsFromSingleRHS()

const Productions & SVF::CFGrammar::getProdsFromSingleRHS ( const Symbol  sym ) const

inline

Definition at line 346 of file CFGrammar.h.

    {
        auto it = singleRHSToProds.find(sym);
        assert(it!=singleRHSToProds.end() && "production (X -> sym) not found for sym!!");
        return it->second;
    }

getSecondRHSSymbol()

const Symbol & SVF::CFGrammar::getSecondRHSSymbol ( const Production &  prod ) const

inline

Definition at line 378 of file CFGrammar.h.

    {
        return prod.at(2);
    }

getSecondRHSToProds()

SymbolMap< Symbol, Productions > & SVF::CFGrammar::getSecondRHSToProds ( )

inline

Definition at line 323 of file CFGrammar.h.

    {
        return secondRHSToProds;
    }

getSingleRHSToProds()

SymbolMap< Symbol, Productions > & SVF::CFGrammar::getSingleRHSToProds ( )

inline

Definition at line 313 of file CFGrammar.h.

    {
        return singleRHSToProds;
    }

hasProdsFromFirstRHS()

const bool SVF::CFGrammar::hasProdsFromFirstRHS ( const Symbol  sym ) const

inline

Definition at line 328 of file CFGrammar.h.

    {
        auto it = firstRHSToProds.find(sym);
        return it!=firstRHSToProds.end();
    }

hasProdsFromSecondRHS()

const bool SVF::CFGrammar::hasProdsFromSecondRHS ( const Symbol  sym ) const

inline

Definition at line 340 of file CFGrammar.h.

    {
        auto it = secondRHSToProds.find(sym);
        return it!=secondRHSToProds.end();
    }

hasProdsFromSingleRHS()

const bool SVF::CFGrammar::hasProdsFromSingleRHS ( const Symbol  sym ) const

inline

Definition at line 334 of file CFGrammar.h.

    {
        auto it = singleRHSToProds.find(sym);
        return it!=singleRHSToProds.end();
    }

num_generator()

const u32_t SVF::CFGrammar::num_generator ( )

inline

Definition at line 388 of file CFGrammar.h.

    {
        return newTerminalSubscript++;
    }

Member Data Documentation

epsilonProds

SymbolSet<Production> SVF::CFGrammar::epsilonProds

private

Definition at line 394 of file CFGrammar.h.

firstRHSToProds

SymbolMap<Symbol, Productions> SVF::CFGrammar::firstRHSToProds

private

Definition at line 396 of file CFGrammar.h.

newTerminalSubscript

u32_t SVF::CFGrammar::newTerminalSubscript

private

Definition at line 398 of file CFGrammar.h.

secondRHSToProds

SymbolMap<Symbol, Productions> SVF::CFGrammar::secondRHSToProds

private

Definition at line 397 of file CFGrammar.h.

singleRHSToProds

SymbolMap<Symbol, Productions> SVF::CFGrammar::singleRHSToProds

private

Definition at line 395 of file CFGrammar.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/CFL/CFGrammar.h
• /home/runner/work/SVF/SVF/svf/lib/CFL/CFGrammar.cpp