java AST JCTree简要分析

[亡魂溺海] 提交于 2019-11-28 06:14:34

JCTree简要分析

[toc]

JCAnnotatedType

被注解的泛型:(注解的Target为ElementType.TYPE_USE时可注解泛型)

public static class A<T extends @Reality String> {
    
}
  • JCAnnotatedType @Reality() String
  • annotations (List<JCTree.JCAnnotation>) [0] = (JCAnnotation) @Reality()
  • underlyingType (JCExpression) = (JCIdent) String
protected JCAnnotatedType(List<JCTree.JCAnnotation> var1, JCTree.JCExpression var2) {
    Assert.check(var1 != null && var1.nonEmpty());
    this.annotations = var1;
    this.underlyingType = var2;
}

JCAnnotation

注解:@annotationType(args) 例子:@Reality(callSuper = false)

  • JCAnnotation @Reality(callSuper = false)
  • annotationType (JCTree) = (JCIdent) Reality
  • args (List<JCExpression>) = callSuper = false
  • attribute (Compound) = @com.juno.annotations.Reality(callSuper=false)
protected JCAnnotation(JCTree.Tag var1, JCTree var2, List<JCTree.JCExpression> var3) {
    this.tag = var1;
    this.annotationType = var2;
    this.args = var3;
}

JCArrayAccess

数组访问:a[0] = "123"

  • index (JCExpression) = 0 (JCLiteral)
  • indexed (JCExpression) = a (JCIdent)
protected JCArrayAccess(JCTree.JCExpression var1, JCTree.JCExpression var2) {
    this.indexed = var1;
    this.index = var2;
}

JCArrayTypeTree

数组类型:String[] a = new String[2] 中表达式的右边:

  • elemtype (JCExpression) = String (JCIdent)

二维数组:String[][] a = new String[1][2]解析为:

  • JCArrayTypeTree String[]
  • JCIdent String
protected JCArrayTypeTree(JCTree.JCExpression var1) {
    this.elemtype = var1;
}

JCAssert

assert断言:assert cond : detail

protected JCAssert(JCTree.JCExpression var1, JCTree.JCExpression var2) {
    this.cond = var1;
    this.detail = var2;
}

JCAssign

赋值:lhs = rhs 例如 i = 1

protected JCAssign(JCTree.JCExpression var1, JCTree.JCExpression var2) {
    this.lhs = var1; //左表达式
    this.rhs = var2; //右表达式
}

JCAssignOp

赋值:lhs opcode rhs 例如 i += 1

protected JCAssignOp(JCTree.Tag var1, JCTree var2, JCTree var3, Symbol var4) {
    this.opcode = var1;
    this.lhs = (JCTree.JCExpression)var2;
    this.rhs = (JCTree.JCExpression)var3;
    this.operator = var4;
}

赋值符号opcode的可取值:

/** Assignment operators, of type Assignop.
 */
BITOR_ASG(BITOR),                // |=
BITXOR_ASG(BITXOR),              // ^=
BITAND_ASG(BITAND),              // &=

SL_ASG(SL),                      // <<=
SR_ASG(SR),                      // >>=
USR_ASG(USR),                    // >>>=
PLUS_ASG(PLUS),                  // +=
MINUS_ASG(MINUS),                // -=
MUL_ASG(MUL),                    // *=
DIV_ASG(DIV),                    // /=
MOD_ASG(MOD),                    // %=

JCBinary

将语句分为二叉结构,例如double i = d + i * f 中第一个JCBinary为:

  • lhs = d
  • rhs = i * f
  • operator = null
  • opcode = PLUS

第二个JCBinary为:

  • lhs = i
  • rhs = f
  • operator = null
  • opcode = MUL
protected JCBinary(JCTree.Tag var1, JCTree.JCExpression var2, JCTree.JCExpression var3, Symbol var4) {
    this.opcode = var1;
    this.lhs = var2;
    this.rhs = var3;
    this.operator = var4;
}

二元运算符opcode的可取值:

/** Binary operators, of type Binary.
 */
OR,                              // ||
AND,                             // &&
BITOR,                           // |
BITXOR,                          // ^
BITAND,                          // &
EQ,                              // ==
NE,                              // !=
LT,                              // <
GT,                              // >
LE,                              // <=
GE,                              // >=
SL,                              // <<
SR,                              // >>
USR,                             // >>>
PLUS,                            // +
MINUS,                           // -
MUL,                             // *
DIV,                             // /
MOD,                             // %

JCBlock

语句块:{stats} 或 static{stats}(flags = 8L时)

protected JCBlock(long var1, List<JCTree.JCStatement> var3) {
    this.stats = var3;
    this.flags = var1;
}

JCBreak

break语句:break:label

  • label 为标签名
  • target 为跳转目标
protected JCBreak(Name var1, JCTree var2) {
    this.label = var1;
    this.target = var2;
}

JCCase

case语句:case pat : stats

protected JCCase(JCTree.JCExpression var1, List<JCTree.JCStatement> var2) {
    this.pat = var1;
    this.stats = var2;
}

JCCatch

catch捕捉异常:catch(param) body

  • param 定义异常变量 Exception e
  • body 代码块
protected JCCatch(JCTree.JCVariableDecl var1, JCTree.JCBlock var2) {
    this.param = var1;
    this.body = var2;
}

JCClassDecl

类的定义:

例子:

@Reality
public class MainActivity extends AppCompatActivity {

    private int kk = 1;

    static {
        kk = 2;
    }

    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
    }

}
  • mods (JCModifiers) = public
  • name (Name) = (NameImpl) MainActivity
  • extending (JCExpression) = (JCIdent) AppCompatActivity
  • implementing (JCExpression) 实现的接口
  • defs (List<JCTree>) :
  • defs(1) : JCMethodDecl
    public <init>() {
        super();
    }
    
  • defs(2) : JCBlock
    static {
        kk = 2;
    }
    
  • defs(3) : JCVariableDecl
    private int kk = 1
    
  • defs(4) : JCMethodDecl
    @Override()
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
        TextView textView = findViewById(R.id.text);
        Random random = new Random();
    }
    
  • sym (ClassSymbol) = com.juno.utils.MainActivity
protected JCClassDecl(JCTree.JCModifiers var1, Name var2, List<JCTree.JCTypeParameter> var3, JCTree.JCExpression var4, List<JCTree.JCExpression> var5, List<JCTree> var6, ClassSymbol var7) {
    this.mods = var1;
    this.name = var2;
    this.typarams = var3;
    this.extending = var4;
    this.implementing = var5;
    this.defs = var6;
    this.sym = var7;
}

JCCompilationUnit

/**
 * Everything in one source file is kept in a TopLevel structure.
 * @param pid The tree representing the package clause. 
 * @param sourcefile The source file name.
 * @param defs All definitions in this file (ClassDef,Import,and Ski
 * @param packge The package it belongs to.
 * @param namedImportScope A scope for all named imports.
 * @param starImportScope A scope for all import-on-demands.
 * @param linelMap Line starting positions,defined only if option-g is set.
 * @param docComments A hashtable that stores all documentation comments indexed by the tree nodes they refer to.defined only if option-s is set.
 * @param endPositions A hashtable that stores ending positions of source ranges indexed by the tree nodes they belong to. Defined only if option-Xjcov is set.
 */
public static class JCCompilationUnit extends JCTree implements CompilationUnitTre{
    public List<JCAnnotation>packageAnnotations:
    public JCExpression pid:
    public List<JCTree>defs:
    public JavaFileObject sourcefile:
    public Package Symbol packge:
    public ImportScope namedImportScope:
    public StarImportScope starImportScope:
    public long flags:
    public Position.LinelMap linelMap=null:
    public Map<JCTree,String>docComments=null:
    public Map<JCTree,Integer>endPositions=null:
    
    protected JCCompilationUnit(List<JCAnnotation>packageAnnotations,
        JCExpression pid,
        List<JCTree>defs,
        JavaFileObject sourcefile,
        Pack ageSymbol packge,
        ImportScope namedImportScope,
        Star ImportScope starImportScope){
            this.packageAnnotations =packageAnnotations:
            this.pid=pid:
            this.defs=defs:
            this.sourcefile=sourcefile:
            this.packge=packge:
            this.namedImportScope=namedImportScope:
            this.starImportScope=starImportScope:
        }
}

JCConditional

三目运算符:cond ? truepart : falsepart 例如 a ? 1 : 3

protected JCConditional(JCTree.JCExpression var1, JCTree.JCExpression var2, JCTree.JCExpression var3) {
    this.cond = var1;
    this.truepart = var2;
    this.falsepart = var3;
}

JCContinue

continue跳过一次循环,与break相似:continue label

protected JCContinue(Name var1, JCTree var2) {
    this.label = var1;
    this.target = var2;
}

JCDoWhileLoop

do-while循环:do{body}while(cond)

protected JCDoWhileLoop(JCTree.JCStatement var1, JCTree.JCExpression var2) {
    this.body = var1;
    this.cond = var2;
}

JCEnhancedForLoop

增强循环:for(var : expr) body

例如:

for (String s : list) {
    print(s);
}
  • JCVariableDecl String s 定义字符串变量s
  • JCIdent list 遍历的容器
  • JCBlock { print(s); } 遍历块
protected JCEnhancedForLoop(JCTree.JCVariableDecl var1, JCTree.JCExpression var2, JCTree.JCStatement var3) {
    this.var = var1;
    this.expr = var2;
    this.body = var3;
}

JCErroneous

Error trees

JCExpression

表达式,赋值、调用方法等都算一个表达式,凡是继承JCExpression都算一个表达式

JCExpressionStatement

内部封装了JCExpression,实际上还是个表达式

protected JCExpressionStatement(JCTree.JCExpression var1) {
    this.expr = var1;
}

JCFieldAccess

访问父类、其他类的方法、变量时:super.onCreate()

  • selected (JCIdent) = super
  • name (NameImpl) = onCreate
protected JCFieldAccess(JCTree.JCExpression var1, Name var2, Symbol var3) {
    this.selected = var1;
    this.name = var2;
    this.sym = var3;
}

JCForloop

for循环:

  • for (init; cond; step) {body}(body为JCBlock
  • for (init; cond; step) body(body为JCExpressionStatement
protected JCForLoop(List<JCTree.JCStatement> var1, JCTree.JCExpression var2, List<JCTree.JCExpressionStatement> var3, JCTree.JCStatement var4) {
    this.init = var1;
    this.cond = var2;
    this.step = var3;
    this.body = var4;
}

JCFunctionalExpression

函数式表达式:lambda(JCLambda)和method reference(JCMemberReference)继承于JCFunctionalExpression

JCIdent

出现在表达式中的变量名、调用的方法名以及类名等,例子如下(按顺序):

  • Reality 类(注解)
  • AppCompatActivity 类
  • String 类
  • Override 类
  • Bundle 类
  • super super和this都是一个JcIdent
  • savedInstanceState 调用变量的名字
  • setContentView 方法
  • R 类
  • textView 调用变量的名字
  • findViewById 方法
  • R类
@Reality //JCIdent Reality ClassSymbol com.juno.annotations.Reality
//JCIdent AppCompatActivity ClassSymbol android.support.v7.app.AppCompatActivity
public class MainActivity extends AppCompatActivity  {

    //JCIdent String ClassSymbol java.lang.String
    private static final String TAG = "MainActivity";
    
    private int kk = 1;

    @Override //JCIdent Override ClassSymbol java.lang.Override
    //JCIdent Bundle ClassSymbol android.os.Bundle
    protected void onCreate(Bundle savedInstanceState) {
    
        //JCIdent super
        //JCIdent savedInstanceState
        super.onCreate(savedInstanceState);
        
        //JCIdent setContentView 
        //JCIdent R
        setContentView(R.layout.activity_main);
        
        TextView textView;
        //JCIdent textView
        //JCIdent findViewById
        //JCIdent R
        textView = findViewById(R.id.text);

        int i = 0;
        int j = 1;
        
        //JCIdent i
        //JCIdent j
        i = j * 3 + 2;
        
        //JCIdent this
        this.kk = 0;
    }

}

其中TextView textView;这一句是变量定义语句(JCVariableDecl),该语句的vartype属性实际上也是个JCIdent:

  • JCVariableDecl TextView textView
  • name (Name) = textView (NameImpl)
  • vartype (JCExpression) = TextView (JCIdent)

JCIf

if判断语句:if(condition) {thenpart} else {elsepart}

protected JCIf(JCTree.JCExpression var1, JCTree.JCStatement var2, JCTree.JCStatement var3) {
    this.cond = var1;
    this.thenpart = var2;
    this.elsepart = var3;
}

JCImport

import语句:

  • import qulid
  • static (if staticImport) import qulid
protected JCImport(JCTree var1, boolean var2) {
    this.qualid = var1;
    this.staticImport = var2;
}

JCinstanceOf

instanceof语句:expr instanceof clazz,例如textView instanceof View:

  • JCInstanceOf textView instanceof View
  • clazz (JCTree) = (JCIdent) View
  • expr (JCExpression) = (JCIdent) textView
protected JCInstanceOf(JCTree.JCExpression var1, JCTree var2) {
    this.expr = var1;
    this.clazz = var2;
}

JCLabeledStatement

带有标签的语句:label : body

protected JCLabeledStatement(Name var1, JCTree.JCStatement var2) {
    this.label = var1;
    this.body = var2;
}

JCLambda

lambda表达式:此处表达式主体只有一句表达式

textView.setOnClickListener(v -> v.setVisibility(View.INVISIBLE));
  • JCLambda (v)->v.setVisibility(View.INVISIBLE) (表达式整体)
  • params (List<JCTree.JCVariableDecl>) = (List) /*missing*/ v (参数定义列表)
  • body (JCTree) = (JCMethodInvocation) v.setVisibility(View.INVISIBLE) (主体)
  • canCompleteNormally (Boolean) = true (未知)
  • paramKind (ParameterKind) = IMPLICIT (参数类型隐形/明确)
  • getBodyKind() (BodyKind) = EXPRESSION (主体是表达式还是块)

当主体变为语句块时:

textView.setOnClickListener(v -> {
    v.setVisibility(View.VISIBLE);
});
  • body (JCTree) = (JCBlock) {v.setVisibility(View.VISIBLE);}
  • getBodyKind() (BodyKind) = STATEMENT

当参数v指明类型为View时:

textView.setOnClickListener((View v) -> v.setVisibility(View.INVISIBLE));
  • paramKind (ParameterKind) = IMPLICIT (参数类型明确)

JCLiteral

表示常量:int a = 1

  • typetag (TypeTag) = INT
  • value (Object) = (Integer) 1
protected JCLiteral(TypeTag var1, Object var2) {
    this.typetag = var1;
    this.value = var2;
}

typetag的可选值有:

INT : int
LONG : long
FLOAT : float
DOUBLE : double
CHAR : char
CLASS : String
BOT : null

JCMemberReference

lambda表达式中的方法引用:expr::name

例子:new B<String>("123").setObjectUtil(ObjectUtil::new);

  • JCMemberReference ObjectUtil::new
  • mode (ReferenceMode) = NEW
  • name (Name) = (NameImpl) <init>
  • expr (JCExpression) = (JCIdent) ObjectUtil

例子:new B<String>("123").setObjectUtil(this::util);

  • JCMemberReference this::util
  • mode (ReferenceMode) = INVOKE
  • name (Name) = (NameImpl) util
  • expr (JCExpression) = (JCIdent) this
protected JCMemberReference(ReferenceMode var1, Name var2, JCTree.JCExpression var3, List<JCTree.JCExpression> var4) {
    this.mode = var1;
    this.name = var2;
    this.expr = var3;
    this.typeargs = var4;
}

JCMethodDecl

方法的定义:

例子:

@Reality
private static <T extends String> int print(@NonNull final String s) throws RuntimeException {
    Log.e(TAG, s);
    return 1;
}
  • mods (JCModifiers) = @Reality() private static
  • name (Name) = (NameImpl) print
  • restype (JCExpression) = (JCPrimitiveTypeTree) int
  • typarams (JCTypeParameter) = T extends String
  • recvparam = null
  • params (List<JCVariableDecl>) [0] = @NonNull() final String s
  • thrown (JCExpression) = (JCIdent) RuntimeException
  • body (JCBlock) = {
    Log.e(TAG, s);
    return 1;
    }
  • defaultVaule (JCExpression) = null
  • sym (MethodSymbol) = <T>print(java.lang.String)

例子:

@Reality
@interface B {
    int value() default 1;
}
  • name (Name) = (NameImpl) value
  • restype (JCExpression) = (JCPrimitiveTypeTree) int
  • typarams (JCTypeParameter) 泛型列表为空
  • recvparam = null
  • params (List<JCVariableDecl>) 参数定义为空
  • thrown (JCExpression) 抛出列表为空
  • body (JCBlock) 方法体为空
  • defaultVaule (JCExpression) = (JCLiteral) 1
  • sym (MethodSymbol) = value()
protected JCMethodDecl(JCTree.JCModifiers var1, Name var2, JCTree.JCExpression var3, List<JCTree.JCTypeParameter> var4, JCTree.JCVariableDecl var5, List<JCTree.JCVariableDecl> var6, List<JCTree.JCExpression> var7, JCTree.JCBlock var8, JCTree.JCExpression var9, MethodSymbol var10) {
    this.mods = var1;
    this.name = var2;
    this.restype = var3;
    this.typarams = var4;
    this.params = var6;
    this.recvparam = var5;
    this.thrown = var7;
    this.body = var8;
    this.defaultValue = var9;
    this.sym = var10;
}

JCMethodinvocation

方法执行语句: meth(args)

例子:notNull(before)

  • meth (JCExpression) = (JCIdent) notNull
  • args (List<JCExpression>) = (JCIdent) before

例子:proxy.invoke(target, method, args)

  • meth (JCExpression) = (JCFieldAccess) proxy.invoke
  • args (List<JCExpression>) = (JCIdent) target, method, args
protected JCMethodInvocation(List<JCTree.JCExpression> var1, JCTree.JCExpression var2, List<JCTree.JCExpression> var3) {
    this.typeargs = var1 == null ? List.nil() : var1;
    this.meth = var2;
    this.args = var3;
}

JCModifiers

类、变量、方法等的修饰符和注解:例如:

@Reality private static final String TAG = "MainActivity";
  • flags (long) = 26L (2L | 8L | 16L)
  • annotations (List<JCTree.JCAnnotation>) = @Reality()
protected JCModifiers(long var1, List<JCTree.JCAnnotation> var3) {
    this.flags = var1;
    this.annotations = var3;
}

flags的可取值:

1L : public
2L : private
4L : protected
8L : static
16L : final
32L : synchronized
64L : volatile
128L : transient
256L : native
1024L : abstract
2048L : strictfp
8589934592L : default

方法默认flags不为default,而是0L

JCNewArray

new数组:

例子:String[] s = new String[]{"123","456"};

  • JCNewArray new String[]{"123", "456"}
  • elemtype (JCExpression) = (JCIdent) String
  • dims (List<JCTree.JCExpression>) 空
  • elems (List<JCTree.JCExpression>) [0] = (JCLiteral) "123"
  • elems (List<JCTree.JCExpression>) [1] = (JCLiteral) "456"

例子:B<String>[][] b = new B[3][4];

  • JCNewArray new B[3][4]
  • elemtype (JCExpression) = (JCIdent) B
  • dims (List<JCTree.JCExpression>) [0] = (JCLiteral) 3
  • dims (List<JCTree.JCExpression>) [1] = (JCLiteral) 4
  • elems (List<JCTree.JCExpression>) 空
protected JCNewArray(JCTree.JCExpression var1, List<JCTree.JCExpression> var2, List<JCTree.JCExpression> var3) {
    this.elemtype = var1;
    this.dims = var2;
    this.annotations = List.nil();
    this.dimAnnotations = List.nil();
    this.elems = var3;
}

JCNewClass

new一个对象:

例子:new B<String>("123")

  • JCNewClass new B<String>("123")
  • clazz (JCExpression) = (JCTypeApply) B<String>
  • args (List<JCTree.JCExpression>) [0] = (JCLiteral) "123"
protected JCNewClass(JCTree.JCExpression var1, List<JCTree.JCExpression> var2, JCTree.JCExpression var3, List<JCTree.JCExpression> var4, JCTree.JCClassDecl var5) {
    this.encl = var1;
    this.typeargs = var2 == null ? List.nil() : var2;
    this.clazz = var3;
    this.args = var4;
    this.def = var5;
}

JCParens

括号:(expr) 存在于if、计算式、synchronized中

protected JCParens(JCTree.JCExpression var1) {
    this.expr = var1;
}

JCPrimitiveTypeTree

基本类型:

基本类型的赋值:int i = 0 :

  • typetag = INT

方法的返回值:void print(String s) {Log.e(TAG, s);}

  • typetag = VOID
protected JCPrimitiveTypeTree(TypeTag var1) {
    this.typetag = var1;
}

typetag可选值:

INT : int
LONG : long
FLOAT : float
DOUBLE : double
DOOLEAN : boolean
CHAR : char
BYTE : byte
short : short
VOID : void

JCReturn

return语句:return expr

protected JCReturn(JCTree.JCExpression var1) {
    this.expr = var1;
}

JCSkip

空操作,即一个无效的分号 ";"

JCStatement

声明:凡是继承JCStatement都是一个声明,在JCBlock中拿到的都是JCStatement,想在JCBlock中拿到JCExpression就用JCExpressionStatement

JCSWitch

switch语句:switch(selector) {cases}

protected JCSwitch(JCTree.JCExpression var1, List<JCTree.JCCase> var2) {
    this.selector = var1;
    this.cases = var2;
}

JCSynchronized

synchronized同步锁:synchronized(lock){block}

protected JCSynchronized(JCTree.JCExpression var1, JCTree.JCBlock var2) {
    this.lock = var1;
    this.body = var2;
}

JCThrow

抛出异常:throw expr

protected JCThrow(JCTree.JCExpression var1) {
    this.expr = var1;
}

JCTry

try块:try body catchers finally finalizer

protected JCTry(List<JCTree> var1, JCTree.JCBlock var2, List<JCTree.JCCatch> var3, JCTree.JCBlock var4) {
    this.body = var2;
    this.catchers = var3;
    this.finalizer = var4;
    this.resources = var1;
}

resources不知道是什么

JCTypeApply

泛型参数:List<String> list = new ArrayList<>()

对于List<String> list:

  • clazz (JCExpression) = (JCIdent) List
  • arguments (List<JCTree.JCExpression>) [0] = (JCIdent) String

对于new ArrayList<>():

  • clazz (JCExpression) = (JCIdent) ArrayList
  • arguments (List<JCTree.JCExpression>) = empty
protected JCTypeApply(JCTree.JCExpression var1, List<JCTree.JCExpression> var2) {
    this.clazz = var1;
    this.arguments = var2;
}

JCTypeCast

类型转换:(clazz)expr

例子:View textView = ((TextView) findViewById(R.id.text));

  • JCTypeCast (TextView)findViewById(R.id.text)
  • clazz (JCTree) = (JCIdent) TextView
  • expr (JCExpression) = (JCMethodInvocation) findViewById(R.id.text)

例子:TextView t = (TextView) textView;

  • JCTypeCast (TextView)textView
  • clazz (JCTree) = (JCIdent) TextView
  • expr (JCExpression) = (JCIdent) textView
protected JCTypeCast(JCTree var1, JCTree.JCExpression var2) {
    this.clazz = var1;
    this.expr = var2;
}

JCTypelntersection

unknown

泛型交叉:

public static class A<T extends String & Runnable> {

}
protected JCTypeIntersection(List<JCTree.JCExpression> var1) {
    this.bounds = var1;
}

JCTypeParameter

类的泛型定义:class<annotations name bounds>

  • JCTypeParameter @Anno() T extends View
  • name (Name) = (NameImpl) T
  • bounds (List<JCTree.JCExpression>) [0] = (JCIdent) View
    JCAnnotation @MainActivity.A()
protected JCTypeParameter(Name var1, List<JCTree.JCExpression> var2, List<JCTree.JCAnnotation> var3) {
    this.name = var1;
    this.bounds = var2;
    this.annotations = var3;
}

JCTypeUnion

catch块中异常的或定义:T1 | T2 | ... Tn

try{
    ...
}catch (ClassCastException | ArrayIndexOutOfBoundsException e){
    ...
}
  • JCTypeUnion ClassCastException | ArrayIndexOutOfBoundsException
  • alternatives (List<JCTree.JCExpression>) [0] = (JCIdent) ClassCastException
  • alternatives (List<JCTree.JCExpression>) [1] = (JCIdent) ArrayIndexOutOfBoundsException
protected JCTypeUnion(List<JCTree.JCExpression> var1) {
    this.alternatives = var1;
}

JCUnary

一元运算语句:i++中

  • opcode = POSTINC
  • arg = i (实际是JCIdent类型)
protected JCUnary(JCTree.Tag var1, JCTree.JCExpression var2) {
    this.opcode = var1;
    this.arg = var2;
}
/** Unary operators, of type Unary.
 */
POS,                             // +
NEG,                             // -
NOT,                             // !
COMPL,                           // ~
PREINC,                          // ++ _
PREDEC,                          // -- _
POSTINC,                         // _ ++
POSTDEC,                         // _ --

JCVariableDecl

定义变量: mods vartype name = init

例子:final TextView textView = findViewById(R.id.text);

  • JCVariableDecl final TextView textView = findViewById(R.id.text)
  • mods (JCModifiers) = final
  • name (Name) = (NameImpl) textView
  • vartype (JCExpression) = (JCIdent) TextView
  • init (JCExpression) = (JCMethodInvocation) findViewById(R.id.text)

例子:double i = 1 + 2 * 3;

  • JCVariableDecl double i = 1 + 2 * 3
  • name (Name) = (NameImpl) i
  • vartype (JCExpression) = (JCPrimitiveTypeTree) double
  • init (JCExpression) = (JCBinary) 1 + 2 * 3

例子:int k = cond ? 0 : 1;

  • JCVariableDecl int k = cond ? 0 : 1
  • init (JCExpression) = (JCConditional) cond ? 0 : 1
protected JCVariableDecl(JCTree.JCModifiers var1, Name var2, JCTree.JCExpression var3, JCTree.JCExpression var4, VarSymbol var5) {
    this.mods = var1;
    this.name = var2;
    this.vartype = var3;
    this.init = var4;
    this.sym = var5;
}

JCWhileLoop

while循环:while(cond){body}

为什么body不是Statement List或Block?

protected JCWhileLoop(JCTree.JCExpression var1, JCTree.JCStatement var2) {
    this.cond = var1;
    this.body = var2;
}

JCWildcard

泛型中的"?"通配符:Class<? super String> c;

  • JCWildcard ? super String
  • kind (TypeBoundKind) = ? super
  • inner (JCTree) = (JCIdent) String
protected JCWildcard(JCTree.TypeBoundKind var1, JCTree var2) {
    var1.getClass();
    this.kind = var1;
    this.inner = var2;
}

 

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!