xref: /aosp_15_r20/external/error_prone/checkerframework/Android.bp (revision b74d98a7c41acf48a623a553cea15f54b99b91e1)
1*b74d98a7SAndroid Build Coastguard Worker// Copyright (C) 2022 The Android Open Source Project
2*b74d98a7SAndroid Build Coastguard Worker//
3*b74d98a7SAndroid Build Coastguard Worker// Licensed under the Apache License, Version 2.0 (the "License");
4*b74d98a7SAndroid Build Coastguard Worker// you may not use this file except in compliance with the License.
5*b74d98a7SAndroid Build Coastguard Worker// You may obtain a copy of the License at
6*b74d98a7SAndroid Build Coastguard Worker//
7*b74d98a7SAndroid Build Coastguard Worker//      http://www.apache.org/licenses/LICENSE-2.0
8*b74d98a7SAndroid Build Coastguard Worker//
9*b74d98a7SAndroid Build Coastguard Worker// Unless required by applicable law or agreed to in writing, software
10*b74d98a7SAndroid Build Coastguard Worker// distributed under the License is distributed on an "AS IS" BASIS,
11*b74d98a7SAndroid Build Coastguard Worker// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*b74d98a7SAndroid Build Coastguard Worker// See the License for the specific language governing permissions and
13*b74d98a7SAndroid Build Coastguard Worker// limitations under the License.
14*b74d98a7SAndroid Build Coastguard Worker
15*b74d98a7SAndroid Build Coastguard Workerpackage {
16*b74d98a7SAndroid Build Coastguard Worker    default_applicable_licenses: ["external_error_prone_checkerframework_license"],
17*b74d98a7SAndroid Build Coastguard Worker}
18*b74d98a7SAndroid Build Coastguard Worker
19*b74d98a7SAndroid Build Coastguard Workerlicense {
20*b74d98a7SAndroid Build Coastguard Worker    name: "external_error_prone_checkerframework_license",
21*b74d98a7SAndroid Build Coastguard Worker    package_name: "Google Error Prone checkerframework",
22*b74d98a7SAndroid Build Coastguard Worker    license_kinds: [
23*b74d98a7SAndroid Build Coastguard Worker        "SPDX-license-identifier-Apache-2.0",
24*b74d98a7SAndroid Build Coastguard Worker        "SPDX-license-identifier-GPL-2.0-with-classpath-exception",
25*b74d98a7SAndroid Build Coastguard Worker        "SPDX-license-identifier-MIT",
26*b74d98a7SAndroid Build Coastguard Worker    ],
27*b74d98a7SAndroid Build Coastguard Worker    license_text: ["LICENSE"],
28*b74d98a7SAndroid Build Coastguard Worker}
29*b74d98a7SAndroid Build Coastguard Worker
30*b74d98a7SAndroid Build Coastguard Workerjava_import {
31*b74d98a7SAndroid Build Coastguard Worker    name: "error_prone_checkerframework_dataflow_errorprone",
32*b74d98a7SAndroid Build Coastguard Worker    host_supported: true,
33*b74d98a7SAndroid Build Coastguard Worker    jars: ["dataflow-errorprone-3.39.0.jar"],
34*b74d98a7SAndroid Build Coastguard Worker}
35*b74d98a7SAndroid Build Coastguard Worker
36*b74d98a7SAndroid Build Coastguard Worker// This is effectively dataflow-nullaway library
37*b74d98a7SAndroid Build Coastguard Workerjava_library_host {
38*b74d98a7SAndroid Build Coastguard Worker    name: "error_prone_checkerframework_dataflow_nullaway",
39*b74d98a7SAndroid Build Coastguard Worker    visibility: ["//external/nullaway"],
40*b74d98a7SAndroid Build Coastguard Worker    jarjar_rules: "nullaway-jarjar-rules.txt",
41*b74d98a7SAndroid Build Coastguard Worker    static_libs: ["error_prone_checkerframework_dataflow_errorprone"],
42*b74d98a7SAndroid Build Coastguard Worker}
43