#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 = 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 = 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 294 of file CFGrammar.h.

Constructor & Destructor Documentation

◆ CFGrammar()

CFGrammar::CFGrammar ( )

Definition at line 343 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 302 of file CFGrammar.h.

    {
        return true;
    }

◆ classof() [2/2]

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

inlinestatic

Definition at line 307 of file CFGrammar.h.

    {
        return true;
    }

◆ dump() [1/2]

void CFGrammar::dump ( ) const

Definition at line 348 of file CFGrammar.cpp.

{
    dump("Normailized_Grammar.txt");
}

◆ dump() [2/2]

void CFGrammar::dump ( std::string fileName ) const

Definition at line 353 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 312 of file CFGrammar.h.

    {
        return epsilonProds;
    }

◆ getFirstRHSSymbol()

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

inline

Definition at line 377 of file CFGrammar.h.

    {
        return prod.at(1);
    }

◆ getFirstRHSToProds()

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

inline

Definition at line 322 of file CFGrammar.h.

    {
        return firstRHSToProds;
    }

◆ getLHSSymbol()

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

inline

Definition at line 372 of file CFGrammar.h.

    {
        return prod.at(0);
    }

◆ getProdsFromFirstRHS()

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

inline

Definition at line 357 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 364 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 350 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 382 of file CFGrammar.h.

    {
        return prod.at(2);
    }

◆ getSecondRHSToProds()

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

inline

Definition at line 327 of file CFGrammar.h.

    {
        return secondRHSToProds;
    }

◆ getSingleRHSToProds()

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

inline

Definition at line 317 of file CFGrammar.h.

    {
        return singleRHSToProds;
    }

◆ hasProdsFromFirstRHS()

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

inline

Definition at line 332 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 344 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 338 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 392 of file CFGrammar.h.

    {
        return newTerminalSubscript++;
    }

Member Data Documentation

◆ epsilonProds

SymbolSet<Production> SVF::CFGrammar::epsilonProds

private

Definition at line 398 of file CFGrammar.h.

◆ firstRHSToProds

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

private

Definition at line 400 of file CFGrammar.h.

◆ newTerminalSubscript

u32_t SVF::CFGrammar::newTerminalSubscript

private

Definition at line 402 of file CFGrammar.h.

◆ secondRHSToProds

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

private

Definition at line 401 of file CFGrammar.h.

◆ singleRHSToProds

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

private

Definition at line 399 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