Checker framework's type qualifiers

Pastaba: Yra nauja versija tai artefaktas: 1.7.5

Checker framework's type qualifiers

Annotations ("type qualifiers") from the checker framework

<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-quals</artifactId>
    <version>1.5.0</version>
</dependency>

compile group: 'edu.washington.cs.types.checker', name: 'checker-quals', version: '1.5.0'

compile 'edu.washington.cs.types.checker:checker-quals:1.5.0'

libraryDependencies += "edu.washington.cs.types.checker" % "checker-quals" % "1.5.0"

<dependency org="edu.washington.cs.types.checker" name="checker-quals" rev="1.5.0"/>

@Grapes(
            @Grab(group='edu.washington.cs.types.checker', module='checker-quals', version='1.5.0')
        )

[edu.washington.cs.types.checker/checker-quals "1.5.0"]

'edu.washington.cs.types.checker:checker-quals:jar:1.5.0'