From 61a26ef5d9dc83672fa55840791f539cfcb1822f Mon Sep 17 00:00:00 2001 From: Evgeny Gerashchenko Date: Tue, 17 Apr 2012 00:06:48 +0400 Subject: [PATCH] Added first HTML error message, for TYPE_MISMATCH diagnostic. --- .../jetbrains/jet/plugin/highlighter/IdeErrorMessages.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java index 9d58c574412..feaf3a0af9b 100644 --- a/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java +++ b/idea/src/org/jetbrains/jet/plugin/highlighter/IdeErrorMessages.java @@ -22,6 +22,9 @@ import org.jetbrains.jet.lang.diagnostics.rendering.DiagnosticFactoryToRendererM import org.jetbrains.jet.lang.diagnostics.rendering.DiagnosticRenderer; import org.jetbrains.jet.lang.diagnostics.rendering.DispatchingDiagnosticRenderer; +import static org.jetbrains.jet.lang.diagnostics.Errors.TYPE_MISMATCH; +import static org.jetbrains.jet.lang.diagnostics.rendering.Renderers.RENDER_TYPE; + /** * @author Evgeny Gerashchenko * @since 4/13/12 @@ -31,7 +34,7 @@ public class IdeErrorMessages { public static final DiagnosticRenderer RENDERER = new DispatchingDiagnosticRenderer(MAP, DefaultErrorMessages.MAP); static { - // TODO + MAP.put(TYPE_MISMATCH, "Type mismatch.
Required:{0}
Found:{1}
", RENDER_TYPE, RENDER_TYPE); MAP.setImmutable(); }