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

原创 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);
	}
}

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

四元式。 代码: FourItem.java: package per.eyuan.util; public class FourItem { String op; String ...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:27
  • 303

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

数值。 代码: Num.java: package per.eyuan.util; public class Num { final String num="num"; int i...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:25
  • 231

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

二元式。 代码: TwoItem.java: package per.eyuan.util; public class TwoItem { String item1;//类别id,nu...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:26
  • 198

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

GoTo表。 代码: GoTo.java package per.eyuan.util; public class GoTo { /* * SLR的goto表 * 接受传递...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:18
  • 274

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

Action动作表。 代码: Action.java package per.eyuan.util; public class Action { /* * SLR的action表...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:19
  • 265

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

代码: Compile.java: package per.eyuan.compile; import per.eyuan.util.Id; import per.eyuan.util.I...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:06
  • 385

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

代码: IO.java package per.eyuan.compile; import java.io.File; import java.io.IOException; impor...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:08
  • 222

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

四元式栈。 代码: FourItemStack.java: package per.eyuan.util; public class FourItemStack { private i...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:29
  • 268

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

语义分析。 代码: Semanteme.java: package per.eyuan.compile; import per.eyuan.util.Id; public class...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:14
  • 284

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

词法分析: 代码: Lexical.java: package per.eyuan.compile; import per.eyuan.util.*; public class Le...
  • EYUANatQQdotCOM
  • EYUANatQQdotCOM
  • 2012年03月30日 22:11
  • 407
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:编译原理——变量声明语句(四)
举报原因:
原因补充:

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