xref: /aosp_15_r20/external/jspecify/samples/CastToPrimitive.java (revision 2167191df2fa07300797f1ac5b707370b5f38c48)
1 /*
2  * Copyright 2020 The JSpecify Authors.
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 import org.jspecify.annotations.NullMarked;
17 import org.jspecify.annotations.Nullable;
18 import org.jspecify.annotations.NullnessUnspecified;
19 
20 @NullMarked
21 class CastToPrimitive {
x0(Object o)22   int x0(Object o) {
23     return (int) o;
24   }
25 
x1(@ullnessUnspecified Object o)26   int x1(@NullnessUnspecified Object o) {
27     // jspecify_nullness_not_enough_information
28     return (int) o;
29   }
30 
x2(@ullable Object o)31   int x2(@Nullable Object o) {
32     // jspecify_nullness_mismatch
33     return (int) o;
34   }
35 }
36