1 package: 2 annotation @Bla: 3 annotation @A: 4 annotation @B: 5 annotation @C: 6 annotation @D: 7 annotation @E: 8 annotation @F: 9 annotation @G: 10 annotation @H: 11 annotation @I: 12 annotation @J: 13 14 package checkers.nullness.quals: 15 annotation @Nullable: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) 16 annotation @NonNull: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) 17 18 package : 19 class ASTInsert: 20 21 field c: 22 insert-annotation Variable.initializer, Binary.rightOperand: @Nullable 23 insert-annotation Variable.initializer, Binary.leftOperand: @Nullable 24 insert-annotation Variable.initializer: @Nullable 25 26 field str: 27 insert-annotation Variable.initializer, Binary.rightOperand, MethodInvocation.methodSelect, MemberSelect.expression: @Nullable 28 insert-annotation Variable.initializer, Binary.rightOperand, MethodInvocation.argument 0: @Nullable 29 30 field sa: 31 insert-annotation Variable.initializer, NewArray.type 0: @Bla 32 insert-annotation Variable.type, ArrayType.type: @Bla 33 insert-annotation Variable.type: @Bla 34 insert-annotation Variable.initializer, NewArray.type 1: @Bla 35 36 method m(Ljava/lang/String;[Ljava/lang/String;I)I: 37 insert-annotation Block.statement 0, Variable.initializer: @Nullable 38 insert-annotation Block.statement 2, ExpressionStatement.expression, Assignment.expression: @Nullable 39 insert-annotation Block.statement 2, ExpressionStatement.expression, Assignment.expression, Binary.leftOperand: @Nullable 40 insert-annotation Block.statement 2, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable 41 insert-annotation Block.statement 4, ExpressionStatement.expression, Assignment.expression, ArrayAccess.index: @Nullable 42 insert-annotation Block.statement 7, Switch.expression, Parenthesized.expression: @Nullable 43 insert-annotation Block.statement 7, Switch.case 0, Case.statement 0, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable 44 insert-annotation Block.statement 7, Switch.case 1, Case.statement 1, ExpressionStatement.expression, MethodInvocation.argument 0: @Nullable 45 insert-annotation Block.statement 8, ExpressionStatement.expression, CompoundAssignment.expression: @Nullable 46 insert-annotation Block.statement 9, ExpressionStatement.expression, Assignment.expression, ConditionalExpression.trueExpression: @Nullable 47 insert-annotation Block.statement 10, DoWhileLoop.statement, Block.statement 0, Variable.initializer, Binary.leftOperand: @Nullable 48 insert-annotation Block.statement 11, EnhancedForLoop.statement, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable 49 insert-annotation Block.statement 12, ForLoop.initializer 1, Variable.initializer: @Nullable 50 insert-annotation Block.statement 12, ForLoop.condition, Binary.rightOperand: @Nullable 51 insert-annotation Block.statement 12, ForLoop.update 0, ExpressionStatement.expression, Assignment.expression: @Nullable 52 insert-annotation Block.statement 12, ForLoop.statement, ExpressionStatement.expression, Assignment.expression: @Nullable 53 insert-annotation Block.statement 13, If.condition, Parenthesized.expression, Binary.leftOperand: @Nullable 54 insert-annotation Block.statement 13, If.elseStatement, ExpressionStatement.expression, Assignment.expression: @Nullable 55 insert-annotation Block.statement 14, Variable.initializer, InstanceOf.expression: @Nullable 56 insert-annotation Block.statement 15, LabeledStatement.statement, ExpressionStatement.expression, Assignment.expression: @Nullable 57 insert-annotation Block.statement 16, Variable.initializer, MemberSelect.expression: @Nullable 58 insert-annotation Block.statement 17, ExpressionStatement.expression, MethodInvocation.argument 2: @Nullable 59 insert-annotation Block.statement 18, Variable.initializer, NewArray.dimension 1: @Nullable 60 insert-annotation Block.statement 19, Variable.initializer, NewArray.initializer 1, NewArray.initializer 2: @Nullable 61 insert-annotation Block.statement 20, ExpressionStatement.expression, NewClass.argument 0: @Nullable 62 insert-annotation Block.statement 21, If.thenStatement, Return.expression: @Nullable 63 insert-annotation Block.statement 22, Synchronized.block, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable 64 insert-annotation Block.statement 23, If.thenStatement, Throw.expression: @Nullable 65 insert-annotation Block.statement 24, Try.block, Block.statement 0, Variable.initializer: @Nullable 66 insert-annotation Block.statement 24, Try.catch 1, Catch.block, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable 67 insert-annotation Block.statement 24, Try.finallyBlock, Block.statement 0, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable 68 insert-annotation Block.statement 25, ExpressionStatement.expression, Assignment.expression, TypeCast.expression, Parenthesized.expression, Binary.rightOperand: @Nullable 69 insert-annotation Block.statement 26, ExpressionStatement.expression, Assignment.expression, Unary.expression: @Nullable 70 insert-annotation Block.statement 27, WhileLoop.condition, Parenthesized.expression, Binary.rightOperand: @Nullable 71 insert-annotation Block.statement 27, WhileLoop.statement, ExpressionStatement.expression, Assignment.expression, Binary.leftOperand: @Nullable 72 insert-annotation Block.statement 28, ExpressionStatement.expression, MethodInvocation.methodSelect, MemberSelect.expression, MemberSelect.expression: @Nullable 73 insert-annotation Block.statement 29, ExpressionStatement.expression, MethodInvocation.methodSelect, MemberSelect.expression: @Nullable 74 insert-annotation Block.statement 30, Variable.initializer: @Nullable @A @B @C 75 76 method context()V: 77 insert-annotation Block.statement 0, ExpressionStatement.expression, MethodInvocation.typeArgument 0: @NonNull 78 79 class Wild: 80 bound 0 & 0: 81 inner-type 3, 0, 2, 0: @Bla 82 83 class Wild: 84 method <init>(LWild;Ljava/util/List;)V: 85 parameter 0: 86 type: @Bla 87 88 class Unbound: 89 bound 0 & 0: @A 90 91 class Bound: 92 typeparam 0: @A 93 typeparam 1: @J 94 bound 0 & 0: @B 95 bound 0 & 1: @C 96 inner-type 3, 0: @E 97 inner-type 3, 0, 0, 0: @D 98 bound 0 & 2: @F 99 inner-type 3, 0: @G 100 inner-type 3, 0, 2, 0: @H 101 inner-type 3, 1: @I 102
