X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fcom%2Fstevesoft%2Fpat%2Fwrap%2FRandomAccessFileWrap.java;h=fddfd4f3a6d171fde9b25acad90ffc98e0751c5e;hb=57738a1f3c19b1c3a00bd3ac5108f8cd0af32f99;hp=66a10147bdd40db9be4c92c8254ec6244531ec4d;hpb=4d7f98a6dd54d9863ba449ec79dcd95d25ed863d;p=jalview.git diff --git a/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java b/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java index 66a1014..fddfd4f 100755 --- a/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java +++ b/src/com/stevesoft/pat/wrap/RandomAccessFileWrap.java @@ -63,6 +63,7 @@ public class RandomAccessFileWrap implements StringLike this.raf = raf; } + @Override public char charAt(int i) { if (i >= i0 && i < iend) @@ -89,18 +90,19 @@ public class RandomAccessFileWrap implements StringLike { } - throw new ArrayIndexOutOfBoundsException(MessageManager.formatMessage( - "exception.out_of_bounds_for_file", new String[] { - Integer.valueOf(i).toString(), - Integer.valueOf(i0).toString(), + 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() })); } + @Override public String toString() { throw new Error(MessageManager.getString("error.not_implemented")); } + @Override public int length() { try @@ -117,6 +119,7 @@ public class RandomAccessFileWrap implements StringLike } } + @Override public String substring(int i1, int i2) { StringBuffer sb = new StringBuffer(); @@ -127,11 +130,18 @@ public class RandomAccessFileWrap implements StringLike return sb.toString(); } + @Override public Object unwrap() { return raf; } + /** + * @j2sIgnore + * + * @param files + * @throws IOException + */ public static void main(String[] files) throws IOException { for (int i = 0; i < files.length; i++) @@ -159,11 +169,13 @@ public class RandomAccessFileWrap implements StringLike } } + @Override public BasicStringBufferLike newStringBufferLike() { return new StringBufferWrap(); } + @Override public int indexOf(char c) { for (int i = 0; i < length(); i++)