summaryrefslogtreecommitdiff
path: root/src/minijava/symboltable/MClasses.java
blob: 10bd0091dda00129e9ebc76632046500506cf808 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
/**
 * 所有声明的类的列表
 */
package minijava.symboltable;

import java.util.Vector;

import minijava.typecheck.PrintError;

public class MClasses extends MType {
	public Vector<MClass> mj_classes = new Vector<MClass>(); // 用于存放类

	MClass findClassByName(String c_name) {
		for (int i=0; i<mj_classes.size(); i++) {
			if (mj_classes.elementAt(i).getName().equals(c_name)) {
				return mj_classes.elementAt(i);
			}
		}
		return null;
	}
	
	// 在表中插入类
	public String InsertClass(MClass v_class) { 
		String class_name = v_class.getName();
		if (Repeated(class_name)) // 如已经定义过该类,返回错误信息
			return "Class double declaration " + "\"" + class_name + "\"";
		mj_classes.addElement(v_class);
		return null;
	}

	// 判定是否定义同名的类
	public boolean Repeated(String class_name) {
		int sz = mj_classes.size();
		for (int i = 0; i < sz; i++) {
			String c_name = ((MClass) mj_classes.elementAt(i)).getName();
			if (c_name.equals(class_name))
				return true;
		}
		return false;
	}
	
	public void buildClassRelation() {
		// 通过extend_class_name确定extend_class, 并查找循环继承
		for (int i=0; i<mj_classes.size(); i++) {
			MClass m_class = mj_classes.elementAt(i);
			String ext_name = m_class.extend_class_name;
			if (ext_name!=null) {
				m_class.extend_class = findClassByName(ext_name);
			}
		}
		int tag = 1; // 扫描循环继承的标记
		for (int i=0; i<mj_classes.size(); i++) {
			MClass m_class = mj_classes.elementAt(i);
			if (m_class.extend_tag==0) {
				m_class.extend_tag = tag;
				while (m_class.extend_class!=null) {
					m_class = m_class.extend_class;
					if (m_class.extend_tag==tag) { // 循环继承
						PrintError.print(m_class.line, m_class.column, 
								"Circular extend in class"+m_class.name);
						break; // error
					} else if (m_class.extend_tag==0) {
						m_class.extend_tag = tag;
					} else {
						break; // no error
					}
				}
				tag++;
			}
		}
	}
	
	public boolean checkAllVars() {
		boolean result = true;
		for (int i=0; i<mj_classes.size(); i++) {
			result &= mj_classes.elementAt(i).classVarCheck();
		}
		return result;
	}
	
	public boolean checkAllFuncs() {
		boolean result = true;
		for (int i=0; i<mj_classes.size(); i++) {
			result &= mj_classes.elementAt(i).classFuncCheck();
		}
		return result;
	}
	
	public void checkAllStatements() {
		for (int i=0; i<mj_classes.size(); i++) {
			mj_classes.elementAt(i).classStatementCheck();
		}
	}
	
	// 调试输出: 打印所有的类的信息
	public void printClasses(int spaces) {
		for (int i=0; i<mj_classes.size(); i++) {
			mj_classes.elementAt(i).printClass(spaces);
		}
	}
}