public void exec_exp_B(Exp_B exp_b, String label) {
Exp_Operate operate = null;
if (exp_b.list_exp != null) {
if (label != null) {
operate = new Exp_Operate();
operate.op = type_op.LABEL;
operate.result = label;
list_op.add(operate);
}
int index = 0;
while (index < exp_b.list_exp.size()) {
Exp exp = exp_b.list_exp.get(index);
// System.out.println(exp.type.toString());
switch (exp.type) {
case WHI:
parse_sema_whi((Exp_whi) exp);
break;
case IFE:
parse_sema_ife((Exp_ife) exp);
;
break;
case NUM:
case STRING:
case BOOL:
parse_sema_typedef((Exp_type) exp, s);
break;
default:
parse_sema_mark((Exp_mark) exp);
break;
}
index++;
}
}
}
public Exp_Operate clone_Operate(Exp_Operate oper) {
Exp_Operate ope = new Exp_Operate();
ope.op = oper.op;
ope.s = oper.s;
ope.d = oper.d;
ope.result = oper.result;
return ope;
}
public String parse_sema_mark_(Exp_calcul exp_cal) {
// Exp_calcul exp_c1=(Exp_calcul) exp_cal.left;
Exp_Operate operate = null;
Exp_mark mark = (Exp_mark) exp_cal.left;
operate = new Exp_Operate();
// if(check_define(mark.value)!=type_cal.NUM && mark.type!=type_cal.NORMAL_NUM){
// error.error_print(9, null, mark.line, mark.row);
// count++;
// }
// 类型检查
backString(mark, type_cal.NUM);
// System.out.println(mark.value);
operate.s = mark.value;
while (exp_cal.right != null) {
Exp_calcul cal = ((Exp_calcul) exp_cal.right);
Exp_mark m = (Exp_mark) cal.left;
// if(m.type!=type_cal.NORMAL_STRING){
// if(check_define(m.value)!=type_cal.NUM && m.type!=type_cal.NORMAL_NUM){
// error.error_print(9,m.type.toString(), m.line, m.row);
// count++;
// }else{
//
// }
// }else{
// count++;
// error.error_print(9, m.type.toString(), m.line, m.row);
// }
// 检查m的定义。
backString(m, type_cal.NUM);
if (cal.type == type_cal.MUL) {
operate.op = type_op.MUL;
// System.out.println("*"+m.value);
} else if (cal.type == type_cal.DIV) {
operate.op = type_op.DIV;
// System.out.println("/"+m.value);
}
operate.d = m.value;
list_op.add(operate);
operate.result = "$";
operate = clone_Operate(operate);
operate.s = operate.result;
exp_cal = (Exp_calcul) exp_cal.right;
}
String s = operate.result;
if (operate.result == null) {
s = operate.s;
}
return s; // 最终乘除法计算结果
}
public void parse_sema_ife(Exp_ife ife) {
s++;
Exp_Operate opt = new Exp_Operate();
Exp_cond condition = ife.condition;
Exp_mark m1 = (Exp_mark) condition.left;
Exp_mark m2 = (Exp_mark) condition.right;
opt.op = get_compare_mark(condition.exp_comp);
if (m1 != null) {
opt.s = backString(m1, type_cal.NUM);
}
if (m2 != null) {
opt.d = backString(m2, type_cal.NUM);
}
opt.result = getLabel(); // 跳转标签
list_op.add(opt);
Exp_B exp_left = (Exp_B) ife.left;
Exp_B exp_right = (Exp_B) ife.right;
if (exp_left != null) {
exec_exp_B(exp_left, null);
}
// 如果有else
if (exp_right != null) {
exec_exp_B(exp_right, opt.result);
} else {
Exp_Operate operate = new Exp_Operate();
operate.op = type_op.LABEL;
operate.result = opt.result;
list_op.add(operate);
}
s--;
List<Integer> list = st.check_Dimension(s); // 返回那些引用数目为0的变量
// 优化部分
if (list != null) {
int i = 0;
while (i < list.size()) {
list_op.remove(list.get(i));
i++;
}
}
}
public void parse_sema_typedef(Exp_type typedef, int Dimension) {
Exp_Operate exp_op = new Exp_Operate();
exp_op.op = type_op.DEFINE;
// List<Table> list_tab=new ArrayList<Table>();
Table tab = new Table();
tab.Dimension = Dimension;
if (typedef.type == type_cal.NUM) {
exp_op.s = "num";
// tab.apoint=0;
tab.type = type_cal.NUM;
} else if (typedef.type == type_cal.STRING) {
tab.type = type_cal.STRING;
exp_op.s = "string";
} else {
exp_op.s = "bool";
tab.type = type_cal.BOOL;
}
// list_tab.add(tab);
Exp_mark mark = (Exp_mark) typedef.Id;
exp_op.result = mark.value;
tab.code_index = list_op.size();
list_op.add(exp_op);
// System.out.println("define var.."+mark.value);
st.put(mark.value, clone_tab(tab));
if (mark.list_value != null) {
int i = 0;
while (i < mark.list_value.size()) {
Exp_mark m = (Exp_mark) mark.list_value.get(i);
Table t = clone_tab(tab);
t.code_index = list_op.size();
st.put(m.value, t);
Exp_Operate operate = clone_Operate(exp_op);
operate.result = m.value;
list_op.add(operate);
// System.out.println("define var.."+m.value);
i++;
}
}
}
public void parse_sema_whi(Exp_whi whi) {
s++;
Exp_Operate opter = new Exp_Operate();
opter.op = type_op.LABEL;
opter.result = getLabel();
list_op.add(opter);
Exp_Operate opt = new Exp_Operate();
Exp_cond condition = whi.condition;
Exp_mark m1 = (Exp_mark) condition.left;
Exp_mark m2 = (Exp_mark) condition.right;
opt.op = get_compare_mark(condition.exp_comp);
opt.s = backString(m1, type_cal.NUM);
opt.d = backString(m2, type_cal.NUM);
opt.result = getLabel(); // 跳转标签
list_op.add(opt);
Exp_B exp = (Exp_B) whi.next;
exec_exp_B(exp, null);
Exp_Operate op1 = new Exp_Operate();
op1.op = type_op.JMP;
op1.result = opter.result;
list_op.add(op1);
Exp_Operate op2 = new Exp_Operate();
op2.op = type_op.LABEL;
op2.result = opt.result;
list_op.add(op2);
s--;
st.check_Dimension(s);
}
public void parse_sema_mark(Exp_mark exp_mark) {
// a=a+b 等号左边的必须是变量，不能是常量，而且需要匹配类型；右边的可以使常量，但必须匹配类型
if (exp_mark.type == type_cal.ID) {
if (check_define(exp_mark.value) == type_cal.NUM) {
Exp_Operate operate = null;
operate = new Exp_Operate();
if (exp_mark.got != null) {
Exp_Operate op_send = new Exp_Operate();
Exp_calcul c = (Exp_calcul) exp_mark.got;
operate.s = parse_sema_mark_((Exp_calcul) c.left);
while (c.right != null) {
c = (Exp_calcul) c.right;
if (c.type == type_cal.ADD) {
operate.op = type_op.ADD;
// System.out.println("+");
} else if (c.type == type_cal.SUB) {
operate.op = type_op.SUB;
// System.out.println("-");
}
operate.d = parse_sema_mark_((Exp_calcul) c.left);
operate.result = "$";
list_op.add(operate);
operate = clone_Operate(operate);
operate.s = operate.result;
}
op_send.op = type_op.SEND;
Exp_calcul cal = (Exp_calcul) exp_mark.got;
op_send.s = operate.s;
op_send.result = exp_mark.value;
list_op.add(op_send);
}
} else if (check_define(exp_mark.value) == type_cal.STRING) {
count++;
error.error_print(9, "string", exp_mark.line, exp_mark.row);
} else if (check_define(exp_mark.value) == type_cal.BOOL) {
count++;
error.error_print(9, "bool", exp_mark.line, exp_mark.row);
} else {
count++;
error.error_print(9, null, exp_mark.line, exp_mark.row);
}
} else {
count++;
error.error_print(8, exp_mark.type.toString(), exp_mark.line, exp_mark.row);
}
}