foldingPlaceholder in stacktrace filters
authorpeter <peter.gromov@jetbrains.com>
Thu, 4 Mar 2010 13:33:55 +0000 (13:33 +0000)
committerpeter <peter.gromov@jetbrains.com>
Thu, 4 Mar 2010 13:33:55 +0000 (13:33 +0000)
platform/lang-api/src/com/intellij/execution/filters/Filter.java

index 264792ec87233b99df3f219ec121819a858a013c..b725e73a08d2c7e682c445647b15f25268fe2064 100644 (file)
@@ -28,16 +28,22 @@ public interface Filter {
     public final int highlightEndOffset;
     public final TextAttributes highlightAttributes;
     public final HyperlinkInfo hyperlinkInfo;
+    @Nullable public final String foldingPlaceholder;
 
     public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo) {
       this(highlightStartOffset, highlightEndOffset, hyperlinkInfo, null);
     }
 
     public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo, final TextAttributes highlightAttributes) {
+      this(highlightStartOffset, highlightEndOffset, hyperlinkInfo, highlightAttributes, null);
+    }
+
+    public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo, final TextAttributes highlightAttributes, @Nullable String foldingPlaceholder) {
       this.highlightStartOffset = highlightStartOffset;
       this.highlightEndOffset = highlightEndOffset;
-      this.hyperlinkInfo = hyperlinkInfo;
       this.highlightAttributes = highlightAttributes;
+      this.hyperlinkInfo = hyperlinkInfo;
+      this.foldingPlaceholder = foldingPlaceholder;
     }
   }