Convert Diagnostic.java to Kotlin

JetBrains · Nov 26, 2020 · 9040999 · 9040999
1 parent b6cfcc6
commit 9040999
Showing 1 changed file with 14 additions and 29 deletions.
diff --git a/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/Diagnostic.kt b/compiler/frontend/src/org/jetbrains/kotlin/diagnostics/Diagnostic.kt
@@ -13,32 +13,17 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
-
-package org.jetbrains.kotlin.diagnostics;
-
-import com.intellij.openapi.util.TextRange;
-import com.intellij.psi.PsiElement;
-import com.intellij.psi.PsiFile;
-import org.jetbrains.annotations.NotNull;
-
-import java.util.List;
-
-public interface Diagnostic {
-
-    @NotNull
-    DiagnosticFactory<?> getFactory();
-
-    @NotNull
-    Severity getSeverity();
-
-    @NotNull
-    PsiElement getPsiElement();
-
-    @NotNull
-    List<TextRange> getTextRanges();
-
-    @NotNull
-    PsiFile getPsiFile();
-
-    boolean isValid();
-}
+package org.jetbrains.kotlin.diagnostics
+
+import com.intellij.openapi.util.TextRange
+import com.intellij.psi.PsiElement
+import com.intellij.psi.PsiFile
+
+interface Diagnostic {
+    val factory: DiagnosticFactory<*>
+    val severity: Severity
+    val psiElement: PsiElement
+    val textRanges: List<TextRange>
+    val psiFile: PsiFile
+    val isValid: Boolean
+}