Attr.checkId()方法

 

 

1、符号sym是TYP02

举个例子，如下：

 

package bazola;
class Point {
	// ... 
}
class Tree {
	class AttrVisitor { 
		// ...
	}
}
class PointTree extends Tree { 
	public void test(){
		// 会将PointTree.AttrVisitor更改为Tree.AttrVisitor
		PointTree.AttrVisitor x = null;		
	}	
}

 

方法各个参数值如下： 

JCTree tree = PointTree.AttrVisitor
Type site = bazola.PointTree
Symbol sym = bazola.Tree.AttrVisitor
Env env = Env[AttrContext[Scope[ | | super, this]],outer=Env[AttrContext[Scope[bazola.PointTree, bazola.Tree, bazola.Point, bazola.Gabriel]]]]　　 

int protoKindsSymbol = 2
Type protoTypesTagType =
boolean useVarargs = false 

 

normOuter = bazola.Tree

 

 

2、符号sym是VAR04

 

 

3、符号sym是MTH16

 

 

4、符号sym是PCK01或者ERR31