Change the way hard splits are handled.

lib/src/debug.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// Internal debugging utilities.
 library dart_style.src.debug;
 
 import 'dart:math' as math;
 
 import 'chunk.dart';
@@ skipping 66 matching lines @@
       spans.addAll(chunk.spans);
 
       if (chunk.isBlock) addSpans(chunk.block.chunks);
     }
   }
 
   addSpans(chunks);
 
   spans = spans.toList();
 
-  var rules = chunks
-      .map((chunk) => chunk.rule)
-      .where((rule) => rule != null && rule is! HardSplitRule)
-      .toSet();
+  var rules =
+      chunks.map((chunk) => chunk.rule).where((rule) => rule != null).toSet();
 
   var rows = [];
 
   addChunk(List<Chunk> chunks, String prefix, int index) {
     var row = [];
     row.add("$prefix$index:");
 
     var chunk = chunks[index];
     if (chunk.text.length > 70) {
       row.add(chunk.text.substring(0, 70));
@@ skipping 24 matching lines @@
         row.add(callback());
       } else {
         row.add("");
       }
     }
 
     if (chunk.rule == null) {
       row.add("");
       row.add("(no rule)");
       row.add("");
-    } else if (chunk.isHardSplit) {
-      row.add("");
-      row.add("(hard)");
-      row.add("");
-    } else if (chunk.rule != null) {
+    } else {
       writeIf(chunk.rule.cost != 0, () => "\$${chunk.rule.cost}");
-      row.add(chunk.rule.toString());
+
+      var ruleString = chunk.rule.toString();
+      if (chunk.rule.isHardened) ruleString += "!";
+      row.add(ruleString);
 
       var constrainedRules =
           chunk.rule.constrainedRules.toSet().intersection(rules);
       writeIf(constrainedRules.isNotEmpty,
           () => "-> ${constrainedRules.join(" ")}");
     }
 
     writeIf(chunk.indent != null && chunk.indent != 0,
         () => "indent ${chunk.indent}");
 
@@ skipping 32 matching lines @@
       buffer.write(cell);
       buffer.write("  ");
     }
 
     buffer.writeln();
   }
 
   print(buffer.toString());
 }
 
+/// Shows all of the constraints between the rules used by [chunks].
+void dumpConstraints(List<Chunk> chunks) {
+  var rules =
+      chunks.map((chunk) => chunk.rule).where((rule) => rule != null).toSet();
+
+  for (var rule in rules) {
+    var constrainedValues = [];
+    for (var value = 0; value < rule.numValues; value++) {
+      var constraints = [];
+      for (var other in rules) {
+        if (rule == other) continue;
+
+        var constraint = rule.constrain(value, other);
+        if (constraint != null) {
+          constraints.add("$other->$constraint");
+        }
+      }
+
+      if (constraints.isNotEmpty) {
+        constrainedValues.add("$value:(${constraints.join(' ')})");
+      }
+    }
+
+    log("$rule ${constrainedValues.join(' ')}");
+  }
+}
+
 /// Convert the line to a [String] representation.
 ///
 /// It will determine how best to split it into multiple lines of output and
 /// return a single string that may contain one or more newline characters.
 void dumpLines(List<Chunk> chunks, int firstLineIndent, SplitSet splits) {
   var buffer = new StringBuffer();
 
   writeIndent(indent) => buffer.write(gray("| " * (indent ~/ 2)));
 
   writeChunksUnsplit(List<Chunk> chunks) {
@@ skipping 22 matching lines @@
 
       if (chunk.spaceWhenUnsplit) buffer.write(" ");
     }
   }
 
   buffer.write(chunks.last.text);
   log(buffer);
 }
 
 String _color(String ansiEscape) => useAnsiColors ? ansiEscape : "";