platform/platform-impl/src/com/intellij/ide/errorTreeView/NavigatableMessageElement.java

   1 /*
   2  * Copyright 2000-2009 JetBrains s.r.o.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  * http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16 package com.intellij.ide.errorTreeView;
  17
  18 import com.intellij.pom.Navigatable;
  19
  20 /**
  21  * @author Eugene Zhuravlev
  22  *         Date: Nov 12, 2004
  23  */
  24 public class NavigatableMessageElement extends ErrorTreeElement{
  25   private final GroupingElement myParent;
  26   private final String[] myMessage;
  27   private final Navigatable myNavigatable;
  28   private final String myExportText;
  29   private final String myRendererTextPrefix;
  30
  31   public NavigatableMessageElement(ErrorTreeElementKind kind,
  32                                  GroupingElement parent,
  33                                  String[] message,
  34                                  Navigatable navigatable,
  35                                  String exportText,
  36                                  String rendererTextPrefix) {
  37     super(kind);
  38     myParent = parent;
  39     myMessage = message;
  40     myNavigatable = navigatable;
  41     myExportText = exportText;
  42     myRendererTextPrefix = rendererTextPrefix;
  43   }
  44
  45   public Navigatable getNavigatable() {
  46     return myNavigatable;
  47   }
  48
  49   public String[] getText() {
  50     return myMessage;
  51   }
  52
  53   public Object getData() {
  54     return myParent.getData();
  55   }
  56
  57   public GroupingElement getParent() {
  58     return myParent;
  59   }
  60
  61   public String getExportTextPrefix() {
  62     return getKind().getPresentableText() + myExportText;
  63   }
  64
  65   public String getRendererTextPrefix() {
  66     return myRendererTextPrefix;
  67   }
  68 }