From 318e1424bc75bcb6c5973a308384c4df702a4b6d Mon Sep 17 00:00:00 2001 From: adam Date: Thu, 19 Apr 2007 23:24:07 -0400 Subject: [PATCH] more accurate positions in CharInput darcs-hash:20070420032407-5007d-3cd0f9eb4995bf6a0f119bcee258086ca5647701.gz --- src/edu/berkeley/sbp/chr/CharInput.java | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/src/edu/berkeley/sbp/chr/CharInput.java b/src/edu/berkeley/sbp/chr/CharInput.java index 3ebbb88..8814f79 100644 --- a/src/edu/berkeley/sbp/chr/CharInput.java +++ b/src/edu/berkeley/sbp/chr/CharInput.java @@ -95,11 +95,6 @@ public class CharInput extends Cartesian.Input { Character ret = __next(); if (ret==null) return null; char c = ret.charValue(); - if (indent) { - if (ret==CharAtom.left) System.out.print("\033[31m{\033[0m"); - else if (ret==CharAtom.right) System.out.print("\033[31m}\033[0m"); - else System.out.print(c+""); - } return ret; } public Character __next() throws IOException { @@ -160,8 +155,8 @@ public class CharInput extends Cartesian.Input { public String showRegion(Region rc, int maxLength) { if (cache == null) return null; Cartesian.Region r = (Cartesian.Region)rc; - int start = r.getStart().getScalar()+1; - int end = r.getEnd().getScalar()+1; + int start = r.getStart().getScalar(); + int end = r.getEnd().getScalar(); if (start < 0) start = 0; if (end < start) end = start; if (end > cache.length()) end = cache.length(); @@ -181,4 +176,5 @@ public class CharInput extends Cartesian.Input { return cache.substring(start, end); } + public void close() { } } -- 1.7.10.4