Patches from Robert Kraske (robekras):

[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / src / net / sourceforge / phpdt / internal / debug / core / PHPDBGPacket.java

diff --git a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGPacket.java b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGPacket.java
index 9c1c322..cbbcdbe 100644 (file)
--- a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGPacket.java
+++ b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGPacket.java
@@ -15,42 +15,40 @@ import java.io.OutputStream;
 import java.util.Vector;
 public class PHPDBGPacket {
 
-       private static final int PACKET_HEADER_SIZE= 16;
-       private char[] packetHeader= new char[PACKET_HEADER_SIZE];
-       private int packetSize;
-       private Vector frames= new Vector();
-       
-       public PHPDBGPacket(char[] packetType) {
-               PHPDBGBase.copyChars(packetHeader, PHPDBGBase.DBGSYNC, 4);
-               PHPDBGBase.copyCharsTo(packetHeader, packetType, 4, 4);
+       private static final int        PACKET_HEADER_SIZE      = 16;
+       private char[]                  packetHeader            = new char[PACKET_HEADER_SIZE];
+       private int                             packetSize;
+       private Vector                          frames                          = new Vector ();
+
+       public PHPDBGPacket (char[] packetType) {
+               PHPDBGBase.copyChars (packetHeader, PHPDBGBase.DBGSYNC, 4);
+               PHPDBGBase.copyCharsTo (packetHeader, packetType, 4, 4);
        }
 
-       public void addFrame(PHPDBGFrame frame) {
-               frames.add(frame);
-               packetSize+= frame.getSize();
+       public void addFrame (PHPDBGFrame frame) {
+               frames.add (frame);
+               packetSize += frame.getSize ();
        }
-       
-       public void sendPacket(OutputStream out) throws IOException {
-               int i;
+
+       public void sendPacket (OutputStream out) throws IOException {
+               int             i;
                PHPDBGFrame frame;
-               
-               PHPDBGBase.copyCharsTo(packetHeader, PHPDBGBase.IntToChar4(packetSize), 4, 12);
-               
-               // Send packet header
-               out.write(PHPDBGBase.CharArrayToByteArray(packetHeader));
-               out.flush();
-
-               // Send Frames
-               for(i=0; i < frames.size(); i++) {
-                       // Header of frame
-                       frame= (PHPDBGFrame)frames.get(i);
-                       out.write(PHPDBGBase.CharArrayToByteArray(frame.getHeader()));
-                       out.flush();
-                       if (frame.getSizeOfData() > 0) {
-                               // Data of frame
-                               out.write(PHPDBGBase.CharArrayToByteArray(frame.getFrameData()));
-                               out.flush();
+
+               PHPDBGBase.copyCharsTo (packetHeader, PHPDBGBase.IntToChar4 (packetSize), 4, 12);
+
+               out.write (PHPDBGBase.CharArrayToByteArray (packetHeader));                             // Send packet header
+               out.flush ();                                                               //
+
+               for (i = 0; i < frames.size (); i++) {                                                  // Send Frames
+                       frame = (PHPDBGFrame) frames.get (i);                                                   // Header of frame
+
+                       out.write (PHPDBGBase.CharArrayToByteArray (frame.getHeader ()));       // Convert the char buffer to a byte buffer and send
+                       out.flush ();
+
+                       if (frame.getSizeOfData () > 0) {                                       // If there is a data frame
+                               out.write (PHPDBGBase.CharArrayToByteArray (frame.getFrameData ()));// Convert the data char buffer to a byte buffer and send
+                               out.flush ();
                        }
                }
        }
-}
\ No newline at end of file
+}