1*2167191dSAndroid Build Coastguard Worker /* 2*2167191dSAndroid Build Coastguard Worker * Copyright 2022 The JSpecify Authors. 3*2167191dSAndroid Build Coastguard Worker * 4*2167191dSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License"); 5*2167191dSAndroid Build Coastguard Worker * you may not use this file except in compliance with the License. 6*2167191dSAndroid Build Coastguard Worker * You may obtain a copy of the License at 7*2167191dSAndroid Build Coastguard Worker * 8*2167191dSAndroid Build Coastguard Worker * http://www.apache.org/licenses/LICENSE-2.0 9*2167191dSAndroid Build Coastguard Worker * 10*2167191dSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software 11*2167191dSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS, 12*2167191dSAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13*2167191dSAndroid Build Coastguard Worker * See the License for the specific language governing permissions and 14*2167191dSAndroid Build Coastguard Worker * limitations under the License. 15*2167191dSAndroid Build Coastguard Worker */ 16*2167191dSAndroid Build Coastguard Worker package memberselectnonexpression; 17*2167191dSAndroid Build Coastguard Worker 18*2167191dSAndroid Build Coastguard Worker import org.jspecify.annotations.NullMarked; 19*2167191dSAndroid Build Coastguard Worker import org.jspecify.annotations.Nullable; 20*2167191dSAndroid Build Coastguard Worker 21*2167191dSAndroid Build Coastguard Worker class MemberSelectNonExpressions { 22*2167191dSAndroid Build Coastguard Worker @NullMarked 23*2167191dSAndroid Build Coastguard Worker static class NullMarkedUsage { x0()24*2167191dSAndroid Build Coastguard Worker static void x0() { 25*2167191dSAndroid Build Coastguard Worker int x; 26*2167191dSAndroid Build Coastguard Worker 27*2167191dSAndroid Build Coastguard Worker Static.x(); 28*2167191dSAndroid Build Coastguard Worker x = Static.x; 29*2167191dSAndroid Build Coastguard Worker 30*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.Static.x(); 31*2167191dSAndroid Build Coastguard Worker x = MemberSelectNonExpressions.Static.x; 32*2167191dSAndroid Build Coastguard Worker 33*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.Static.x(); 34*2167191dSAndroid Build Coastguard Worker x = memberselectnonexpression.MemberSelectNonExpressions.Static.x; 35*2167191dSAndroid Build Coastguard Worker } 36*2167191dSAndroid Build Coastguard Worker x1()37*2167191dSAndroid Build Coastguard Worker static void x1() { 38*2167191dSAndroid Build Coastguard Worker StaticParameterized<Object> s0; 39*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.StaticParameterized<Object> s1; 40*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object> s2; 41*2167191dSAndroid Build Coastguard Worker 42*2167191dSAndroid Build Coastguard Worker StaticParameterized<Object>.Inner i0; 43*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.StaticParameterized<Object>.Inner i1; 44*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object>.Inner i2; 45*2167191dSAndroid Build Coastguard Worker } 46*2167191dSAndroid Build Coastguard Worker } 47*2167191dSAndroid Build Coastguard Worker 48*2167191dSAndroid Build Coastguard Worker static class NotNullMarkedUsage { x0()49*2167191dSAndroid Build Coastguard Worker static void x0() { 50*2167191dSAndroid Build Coastguard Worker int x; 51*2167191dSAndroid Build Coastguard Worker 52*2167191dSAndroid Build Coastguard Worker Static.x(); 53*2167191dSAndroid Build Coastguard Worker x = Static.x; 54*2167191dSAndroid Build Coastguard Worker 55*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.Static.x(); 56*2167191dSAndroid Build Coastguard Worker x = MemberSelectNonExpressions.Static.x; 57*2167191dSAndroid Build Coastguard Worker 58*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.Static.x(); 59*2167191dSAndroid Build Coastguard Worker x = memberselectnonexpression.MemberSelectNonExpressions.Static.x; 60*2167191dSAndroid Build Coastguard Worker } 61*2167191dSAndroid Build Coastguard Worker x1()62*2167191dSAndroid Build Coastguard Worker static void x1() { 63*2167191dSAndroid Build Coastguard Worker StaticParameterized<Object> s0; 64*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.StaticParameterized<Object> s1; 65*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object> s2; 66*2167191dSAndroid Build Coastguard Worker 67*2167191dSAndroid Build Coastguard Worker StaticParameterized<Object>.Inner i0; 68*2167191dSAndroid Build Coastguard Worker MemberSelectNonExpressions.StaticParameterized<Object>.Inner i1; 69*2167191dSAndroid Build Coastguard Worker memberselectnonexpression.MemberSelectNonExpressions.StaticParameterized<Object>.Inner i2; 70*2167191dSAndroid Build Coastguard Worker } 71*2167191dSAndroid Build Coastguard Worker } 72*2167191dSAndroid Build Coastguard Worker 73*2167191dSAndroid Build Coastguard Worker static class Static { x()74*2167191dSAndroid Build Coastguard Worker static void x() {} 75*2167191dSAndroid Build Coastguard Worker 76*2167191dSAndroid Build Coastguard Worker static int x; 77*2167191dSAndroid Build Coastguard Worker } 78*2167191dSAndroid Build Coastguard Worker 79*2167191dSAndroid Build Coastguard Worker static class StaticParameterized<T extends @Nullable Object> { x()80*2167191dSAndroid Build Coastguard Worker static void x() {} 81*2167191dSAndroid Build Coastguard Worker 82*2167191dSAndroid Build Coastguard Worker static int x; 83*2167191dSAndroid Build Coastguard Worker 84*2167191dSAndroid Build Coastguard Worker class Inner {} 85*2167191dSAndroid Build Coastguard Worker } 86*2167191dSAndroid Build Coastguard Worker } 87