Documentation update from hudson build on Thu 28 Aug 2008 09:25:08 PM CDT

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / PHPConsole.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPConsole.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPConsole.java
index b4d4a3f..c7ddf42 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPConsole.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPConsole.java
@@ -10,98 +10,102 @@ import org.eclipse.ui.console.MessageConsole;
 import org.eclipse.ui.console.MessageConsoleStream;
 
 public class PHPConsole {
-  private MessageConsole myConsole;
+       private MessageConsole myConsole;
 
-  private MessageConsoleStream stream;
+       private MessageConsoleStream stream;
 
-  private boolean hasMessages;
+       private boolean hasMessages;
 
-  public PHPConsole() {
-    hasMessages = false;
-    myConsole = new MessageConsole("PHPeclipse Console", null);
-    ConsolePlugin.getDefault().getConsoleManager().addConsoles(new IConsole[] { myConsole });
-    ConsolePlugin.getDefault().getConsoleManager().showConsoleView(myConsole);
-    //  layout.addView(IConsoleConstants.ID_CONSOLE_VIEW, IPageLayout.BOTTOM, .5f,IPageLayout.ID_EDITOR_AREA);
-    stream = myConsole.newMessageStream();
-  }
+       public PHPConsole() {
+               hasMessages = false;
+               myConsole = new MessageConsole("PHPeclipse Console", null);
+               ConsolePlugin.getDefault().getConsoleManager().addConsoles(
+                               new IConsole[] { myConsole });
+               ConsolePlugin.getDefault().getConsoleManager().showConsoleView(
+                               myConsole);
+               // layout.addView(IConsoleConstants.ID_CONSOLE_VIEW, IPageLayout.BOTTOM,
+               // .5f,IPageLayout.ID_EDITOR_AREA);
+               stream = myConsole.newMessageStream();
+       }
 
-  /**
-   * @return
-   */
-  public Color getColor() {
-    return stream.getColor();
-  }
+       /**
+        * @return
+        */
+       public Color getColor() {
+               return stream.getColor();
+       }
 
-  /**
-   * @return
-   */
-  public MessageConsole getConsole() {
-    return stream.getConsole();
-  }
+       /**
+        * @return
+        */
+       public MessageConsole getConsole() {
+               return stream.getConsole();
+       }
 
-  /*
-   * (non-Javadoc)
-   * 
-   * @see java.lang.Object#hashCode()
-   */
-  public int hashCode() {
-    return stream.hashCode();
-  }
+       /*
+        * (non-Javadoc)
+        * 
+        * @see java.lang.Object#hashCode()
+        */
+       public int hashCode() {
+               return stream.hashCode();
+       }
 
-  /**
-   * @param message
-   */
-  public void print(String message) {
-    hasMessages = true;
-    stream.print(message);
-  }
+       /**
+        * @param message
+        */
+       public void print(String message) {
+               hasMessages = true;
+               stream.print(message);
+       }
 
-  /**
-   *  
-   */
-  public void println() {
-    hasMessages = true;
-    stream.println();
-  }
+       /**
+        * 
+        */
+       public void println() {
+               hasMessages = true;
+               stream.println();
+       }
 
-  /**
-   * @param message
-   */
-  public void println(String message) {
-    hasMessages = true;
-    stream.println(message);
-  }
+       /**
+        * @param message
+        */
+       public void println(String message) {
+               hasMessages = true;
+               stream.println(message);
+       }
 
-  /**
-   * @param color
-   */
-  public void setColor(Color color) {
-    stream.setColor(color);
-  }
+       /**
+        * @param color
+        */
+       public void setColor(Color color) {
+               stream.setColor(color);
+       }
 
-  //  public void reportError(String title, String message) {
-  //    if (hasMessages) {
-  //      WikiEditorPlugin.getDefault().reportError(title, message);
-  //    }
-  //  }
+       // public void reportError(String title, String message) {
+       // if (hasMessages) {
+       // WikiEditorPlugin.getDefault().reportError(title, message);
+       // }
+       // }
 
-  //  public void reportError() {
-  //    reportError("Problems listed", "Open console view for problems log!");
-  //  }
-  /**
-   * Creates a string buffer from the given input stream
-   */
-  public static String getStringFromStream(InputStream stream) throws IOException {
-    StringBuffer buffer = new StringBuffer();
-    byte[] b = new byte[100];
-    int finished = 0;
-    while (finished != -1) {
-      finished = stream.read(b);
-      if (finished != -1) {
-        String current = new String(b, 0, finished);
-        buffer.append(current);
-      }
-    }
-    return buffer.toString();
-  }
+       // public void reportError() {
+       // reportError("Problems listed", "Open console view for problems log!");
+       // }
+       /**
+        * Creates a string buffer from the given input stream
+        */
+       public static String getStringFromStream(InputStream stream)
+                       throws IOException {
+               StringBuffer buffer = new StringBuffer();
+               byte[] b = new byte[100];
+               int finished = 0;
+               while (finished != -1) {
+                       finished = stream.read(b);
+                       if (finished != -1) {
+                               String current = new String(b, 0, finished);
+                               buffer.append(current);
+                       }
+               }
+               return buffer.toString();
+       }
 }
\ No newline at end of file