report 'trait' keyword as deprecated, provide quickfix for replacing with 'interface'

2015-05-13 19:29:15 +02:00
parent 3dce96e01c
commit dc9523016a
13 changed files with 109 additions and 1 deletions
@@ -152,7 +152,8 @@ public open class JetPsiChecker : Annotator, HighlightRangeExtension {

                        when (factory) {
                            Errors.DEPRECATED_SYMBOL,
-                            Errors.DEPRECATED_SYMBOL_WITH_MESSAGE
+                            Errors.DEPRECATED_SYMBOL_WITH_MESSAGE,
+                            Errors.DEPRECATED_TRAIT_KEYWORD
                            -> annotation.setTextAttributes(CodeInsightColors.DEPRECATED_ATTRIBUTES)
                        }