# HG changeset patch
# User Andreas Woess <andreas.woess@oracle.com>
# Date 1447947454 -3600
# Node ID 27cf58ec97ae7e46b0eab225bfd6a2437f7011cd
# Parent  78f014d57b4b35e5680096f103d4ab7173c21432
SourceSection: include more information in SourceSection.toString()

diff -r 78f014d57b4b -r 27cf58ec97ae truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java
--- a/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java	Thu Nov 19 16:02:48 2015 +0100
+++ b/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/source/SourceSection.java	Thu Nov 19 16:37:34 2015 +0100
@@ -201,7 +201,12 @@
      */
     @Override
     public String toString() {
-        return getShortDescription();
+        if (source == null) {
+            return kind + ": " + identifier;
+        } else {
+            return "source=" + source.getShortName() + " pos=" + charIndex + " len=" + charLength + " line=" + startLine + " col=" + startColumn +
+                            (identifier != null ? " identifier=" + identifier : "") + " code=" + getCode();
+        }
     }
 
     @Override