checkerframework/METADATA


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

name: "checker_framework_dataflow"
description:
    "The Checker Framework is a collection of java annotation processors that "
    "use JSR308 (Type Annotations) to enhance the Java type system. This "
    "package contains the Checker Framework's dataflow analysis."

third_party {
  url {
    type: HOMEPAGE
    value: "https://checkerframework.org/"
  }
  url {
    type: ARCHIVE
    value: "https://repo1.maven.org/maven2/org/checkerframework/dataflow-errorprone/3.21.2/dataflow-errorprone-3.21.2-sources.jar"
  }
  url {
    type: ARCHIVE
    value: "https://repo1.maven.org/maven2/org/checkerframework/javacutil/3.15.0/javacutil-3.15.0-sources.jar"
  }
  version: "3.21.2"
  last_upgrade_date { year: 2022 month: 2 day: 14}
}