Changeset 11427

Timestamp:

12/06/08 18:45:06 (15 years ago)

Author:

ehuelsmann

Message:

Fix STRING-INPUT-STREAM GET-OFFSET with non-zero :start offset.

File:

• branches/open-external-format/src/org/armedbear/lisp/StringInputStream.java (modified) (3 diffs)

branches/open-external-format/src/org/armedbear/lisp/StringInputStream.java

@@ -39 +39 @@
 {
     private final StringReader stringReader;
+    private final int start;
     
     public StringInputStream(String s)
@@ -57 +58 @@
         eolStyle = EolStyle.LF;
 
+        this.start = start;
+        
         stringReader = new StringReader(s.substring(start, end));
         initAsCharacterInputStream(stringReader);
@@ -93 +96 @@
     }
 
+    @Override
+    public int getOffset() {
+        return start + super.getOffset();
+    }
+    
     // ### make-string-input-stream
     // make-string-input-stream string &optional start end => string-stream