为了支持给列表进行赋值,使用这样的语法 list[1]=10, 而这跟a=list[1]是不一样的,因为前者用java的语法应该翻译成 list.set(1,10),而后在应该翻译成 a= list.get(1)。所以要判断list[1]是在赋值的左边还是右边。
对于list[1]=10,抽象语法树的遍历过程是
JCAssign(list[1]=10) -> JCIndexed(list[1])
->JCLiteral(10)
JCAssign(list[1]=10) <-
采用后序遍历,先子树,后父树
所以采用一个全局变量来记录当前是不是在左边(isLeft)和一个变量记录当前是不是list的赋值(isSet),
boolean tmpIsLeft = isLeft; // save isLeft states, to solve nested
// problem such as list[list[1]=a]=a;
isLeft = true; // set isLeft=true
boolean tmpIsSet = isSet; // save isSet states
isSet = false;
tree.lhs = translate(tree.lhs); // translate left tree of assign
isLeft = false;
tree.rhs = translate(tree.rhs); // translate right tree of assign
if(isSet) {//是赋值的set,翻译}
为了支持负数下标的访问,翻译很简单,list[expr]==>list[expr<0?(expr+list.size()):expr]