diff options
Diffstat (limited to 'util')
| -rw-r--r-- | util/src/org/aspectj/util/FileUtil.java | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/util/src/org/aspectj/util/FileUtil.java b/util/src/org/aspectj/util/FileUtil.java index a0d445cfe..b9a91b001 100644 --- a/util/src/org/aspectj/util/FileUtil.java +++ b/util/src/org/aspectj/util/FileUtil.java @@ -825,7 +825,7 @@ public class FileUtil { /** - * Reads an int array with our encoding + * Writes an int array with our encoding */ public static void writeIntArray(DataOutputStream s, int[] a) throws IOException { int len = a.length; @@ -835,6 +835,30 @@ public class FileUtil { + /** + * Reads an int array with our encoding + */ + public static String[] readStringArray(DataInputStream s) throws IOException { + int len = s.readInt(); + String[] ret = new String[len]; + for (int i=0; i < len; i++) ret[i] = s.readUTF(); + return ret; + } + + + /** + * Writes an int array with our encoding + */ + public static void writeStringArray(DataOutputStream s, String[] a) throws IOException { + if (a == null) { + s.writeInt(0); + return; + } + int len = a.length; + s.writeInt(len); + for (int i=0; i < len; i++) s.writeUTF(a[i]); + } + /** * Returns the contents of this file as a String |