archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/actions/ProblemConsole.java

   1 package net.sourceforge.phpeclipse.wiki.actions;
   2
   3 import net.sourceforge.phpeclipse.wiki.editor.WikiEditorPlugin;
   4
   5 import org.eclipse.swt.graphics.Color;
   6 import org.eclipse.ui.console.ConsolePlugin;
   7 import org.eclipse.ui.console.IConsole;
   8 import org.eclipse.ui.console.MessageConsole;
   9 import org.eclipse.ui.console.MessageConsoleStream;
  10
  11 public class ProblemConsole {
  12   private MessageConsole myConsole;
  13
  14   private MessageConsoleStream stream;
  15
  16   private boolean hasMessages;
  17
  18   public ProblemConsole() {
  19     hasMessages = false;
  20     myConsole = new MessageConsole("Wikipedia Editor Problems", null);
  21     ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { myConsole });
  22     ;
  23     ConsolePlugin.getDefault().getConsoleManager().showConsoleView(myConsole);
  24     //  layout.addView(IConsoleConstants.ID_CONSOLE_VIEW, IPageLayout.BOTTOM, .5f,IPageLayout.ID_EDITOR_AREA);
  25     stream = myConsole.newMessageStream();
  26   }
  27
  28   /**
  29    * @return
  30    */
  31   public Color getColor() {
  32     return stream.getColor();
  33   }
  34
  35   /**
  36    * @return
  37    */
  38   public MessageConsole getConsole() {
  39     return stream.getConsole();
  40   }
  41
  42   /*
  43    * (non-Javadoc)
  44    *
  45    * @see java.lang.Object#hashCode()
  46    */
  47   public int hashCode() {
  48     return stream.hashCode();
  49   }
  50
  51   /**
  52    * @param message
  53    */
  54   public void print(String message) {
  55     hasMessages = true;
  56     stream.print(message);
  57   }
  58
  59   /**
  60    *
  61    */
  62   public void println() {
  63     hasMessages = true;
  64     stream.println();
  65   }
  66
  67   /**
  68    * @param message
  69    */
  70   public void println(String message) {
  71     hasMessages = true;
  72     stream.println(message);
  73   }
  74
  75   /**
  76    * @param color
  77    */
  78   public void setColor(Color color) {
  79     stream.setColor(color);
  80   }
  81
  82   public void reportError(String title, String message) {
  83     if (hasMessages) {
  84       WikiEditorPlugin.getDefault().reportError(title, message);
  85     }
  86   }
  87
  88   public void reportError() {
  89     reportError("Problems listed", "Open console view for problems log!");
  90   }
  91 }