1 package annotation: 2 annotation @A: 3 annotation @B: 4 annotation @C: 5 6 package checkers.nullness.quals: 7 annotation @Nullable: @java.lang.annotation.Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE,TYPE_PARAMETER}) 8 9 package : 10 class CastInsert: 11 12 field c: 13 insert-typecast Variable.initializer, Binary.rightOperand: @Nullable Integer 14 insert-typecast Variable.initializer, Binary.leftOperand: @Nullable Integer 15 insert-typecast Variable.initializer: @Nullable Integer 16 17 field str: 18 insert-typecast Variable.initializer, Binary.rightOperand, MethodInvocation.methodSelect, MemberSelect.expression: @Nullable String 19 insert-typecast Variable.initializer, Binary.rightOperand, MethodInvocation.argument 0: @Nullable String 20 21 method m(Ljava/lang/String;[Ljava/lang/String;I)I: 22 insert-typecast Block.statement 0, Variable.initializer: @Nullable String 23 insert-typecast Block.statement 2, ExpressionStatement.expression, Assignment.expression: @Nullable String 24 insert-typecast Block.statement 2, ExpressionStatement.expression, Assignment.expression, Binary.leftOperand: @Nullable String 25 insert-typecast Block.statement 2, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable String 26 insert-typecast Block.statement 4, ExpressionStatement.expression, Assignment.expression, ArrayAccess.index: @Nullable Integer 27 insert-typecast Block.statement 7, Switch.expression, Parenthesized.expression: @Nullable Integer 28 insert-typecast Block.statement 7, Switch.case 0, Case.statement 0, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable Integer 29 insert-typecast Block.statement 7, Switch.case 1, Case.statement 1, ExpressionStatement.expression, MethodInvocation.argument 0: @Nullable Integer 30 insert-typecast Block.statement 8, ExpressionStatement.expression, CompoundAssignment.expression: @Nullable Integer 31 insert-typecast Block.statement 9, ExpressionStatement.expression, Assignment.expression, ConditionalExpression.trueExpression: @Nullable Integer 32 insert-typecast Block.statement 10, DoWhileLoop.statement, Block.statement 0, Variable.initializer, Binary.leftOperand: @Nullable Integer 33 insert-typecast Block.statement 11, EnhancedForLoop.statement, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 34 insert-typecast Block.statement 12, ForLoop.initializer 1, Variable.initializer: @Nullable Integer 35 insert-typecast Block.statement 12, ForLoop.condition, Binary.rightOperand: @Nullable Integer 36 insert-typecast Block.statement 12, ForLoop.update 0, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 37 insert-typecast Block.statement 12, ForLoop.statement, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 38 insert-typecast Block.statement 13, If.condition, Parenthesized.expression, Binary.leftOperand: @Nullable Integer 39 insert-typecast Block.statement 13, If.elseStatement, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 40 insert-typecast Block.statement 14, Variable.initializer, InstanceOf.expression: @Nullable String 41 insert-typecast Block.statement 15, LabeledStatement.statement, ExpressionStatement.expression, Assignment.expression: @Nullable Boolean 42 insert-typecast Block.statement 16, Variable.initializer, MemberSelect.expression: @Nullable CastInsert 43 insert-typecast Block.statement 17, ExpressionStatement.expression, MethodInvocation.argument 2: @Nullable Integer 44 insert-typecast Block.statement 18, Variable.initializer, NewArray.dimension 1: @Nullable Integer 45 insert-typecast Block.statement 19, Variable.initializer, NewArray.initializer 1, NewArray.initializer 2: @Nullable Integer 46 insert-typecast Block.statement 20, ExpressionStatement.expression, NewClass.argument 0: @Nullable String 47 insert-typecast Block.statement 21, If.thenStatement, Return.expression: @Nullable Integer 48 insert-typecast Block.statement 22, Synchronized.block, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 49 insert-typecast Block.statement 23, If.thenStatement, Throw.expression: @Nullable RuntimeException 50 insert-typecast Block.statement 24, Try.block, Block.statement 0, Variable.initializer: @Nullable Integer 51 insert-typecast Block.statement 24, Try.catch 1, Catch.block, Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable Integer 52 insert-typecast Block.statement 24, Try.finallyBlock, Block.statement 0, ExpressionStatement.expression, Assignment.expression, Binary.rightOperand: @Nullable Integer 53 insert-typecast Block.statement 25, ExpressionStatement.expression, Assignment.expression, TypeCast.expression, Parenthesized.expression, Binary.rightOperand: @Nullable Integer 54 insert-typecast Block.statement 26, ExpressionStatement.expression, Assignment.expression, Unary.expression: @Nullable Integer 55 insert-typecast Block.statement 27, WhileLoop.condition, Parenthesized.expression, Binary.rightOperand: @Nullable Integer 56 insert-typecast Block.statement 27, WhileLoop.statement, ExpressionStatement.expression, Assignment.expression, Binary.leftOperand: @Nullable Integer 57 insert-typecast Block.statement 28, ExpressionStatement.expression, MethodInvocation.methodSelect, MemberSelect.expression, MemberSelect.expression: @Nullable CastInsert 58 insert-typecast Block.statement 29, ExpressionStatement.expression, MethodInvocation.methodSelect, MemberSelect.expression: @Nullable PrintStream 59 insert-typecast Block.statement 30, Variable.initializer: @Nullable @A @B @C String 60 61 method m2(Ljava/lang/Object;)V: 62 insert-typecast Block.statement 0, ExpressionStatement.expression, Assignment.expression: @Nullable Map<String, Integer> 63 inner-type 3, 0: @A 64 inner-type 3, 1: @B 65 insert-typecast Block.statement 1, ExpressionStatement.expression, Assignment.expression: @Nullable Object[][] 66 inner-type 0, 0: @A 67 inner-type 0, 0, 0, 0: @B 68 insert-typecast Block.statement 2, ExpressionStatement.expression, Assignment.expression: @Nullable int[][] 69 inner-type 0, 0: @A 70 inner-type 0, 0, 0, 0: @B 71 insert-typecast Block.statement 3, ExpressionStatement.expression, Assignment.expression: @Nullable List<? extends Object> 72 inner-type 3, 0: @A 73 inner-type 3, 0, 2, 0: @B 74 insert-typecast Block.statement 4, ExpressionStatement.expression, Assignment.expression: int 75 insert-typecast Block.statement 5, ExpressionStatement.expression, Assignment.expression: Map<String, Integer> 76 inner-type 3, 0: @A 77 inner-type 3, 1: @B 78
