Changeset 3539

Timestamp:

05/31/08 10:36:28 (6 months ago)

Author:

keinfarbton

Message:

Add Trace.memory. This closes ticket #773.

Files:

• trunk/tango/util/log/Trace.d (modified) (5 diffs)

trunk/tango/util/log/Trace.d

@@ -9 +9 @@
-        author:         Kris
-
- 
+
-        of true logging where appropriate.
-
@@ -21 +21 @@
-        Special character sequences, such as "\n", are written directly to
-        the output without any translation (though an output-filter could
- 
- 
+
+
-        flushes the output when configured to do so:
-        ---
@@ -32 +32 @@
-        Trace.format ("hello {}", "world").flush;
-        ---
-
+
-*******************************************************************************/
-
@@ -58 +58 @@
-
-/*******************************************************************************
-
+
-        Intended for internal use only
-
+
-*******************************************************************************/
-
@@ -143 +143 @@
-                return output.write (s);
-        }
+
+        /**********************************************************************
+
+                Print a range of raw memory as a hex dump.
+                Characters in range 0x20..0xFE are printed, all others are
+                shown as dots.
+
+                ----
+000000:  47 49 46 38  39 61 10 00  10 00 80 00  00 48 5D 8C  GIF89a.......H].
+000010:  FF FF FF 21  F9 04 01 00  00 01 00 2C  00 00 00 00  ...!.......,....
+000020:  10 00 10 00  00 02 11 8C  8F A9 CB ED  0F A3 84 C0  ................
+000030:  D4 70 A7 DE  BC FB 8F 14  00 3B                     .p.......;
+                ----
+
+        **********************************************************************/
+
+        final SyncPrint memory (void[] mem)
+        {
+            auto data = cast(ubyte[]) mem;
+            synchronized (mutex)
+            {
+                for( int row = 0; row < data.length; row += 16 )
+                {
+                    // print relative offset
+                    convert.convert (&sink, "{:X6}:  ", row );
+
+                    // print data bytes
+                    for( int idx = 0; idx < 16 ; idx++ )
+                    {
+                        // print byte or stuffing spaces
+                        if ( idx + row < data.length )
+                            convert (&sink, "{:X2} ", data[ row + idx ] );
+                        else
+                            output.write ("   ");
+
+                        // after each 4 bytes group an extra space
+                        if (( idx & 0x03 ) == 3 )
+                            output.write (" ");
+                    }
+
+                    // ascii view
+                    // all char 0x20..0x7e are OK for printing,
+                    // other values are printed as a dot
+                    ubyte[16] ascii = void;
+                    int asciiIdx;
+                    for ( asciiIdx = 0;
+                        (asciiIdx<16) && (asciiIdx+row < data.length);
+                        asciiIdx++ )
+                    {
+                        ubyte c = data[ row + asciiIdx ];
+                        if ( c < 0x20 || c > 0x7E )
+                            c = '.';
+                        ascii[asciiIdx] = c;
+                    }
+                    output.write (ascii[ 0 .. asciiIdx ]);
+                    output.write (Eol);
+                }
+                if (flushLines)
+                    output.flush;
+            }
+            return this;
+        }
-}