< prev index next >

## src/com/sun/javatest/agent/Map.java

Print this page

    *** 59,69 ****
           * @return The map read from the given file
           * @throws IOException if any errors occurred reading the file
           */
          public static Map readFile(String name) throws IOException {
              try {
    !             Class c = Class.forName("java.io.FileReader"); // optional API in Jersonal Java
                  Constructor m = c.getConstructor(new Class[] {String.class});
                  Reader r = (Reader)(m.newInstance(new Object[] {name}));
                  return new Map(r);
              }
              catch (ClassNotFoundException e) {
    --- 59,69 ----
           * @return The map read from the given file
           * @throws IOException if any errors occurred reading the file
           */
          public static Map readFile(String name) throws IOException {
              try {
    !             Class<?> c = Class.forName("java.io.FileReader"); // optional API in Jersonal Java
                  Constructor m = c.getConstructor(new Class[] {String.class});
                  Reader r = (Reader)(m.newInstance(new Object[] {name}));
                  return new Map(r);
              }
              catch (ClassNotFoundException e) {
    *** 131,142 ****
          public Map(Reader r) throws IOException {
              BufferedReader in =
                  (r instanceof BufferedReader ? (BufferedReader)r : new BufferedReader(r))
      ;
              // data arrives in rows, but we want it in columns
    !         Vector from = new Vector();
    !         Vector to = new Vector();
              String line;
              while ((line = in.readLine()) != null) {
                  line = line.trim();
                  if (line.length() > 0  &&  !line.startsWith("#")) {
                      String[] row = StringArray.split(line);
    --- 131,142 ----
          public Map(Reader r) throws IOException {
              BufferedReader in =
                  (r instanceof BufferedReader ? (BufferedReader)r : new BufferedReader(r))
      ;
              // data arrives in rows, but we want it in columns
    !         Vector<String> from = new Vector<>();
    !         Vector<String> to = new Vector<>();
              String line;
              while ((line = in.readLine()) != null) {
                  line = line.trim();
                  if (line.length() > 0  &&  !line.startsWith("#")) {
                      String[] row = StringArray.split(line);
    *** 201,212 ****

          /**
           * Enumerate the entries of the map.
           * @return an enumeration of the translation entries within the map
           */
    !     public Enumeration enumerate() {
    !         Vector v = new Vector(fromValues.length);
              for (int i = 0; i < fromValues.length; i++) {
                  v.addElement(new String[] {fromValues[i], toValues[i]});
              }
              return v.elements();
          }
    --- 201,212 ----

          /**
           * Enumerate the entries of the map.
           * @return an enumeration of the translation entries within the map
           */
    !     public Enumeration<String[]> enumerate() {
    !         Vector<String[]> v = new Vector<>(fromValues.length);
              for (int i = 0; i < fromValues.length; i++) {
                  v.addElement(new String[] {fromValues[i], toValues[i]});
              }
              return v.elements();
          }

< prev index next >