[cp] SLR分析表的生成 以及分析程序(3)

1. SLR分析表的生成

仅列出定义及部分实现

/************************************************************************/

/* Author : 陈正

/* Time : 2005/06/24

/* Desc : 分析表

/************************************************************************/

#include "TypeDefine.h"

#include <string>

#include <deque>

using namespace std;

class ParseTable

{

class LR_Parser;

public:

ParseTable(void);

virtual ~ParseTable(void);

/* —— 2005/06/24 ——

* [返回开始状态]

* */

virtual int get_1st_state() = 0;

/* —— 2005/06/24 ——

* [生成SLR 分析表]

* */

virtual bool gen_table(ostream& error) = 0;

/* —— 2005/06/24 ——

* [返回GOTO值]

* */

virtual bool get_goto(int ,const Index& index, int& )const = 0;

/* —— 2005/06/24 ——

* [返回动作表]

* */

virtual bool get_action(int cur,const Index& index, Action& out_action)const = 0;

/* —— 2005/06/24 ——

* [字符串显示]

* */

virtual string ToString()const = 0;

/* —— 2005/06/27 ——

* [清空]

* */

virtual void clear() = 0;

/* —— 2005/06/27 ——

* [写数据]

* */

virtual void write_to(ostream& os) = 0;

};

#pragma once

/************************************************************************/

/* Author : 陈正

/* Time : 2005/06/24

/* Desc : SLR 分析表

/************************************************************************/

#include "Grammar.h"

#include "TypeDefine.h"

#include "First.h"

#include "Follow.h"

#include "ParseTable.h"

#include <deque>

#include <vector>

using namespace std;

class SLR_Table : public ParseTable

{

public:

typedef deque<map<string, Action > > TypeAction;

typedef deque<map<string, int > > TypeGoto;

public:

SLR_Table(const Grammar& m_grammar,const First& first,const Follow& follow);

~SLR_Table(void);

/* —— 2005/06/24 ——

* [生成SLR 分析表]

* */

bool gen_table(ostream& error);

/* —— 2005/06/24 ——

* [返回开始状态]

* */

int get_1st_state(){return 0;};

/* —— 2005/06/24 ——

* [返回GOTO值]

* */

bool get_goto(int ,const Index& index, int& )const;

/* —— 2005/06/24 ——

* [返回动作表]

* */

bool get_action(int cur,const Index& index, Action& out_action)const;

/* —— 2005/06/24 ——

* [设置动作表]

* */

bool add_to_action_s(int cur,const Index& index,int nxt);

bool add_to_action_r(int index_of_itemc,int index_of_item);

bool add_to_action_a(int cur);

/* —— 2005/06/24 ——

* [设置goto表]

* */

void add_to_goto(int index_of_itemc,const Index& index, int nxt);

/* —— 2005/06/24 ——

* [字符串显示]

* */

string ToString()const;

/* —— 2005/06/27 ——

* [清空]

* */

void clear();

/* —— 2005/06/27 ——

* [写数据]

* */

void write_to(ostream& os);

private:

const Grammar& m_grammar;

const First& m_first;

const Follow& m_follow;

TypeAction m_action_table;

TypeGoto m_goto_table;

};

部分实现

/*————————————————————————————————————————————/

* Desc: 生成SLR 分析表

* Parm

/————————————————————————————————————————————*/

bool SLR_Table::gen_table(ostream& error)

{

this->m_goto_table.resize(m_grammar.get_item_c_list().size());

this->m_action_table.resize(m_grammar.get_item_c_list().size());

for(unsigned int i=0; i<m_grammar.get_item_c_list().size(); i++)

{

const Item_c& itemc = m_grammar.get_item_c_list().GetElement(i);

/*

* (a) [如果[A->a。ab]在Ii中，并且goto(Ii, a) = Ij, 那么置action[i,a]为sj,含义是把a 和 状态 j进栈,a是终结符]

* (b) [如果[A->a。]在Ii中，那么对FOLLOW（A）中的所有b,置action[i,b]为rj,其中j表示A->a的编号，A不能为开始符号]

* (c) [如果是第一个项目在Ii中，那么置action[i,$] 为acc，表示接受]

* */

for(unsigned int j=0; j<itemc.size(); j++)

{

Index nxt_index;

int idx_item = itemc[j];

ItemType itype =

m_grammar.get_info_of_next_index(m_grammar.get_item(idx_item),nxt_index);

if(itype == IT_S )

// [移进 6/24/2005]

{

int nxt_state = m_grammar.get_dfa().get_next(i, nxt_index);

if(nxt_index.is_terminal())

{

if(!this->add_to_action_s(i, nxt_index,nxt_state))

{

error<<"在第 " + ToString::String(i) + "个项目集中发生冲突!";

return false;

}

}

else

{

this->add_to_goto(i,nxt_index,nxt_state);

}

}

else if(itype == IT_R)

// [规约 6/24/2005]

{

if(!this->add_to_action_r(i,idx_item))

{

error<<"在第 " + ToString::String(i) + "个项目集中发生冲突!";

return false;

}

}

else if(itype == IT_A)

// [接受 6/24/2005]

{

if(!this->add_to_action_a(i))

{

error<<"在第 " + ToString::String(i) + "个项目集中发生冲突!";

return false;

}

}

}

}

return true;

}