Convert Diagnostic.java to Kotlin

This commit is contained in:
Mikhail Glukhikh
2020-11-17 10:45:36 +03:00
parent b6cfcc6cad
commit 9040999b55
@@ -13,32 +13,17 @@
* See the License for the specific language governing permissions and * See the License for the specific language governing permissions and
* limitations under the License. * limitations under the License.
*/ */
package org.jetbrains.kotlin.diagnostics
package org.jetbrains.kotlin.diagnostics; import com.intellij.openapi.util.TextRange
import com.intellij.psi.PsiElement
import com.intellij.psi.PsiFile
import com.intellij.openapi.util.TextRange; interface Diagnostic {
import com.intellij.psi.PsiElement; val factory: DiagnosticFactory<*>
import com.intellij.psi.PsiFile; val severity: Severity
import org.jetbrains.annotations.NotNull; val psiElement: PsiElement
val textRanges: List<TextRange>
import java.util.List; val psiFile: PsiFile
val isValid: Boolean
public interface Diagnostic {
@NotNull
DiagnosticFactory<?> getFactory();
@NotNull
Severity getSeverity();
@NotNull
PsiElement getPsiElement();
@NotNull
List<TextRange> getTextRanges();
@NotNull
PsiFile getPsiFile();
boolean isValid();
} }