Skip to content

Commit b39d4bc

Browse files
author
Dave Bartolomeo
committed
Java: Rename sanity -> consistency
1 parent 09d1da2 commit b39d4bc

File tree

4 files changed

+8
-8
lines changed

4 files changed

+8
-8
lines changed

java/ql/src/meta/ssa/AmbiguousToString.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
* sub-classes of 'SsaVariable'.
55
* @kind problem
66
* @problem.severity error
7-
* @id java/sanity/non-unique-ssa-tostring
8-
* @tags sanity
7+
* @id java/consistency/non-unique-ssa-tostring
8+
* @tags consistency
99
*/
1010

1111
import java

java/ql/src/meta/ssa/TooFewPhiInputs.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
* @description A phi node should have at least two inputs.
44
* @kind problem
55
* @problem.severity error
6-
* @id java/sanity/too-few-phi-inputs
7-
* @tags sanity
6+
* @id java/consistency/too-few-phi-inputs
7+
* @tags consistency
88
*/
99

1010
import java

java/ql/src/meta/ssa/UncertainDefWithoutPrior.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
* and should therefore have a prior definition.
55
* @kind problem
66
* @problem.severity error
7-
* @id java/sanity/uncertain-ssa-update-without-prior-def
8-
* @tags sanity
7+
* @id java/consistency/uncertain-ssa-update-without-prior-def
8+
* @tags consistency
99
*/
1010

1111
import java

java/ql/src/meta/ssa/UseWithoutUniqueSsaVariable.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
* should have a unique associated SSA variable.
55
* @kind problem
66
* @problem.severity error
7-
* @id java/sanity/use-without-unique-ssa-variable
8-
* @tags sanity
7+
* @id java/consistency/use-without-unique-ssa-variable
8+
* @tags consistency
99
*/
1010

1111
import java

0 commit comments

Comments
 (0)