X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2Fwrap%2FRandomAccessFileWrap.java;fp=src%2Fcom%2Fstevesoft%2Fpat%2Fwrap%2FRandomAccessFileWrap.java;h=2ab5a9567b264b9c87e7052157522ba8171229f1;hb=4231d40261fef32ce4570a6bbad0d35df44e8baf;hp=f5b61abd7d86e401dc4b4d7487af06dca7e5db21;hpb=c07eb2c5794833bd0241000d6844d783fe10cb82;p=jalview.git

diff --git a/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java b/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java
index f5b61ab..2ab5a95 100755
--- a/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java
+++ b/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java
@@ -7,169 +7,164 @@
 //
 package com.stevesoft.pat.wrap;
 
-import jalview.util.MessageManager;
-
-import java.io.*;
-
-import com.stevesoft.pat.*;
 
 /**
  * Provides a wrapper for a RandomAccessFile so that it can be searched by
  * Regex.
  */
-public class RandomAccessFileWrap implements StringLike
+public class RandomAccessFileWrap //implements StringLike
 {
-
-  long offset = 0;
-
-  public void setOffset(long o)
-  {
-    offset = o;
-    i0 = iend = 0;
-  }
-
-  public long getOffset()
-  {
-    return offset;
-  }
-
-  RandomAccessFile raf;
-
-  int i0 = 0, iend = 0;
-
-  byte[] buf = new byte[1024];
-
-  public int getBufferSize()
-  {
-    return buf.length;
-  }
-
-  public void setBufferSize(int bs)
-  {
-    buf = new byte[bs];
-    i0 = iend = 0;
-  }
-
-  public RandomAccessFileWrap(String file) throws IOException
-  {
-    this.raf = new RandomAccessFile(file, "r");
-  }
-
-  public RandomAccessFileWrap(RandomAccessFile raf)
-  {
-    this.raf = raf;
-  }
-
-  public char charAt(int i)
-  {
-    if (i >= i0 && i < iend)
-    {
-      return (char) buf[i - i0];
-    }
-
-    try
-    {
-      i0 = i - 5;
-      // if(i0+offset<0) i0=(int)(-offset);
-      if (i0 < 0)
-      {
-        i0 = 0;
-      }
-      raf.seek(i0 + offset);
-      iend = i0 + raf.read(buf, 0, buf.length);
-
-      if (i >= i0 && i < iend)
-      {
-        return (char) buf[i - i0];
-      }
-    } catch (Throwable t)
-    {
-    }
-
-    throw new ArrayIndexOutOfBoundsException(MessageManager.formatMessage("exception.out_of_bounds_for_file", new String[]{
-    		Integer.valueOf(i).toString(),
-    		Integer.valueOf(i0).toString(),
-    		Integer.valueOf(iend).toString()
-    }));
-  }
-
-  public String toString()
-  {
-    throw new Error(MessageManager.getString("error.not_implemented"));
-  }
-
-  public int length()
-  {
-    try
-    {
-      long len = raf.length() - offset;
-      if (len > Integer.MAX_VALUE)
-      {
-        return Integer.MAX_VALUE;
-      }
-      return (int) len;
-    } catch (IOException ioe)
-    {
-      return 0;
-    }
-  }
-
-  public String substring(int i1, int i2)
-  {
-    StringBuffer sb = new StringBuffer();
-    for (int i = i1; i < i2; i++)
-    {
-      sb.append(charAt(i));
-    }
-    return sb.toString();
-  }
-
-  public Object unwrap()
-  {
-    return raf;
-  }
-
-  public static void main(String[] files) throws IOException
-  {
-    for (int i = 0; i < files.length; i++)
-    {
-      RandomAccessFileWrap fw = new RandomAccessFileWrap(
-              new RandomAccessFile(files[i], "r"));
-      Regex r = new Regex("toString\\(\\) *(?@{})");
-      r.setGFlag(true);
-      r.optimize();
-      System.out.print(files[i] + " ");
-      int j = 0;
-      do
-      {
-        if (r.searchFrom(fw, j))
-        {
-          System.out.println("Matched at index: " + r.matchedFrom());
-          j = r.matchedTo();
-        }
-        else
-        {
-          System.out.println("not found");
-        }
-        System.out.println(r.stringMatched());
-      } while (r.didMatch());
-    }
-  }
-
-  public BasicStringBufferLike newStringBufferLike()
-  {
-    return new StringBufferWrap();
-  }
-
-  public int indexOf(char c)
-  {
-    for (int i = 0; i < length(); i++)
-    {
-      if (charAt(i) == c)
-      {
-        return i;
-      }
-    }
-    return -1;
-  }
+//
+//  long offset = 0;
+//
+//  public void setOffset(long o)
+//  {
+//    offset = o;
+//    i0 = iend = 0;
+//  }
+//
+//  public long getOffset()
+//  {
+//    return offset;
+//  }
+//
+//  RandomAccessFile raf;
+//
+//  int i0 = 0, iend = 0;
+//
+//  byte[] buf = new byte[1024];
+//
+//  public int getBufferSize()
+//  {
+//    return buf.length;
+//  }
+//
+//  public void setBufferSize(int bs)
+//  {
+//    buf = new byte[bs];
+//    i0 = iend = 0;
+//  }
+//
+//  public RandomAccessFileWrap(String file) throws IOException
+//  {
+//    this.raf = new RandomAccessFile(file, "r");
+//  }
+//
+//  public RandomAccessFileWrap(RandomAccessFile raf)
+//  {
+//    this.raf = raf;
+//  }
+//
+//  public char charAt(int i)
+//  {
+//    if (i >= i0 && i < iend)
+//    {
+//      return (char) buf[i - i0];
+//    }
+//
+//    try
+//    {
+//      i0 = i - 5;
+//      // if(i0+offset<0) i0=(int)(-offset);
+//      if (i0 < 0)
+//      {
+//        i0 = 0;
+//      }
+//      raf.seek(i0 + offset);
+//      iend = i0 + raf.read(buf, 0, buf.length);
+//
+//      if (i >= i0 && i < iend)
+//      {
+//        return (char) buf[i - i0];
+//      }
+//    } catch (Throwable t)
+//    {
+//    }
+//
+//    throw new ArrayIndexOutOfBoundsException(MessageManager.formatMessage("exception.out_of_bounds_for_file", new String[]{
+//    		Integer.valueOf(i).toString(),
+//    		Integer.valueOf(i0).toString(),
+//    		Integer.valueOf(iend).toString()
+//    }));
+//  }
+//
+//  public String toString()
+//  {
+//    throw new Error(MessageManager.getString("error.not_implemented"));
+//  }
+//
+//  public int length()
+//  {
+//    try
+//    {
+//      long len = raf.length() - offset;
+//      if (len > Integer.MAX_VALUE)
+//      {
+//        return Integer.MAX_VALUE;
+//      }
+//      return (int) len;
+//    } catch (IOException ioe)
+//    {
+//      return 0;
+//    }
+//  }
+//
+//  public String substring(int i1, int i2)
+//  {
+//    StringBuffer sb = new StringBuffer();
+//    for (int i = i1; i < i2; i++)
+//    {
+//      sb.append(charAt(i));
+//    }
+//    return sb.toString();
+//  }
+//
+//  public Object unwrap()
+//  {
+//    return raf;
+//  }
+//
+//  public static void main(String[] files) throws IOException
+//  {
+//    for (int i = 0; i < files.length; i++)
+//    {
+//      RandomAccessFileWrap fw = new RandomAccessFileWrap(
+//              new RandomAccessFile(files[i], "r"));
+//      Regex r = new Regex("toString\\(\\) *(?@{})");
+//      r.setGFlag(true);
+//      r.optimize();
+//      System.out.print(files[i] + " ");
+//      int j = 0;
+//      do
+//      {
+//        if (r.searchFromLike(fw, j))
+//        {
+//          System.out.println("Matched at index: " + r.matchedFrom());
+//          j = r.matchedTo();
+//        }
+//        else
+//        {
+//          System.out.println("not found");
+//        }
+//        System.out.println(r.stringMatched());
+//      } while (r.didMatch());
+//    }
+//  }
+//
+//  public BasicStringBufferLike newStringBufferLike()
+//  {
+//    return new StringBufferWrap();
+//  }
+//
+//  public int indexOf(char c)
+//  {
+//    for (int i = 0; i < length(); i++)
+//    {
+//      if (charAt(i) == c)
+//      {
+//        return i;
+//      }
+//    }
+//    return -1;
+//  }
 }