编译原理——变量声明语句(四)

原创 2012年03月30日 22:12:55

语法分析。

代码:

Syntax.java

package per.eyuan.compile;

import per.eyuan.util.Action;
import per.eyuan.util.GoTo;
import per.eyuan.util.Id;
import per.eyuan.util.IdTable;
import per.eyuan.util.MyStack;
import per.eyuan.util.TwoItem;

public class Syntax {
//	Id idt[];//存放词法分析得到的Id数组,并添加type属性
	IdTable idt;
	TwoItem ti[];//二元式
	int ti_flag;//二元式当前位置标志,
	MyStack msStatu=new MyStack();//状态栈,存放状态
	MyStack msSymble=new MyStack();//符号栈,存放符号
	MyStack msSmtm=new MyStack();//语义栈
	Action act=new Action();//Action表
	GoTo gt=new GoTo();//GoTo表
	String action;//动作
	boolean succ=false;//是否接受,分析成功
	String statu="";//当前动作时的状态栈内容
	String symble="";//符号栈内容
	String state="";//语句
	String semanteme="";//语义
	String syntax[]={"S`->S","S->D;","D->int id","D->float id","D->D,id"};
	String synL[]={"X","S","D","D","D"};
	String synR[][]={{"S"},{"D",";"},{"int","id"},{"float","id"},{"D",",","id"}};
	String vnType;//非终结符的“类型”
	public Syntax() {
		super();
		init();
	}

	public void init(){
		//状态栈和符号栈初始化
		msStatu.push("0");
		msSymble.push("#");
		msSmtm.push("_");
		ti_flag=0;
	}
	public void analyse(){
		System.out.println("状态栈\t\t符号栈\t\t语义\t\t输入串\t\t\t动作说明");
		while(!succ){
			//获取状态栈和语句栈栈顶,查询Action表
			act.setTable(msStatu.getTop(), ti[ti_flag].getItem1());
			//获取Action表返回的动作,并作处理
			//action=act.getAction();
			action=act.getAction();
			perform(action);
		}
		
	}
	public void perform(String action){
		//出错
		if(action.equals("err")){
			error();
		}
			
		//接受
		else if(action.equals("acc")){
			this.succ=true;
			output(-1);
		}
		//移进
		//移进时,状态入栈,符号入栈,二元式“出栈”
		else if(action.charAt(0)=='s'){
			int x=Integer.parseInt(action.charAt(1)+"");
			output(x);//输出动作说明等
			msStatu.push(x+"");
			msSymble.push(ti[ti_flag].getItem1());
			if(ti[ti_flag].getItem1().equals("id"))
				msSmtm.push(ti[ti_flag].getItem2());
			//或为msSmtm.push(id[Integer.parseInt(ti[ti_flag].getItem2())].getName());
			else
				msSmtm.push("_");
			ti_flag++;//标志从0开始,逐渐增大,二元式“出栈”
			
		}
		//归约
		else if(action.charAt(0)=='r'){
			int y=Integer.parseInt(action.charAt(1)+"");
			output(y);//输出动作说明等

			int ind=-1;
			if(y==2||y==3||y==4)
				ind=Integer.parseInt(ti[ti_flag-1].getItem2());
			
			for(int j=0;j<synR[y].length;j++){
				msSymble.pop();
				msStatu.pop();
				msSmtm.pop();
			}
			msSymble.push(synL[y]);
			gt.setTable(msStatu.getTop(), synL[y]);
			msStatu.push(gt.getGoTo());
			msSmtm.push(synL[y]);

			if(y==2){
				addType(ind,"int");
				vnType="int";
			}
			else if(y==3){
				addType(ind,"float");
				vnType="float";
			}
			else if(y==4)
				addType(ind,vnType);
		}			
	}
	//错误处理
	public void error(){
		System.out.println("error,语法错误");
	}
	
	//输出动作
	public void output(int num){
		//输出分析过程
		statu=symble=state=semanteme="";
		for(int m=0;m<msStatu.getLength();m++)
			statu+=(" "+msStatu.getAll()[m]);
		for(int m=0;m<msSymble.getLength();m++)
			symble+=(" "+msSymble.getAll()[m]);
		for(int m=0;m<msSmtm.getLength();m++)
			semanteme+=(" "+msSmtm.getAll()[m]);
		for(int m=ti_flag;m<ti.length;m++)
			state+=(" "+ti[m].getItem1());
		String actionDes=" ";//动作说明
		if(action.charAt(0)=='r'){//归约
			actionDes="用"+syntax[num]+"进行规约";
		}else if(action.equals("acc")){
			actionDes="分析成功";
		}else if(action.charAt(0)=='s'){//移进
			actionDes="状态"+num+"入状态栈";
		}System.out.println(statu+"\t\t"+symble+"\t\t"+semanteme+"\t\t"+state+"\t\t\t"+action+":"+actionDes);		
	}
	//getters and setters
	public void setTi(TwoItem[] twoItem) {
		this.ti=new TwoItem[twoItem.length+1];//比词法分析得到的(有效)二元式个数多1
		for(int j=0;j<twoItem.length;j++)
			this.ti[j]=twoItem[j];
		this.ti[twoItem.length]=new TwoItem("#","-");
	}
	

	public IdTable getIdt() {
		return idt;
	}

	public void setIdt(IdTable idt) {
		this.idt = idt;
	}

	public void addType(int index,String type){
		idt.addType(index, type);
	}
}

相关文章推荐

编译原理——变量声明语句(六)

GoTo表。 代码: GoTo.java package per.eyuan.util; public class GoTo { /* * SLR的goto表 * 接受传递...

编译原理——变量声明语句(十)

常数表。 代码: Constant.java package per.eyuan.util; //常数表 public class Constant { String key="num"...

编译原理——变量声明语句(一)

代码: Compile.java: package per.eyuan.compile; import per.eyuan.util.Id; import per.eyuan.util.I...

编译原理——变量声明语句(三)

词法分析: 代码: Lexical.java: package per.eyuan.compile; import per.eyuan.util.*; public class Le...

编译原理——变量声明语句(七)

Action动作表。 代码: Action.java package per.eyuan.util; public class Action { /* * SLR的action表...

C语言变量声明问题——变量定义一定要放在所有执行语句/语句块的最前面吗?

参考网址:http://www.cnblogs.com/web-HCJ/p/4468689.html 报错信息:error C2065: 'salary' : undeclared ...

【PLSQL】变量声明,结构语句,cursor游标

显式cursor的属性: %isopen, 布尔类型, %notfound,布尔类型,如果前一个fetch语句没有返回一行记录,其值为true; ...

Python实现的用于从布局文件的id生成成员变量声明和findViewById语句的Android开发小工具

Python做的一个Android开发的小工具

JS中的变量声明——var,let,const的区别

简述 var 作用域:函数;可以重新分配;可以修改;同一作用域可以重复声明 let 作用域:块级;可以重新分配;可以修改;同一作用域不能重复声明 const 作用域:块级;不能重新分配;可以修改...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:编译原理——变量声明语句(四)
举报原因:
原因补充:

(最多只允许输入30个字)