add support for << and >> to CharTopology.toString()

darcs-hash:20070909191242-5007d-929587314a3a7cda1ee3728ff9125ea933112e04.gz

diff --git a/src/edu/berkeley/sbp/chr/CharTopology.java b/src/edu/berkeley/sbp/chr/CharTopology.java
index 2d84ffc..4f1bb31 100644 (file)
--- a/src/edu/berkeley/sbp/chr/CharTopology.java
+++ b/src/edu/berkeley/sbp/chr/CharTopology.java
@@ -38,6 +38,8 @@ public class CharTopology extends IntegerTopology<Character> implements Functor<
     }
 
     private String esc(char c) {
     }
 
     private String esc(char c) {

+        if (c==CharAtom.left) return ">>";
+        if (c==CharAtom.right) return "<<";

         return StringUtil.escapify(c+"", "[]-~\\\"\'\n\r");
     }
 
         return StringUtil.escapify(c+"", "[]-~\\\"\'\n\r");
     }