From 34a940fa3bf044590955416abf5039bfc89ed213 Mon Sep 17 00:00:00 2001 From: Alexander Udalov Date: Wed, 17 Oct 2012 21:06:08 +0400 Subject: [PATCH] Create JetExceptionFilter, add as an extension point Add delegation to the default ExceptionFilter & placeholders for patching hyperlinks with Kotlin-specific info --- idea/src/META-INF/plugin.xml | 2 + .../plugin/filters/JetExceptionFilter.java | 51 +++++++++++++++++++ .../filters/JetExceptionFilterFactory.java | 30 +++++++++++ 3 files changed, 83 insertions(+) create mode 100644 idea/src/org/jetbrains/jet/plugin/filters/JetExceptionFilter.java create mode 100644 idea/src/org/jetbrains/jet/plugin/filters/JetExceptionFilterFactory.java diff --git a/idea/src/META-INF/plugin.xml b/idea/src/META-INF/plugin.xml index f7511ef34e8..27f9f17ac9f 100644 --- a/idea/src/META-INF/plugin.xml +++ b/idea/src/META-INF/plugin.xml @@ -222,6 +222,8 @@ + +