From 89aca86c811980ebc3e2e3fb2965cb15518b9836 Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sat, 17 Mar 2007 08:49:13 +0000
Subject: [PATCH] Fountain.getLength() should return a long

darcs-hash:20070317084913-5007d-ec6e9d07fc448ca2cae6f2bfe84a0ee806d630bf.gz
---
 src/org/ibex/io/Fountain.java |   24 +++++-------------------
 1 file changed, 5 insertions(+), 19 deletions(-)

diff --git a/src/org/ibex/io/Fountain.java b/src/org/ibex/io/Fountain.java
index 74fb58e..ddf66e4 100644
--- a/src/org/ibex/io/Fountain.java
+++ b/src/org/ibex/io/Fountain.java
@@ -9,34 +9,20 @@ import java.net.*;
 import java.util.*;
 import java.util.zip.*;
 import org.ibex.util.*;
+import java.sql.*;
 
 /** a source of streams */
 public interface Fountain {
 
     public Stream getStream();
-    public int getLength();
-    public int getNumLines();
-    /*
-    public static interface Transformer {
-        public Fountain transform(Fountain in);
-
-        public static class Lift implements Fountain.Transformer {
-            private final Stream.Transformer func;
-            public Lift(Stream.Transformer func) { this.func = func; }
-            public Fountain transform(final Fountain in) {
-                return new Fountain() {
-                        public Stream getStream() {
-                            return func.transform(in.getStream()); } };
-            }
-        }
-    }
-    */
+    public long   getLength();
+    public int    getNumLines();
 
     public static class File implements Fountain {
         private final java.io.File file;
         public File(java.io.File file) { this.file = file; }
         public Stream getStream()      { return new Stream(file); }
-        public int getLength()         { return (int)file.length(); }
+        public long getLength()        { return (int)file.length(); }
         public int getNumLines()       { return Stream.countLines(getStream()); } 
     }
 
@@ -48,7 +34,7 @@ public interface Fountain {
         public ByteArray(byte[] bytes)                   { this(bytes, 0, bytes.length); }
         public ByteArray(byte[] bytes, int off, int len) { this.bytes = bytes; this.off=off; this.len=len; }
         public Stream getStream()                        { return new Stream(bytes, off, len); }
-        public int getLength()                           { return len; }
+        public long getLength()                          { return len; }
         public int getNumLines()                         { return Stream.countLines(getStream()); } 
     }
 
-- 
1.7.10.4