jdk/src/java.desktop/share/classes/javax/swing/text/html/Map.java
changeset 32865 f9cb6e427f9e
parent 25859 3317bb8137f4
equal deleted inserted replaced
32864:2a338536e642 32865:f9cb6e427f9e
   178      * Creates and returns an array of integers from the String
   178      * Creates and returns an array of integers from the String
   179      * <code>stringCoords</code>. If one of the values represents a
   179      * <code>stringCoords</code>. If one of the values represents a
   180      * % the returned value with be negative. If a parse error results
   180      * % the returned value with be negative. If a parse error results
   181      * from trying to parse one of the numbers null is returned.
   181      * from trying to parse one of the numbers null is returned.
   182      */
   182      */
   183     static protected int[] extractCoords(Object stringCoords) {
   183     protected static int[] extractCoords(Object stringCoords) {
   184         if (stringCoords == null || !(stringCoords instanceof String)) {
   184         if (stringCoords == null || !(stringCoords instanceof String)) {
   185             return null;
   185             return null;
   186         }
   186         }
   187 
   187 
   188         StringTokenizer    st = new StringTokenizer((String)stringCoords,
   188         StringTokenizer    st = new StringTokenizer((String)stringCoords,