#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. More...

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: More...

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. More...

static constexpr unsigned char	AttributedKindMaskBits = 24
	We use the lower 24 bits to denote attributed kind. More...

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

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ CFGrammar()

Member Function Documentation

◆ classof() [1/2]

◆ classof() [2/2]

◆ dump() [1/2]

◆ dump() [2/2]

◆ getEpsilonProds()

◆ getFirstRHSSymbol()

◆ getFirstRHSToProds()

◆ getLHSSymbol()

◆ getProdsFromFirstRHS()

◆ getProdsFromSecondRHS()

◆ getProdsFromSingleRHS()

◆ getSecondRHSSymbol()

◆ getSecondRHSToProds()

◆ getSingleRHSToProds()

◆ hasProdsFromFirstRHS()

◆ hasProdsFromSecondRHS()

◆ hasProdsFromSingleRHS()

◆ num_generator()

Member Data Documentation

◆ epsilonProds

◆ firstRHSToProds

◆ newTerminalSubscript

◆ secondRHSToProds

◆ singleRHSToProds