From 529c416f359eeed89dc75e0b4b4d49fbe25b1df8 Mon Sep 17 00:00:00 2001 From: Evgeny Gerashchenko Date: Tue, 17 Apr 2012 11:25:39 +0400 Subject: [PATCH] Added IDE error message for VAR_OVERRIDDEN_BY_VAL. --- .../org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java index 25aa8b9adf2..14b280abb3d 100644 --- a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java +++ b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java @@ -62,6 +62,9 @@ public class IdeErrorMessages { } }, DescriptorRenderer.HTML); + MAP.put(VAR_OVERRIDDEN_BY_VAL, "Val-property cannot override var-property
" + + "{1}", DescriptorRenderer.HTML, DescriptorRenderer.HTML); + MAP.setImmutable(); }