1 name: "checker_framework_dataflow" 2 description: 3 "The Checker Framework is a collection of java annotation processors that " 4 "use JSR308 (Type Annotations) to enhance the Java type system. This " 5 "package contains the Checker Framework's dataflow analysis." 6 7 third_party { 8 url { 9 type: HOMEPAGE 10 value: "https://checkerframework.org/" 11 } 12 url { 13 type: ARCHIVE 14 value: "http://repo1.maven.org/maven2/org/checkerframework/dataflow/2.2.2/dataflow-2.2.2-sources.jar" 15 } 16 url { 17 type: ARCHIVE 18 value: "http://repo1.maven.org/maven2/org/checkerframework/javacutil/2.2.2/javacutil-2.2.2-sources.jar" 19 } 20 version: "2.2.2" 21 last_upgrade_date { year: 2018 month: 1 day: 26} 22 } 23
