Minor. Remove unused properties
This commit is contained in:
@@ -17,13 +17,11 @@
|
|||||||
package org.jetbrains.kotlin.utils
|
package org.jetbrains.kotlin.utils
|
||||||
|
|
||||||
enum class Jsr305State(
|
enum class Jsr305State(
|
||||||
val description: String,
|
val description: String
|
||||||
val shouldReportWarning: Boolean = false,
|
|
||||||
val shouldReportError: Boolean = false
|
|
||||||
) {
|
) {
|
||||||
IGNORE("ignore"),
|
IGNORE("ignore"),
|
||||||
WARN("warn", shouldReportWarning = true),
|
WARN("warn"),
|
||||||
STRICT("strict", shouldReportError = true),
|
STRICT("strict"),
|
||||||
;
|
;
|
||||||
|
|
||||||
companion object {
|
companion object {
|
||||||
|
|||||||
Reference in New Issue
Block a user