编译原理——变量声明语句（四）

语法分析。

代码：

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