Jspecify: Rename codeanalysis annotations to jspecify ones

This commit is contained in:
Victor Petukhov
2020-10-08 11:41:30 +03:00
parent 59bd7364ab
commit 2685c7efce
36 changed files with 107 additions and 313 deletions
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;
@@ -1,5 +1,5 @@
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER
// CODE_ANALYSIS_STATE warn
// JSPECIFY_STATE warn
// FILE: A.java
import org.jspecify.annotations.*;