[marf-cvs] marf/src/marf/util Arrays.java,1.22,1.23

[Susan <sus...@us...>]

Update of /cvsroot/marf/marf/src/marf/util
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11324

Modified Files:
	Arrays.java 
Log Message:
Add binarySearch() wrapper.

Index: Arrays.java
===================================================================
RCS file: /cvsroot/marf/marf/src/marf/util/Arrays.java,v
retrieving revision 1.22
retrieving revision 1.23
diff -C2 -d -r1.22 -r1.23
*** Arrays.java	21 Jun 2005 14:30:58 -0000	1.22
--- Arrays.java	21 Jun 2005 23:31:48 -0000	1.23
***************
*** 6,15 ****
  
  /**
!  * <p>Extension of <code>java.util.Arrays</code> to group a lot of arrays-related functionality
!  * commonly used in one place. This class can do whatever <code>java.util.Arrays</code> can,
!  * plus allows copying array portions, including arrays cases when the source and destination
!  * arrays are of different types (with proper casting when needed), providing array-to-Vector
!  * convetsions, and allow inheritance from the class, so that anyone wishing to extend is,
!  * is welcome to do so without have to go through the pain of re-wrapping methods.</p>
   *
   * <p>NOTE: This is true as of JDK 1.4.</p>
--- 6,15 ----
  
  /**
!  * <p><code>marf.util.Arrays</code> is an extension of <code>java.util.Arrays</code>
!  * to group a lot of arrays-related functionality commonly used in one place. This class
!  * can do whatever <code>java.util.Arrays</code> can. For the type-conversion routines
!  * a proper casting to the destination type is performed upon the need. It also allows
!  * inheritance from the class, so that anyone wishing to extend it is welcome to do so
!  * without the pain of re-wrapping methods.</p>
   *
   * <p>NOTE: This is true as of JDK 1.4.</p>
***************
*** 19,23 ****
   * and <code>arrayToVector()</code> methods.</p>
   *
-  * TODO: binarySearch() and diff types copy().
   *
   * <p>$Id$</p>
--- 19,22 ----
***************
*** 1323,1327 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of floats.
--- 1322,1326 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of floats.
***************
*** 1364,1368 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of longs.
--- 1363,1367 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of longs.
***************
*** 1405,1409 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of shorts.
--- 1404,1408 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of shorts.
***************
*** 1446,1450 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of bytes.
--- 1445,1449 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of bytes.
***************
*** 1475,1479 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies all int elements
  	 * from an array of ints into array of bytes.
--- 1474,1478 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies all int elements
  	 * from an array of ints into array of bytes.
***************
*** 1487,1491 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of characters.
--- 1486,1490 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N int elements
  	 * from an array of ints into array of characters.
***************
*** 1528,1532 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of integers.
--- 1527,1531 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of integers.
***************
*** 1569,1573 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of characters.
--- 1568,1572 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of characters.
***************
*** 1610,1614 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of bytes.
--- 1609,1613 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of bytes.
***************
*** 1651,1655 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of floats.
--- 1650,1654 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of floats.
***************
*** 1691,1695 ****
  		copy(pafDestination, 0, padSource, 0, padSource.length);
  	}
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of shorts.
--- 1690,1694 ----
  		copy(pafDestination, 0, padSource, 0, padSource.length);
  	}
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of shorts.
***************
*** 1731,1735 ****
  		copy(pasDestination, 0, padSource, 0, padSource.length);
  	}
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of longs.
--- 1730,1734 ----
  		copy(pasDestination, 0, padSource, 0, padSource.length);
  	}
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of longs.
***************
*** 1773,1777 ****
  
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of characters.
--- 1772,1776 ----
  
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of characters.
***************
*** 1814,1818 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of bytes.
--- 1813,1817 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of bytes.
***************
*** 1855,1859 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of integers.
--- 1854,1858 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of integers.
***************
*** 1896,1900 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of shorts.
--- 1895,1899 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of shorts.
***************
*** 1937,1941 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of longs.
--- 1936,1940 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of longs.
***************
*** 1978,1982 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of doubles.
--- 1977,1981 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of doubles.
***************
*** 2019,2023 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of doubles.
--- 2018,2022 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of doubles.
***************
*** 2060,2064 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of characters.
--- 2059,2063 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of characters.
***************
*** 2101,2105 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of bytes.
--- 2100,2104 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of bytes.
***************
*** 2142,2146 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of integers.
--- 2141,2145 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of integers.
***************
*** 2183,2187 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of floats.
--- 2182,2186 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of floats.
***************
*** 2224,2228 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of longs.
--- 2223,2227 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of longs.
***************
*** 2265,2269 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of longs.
--- 2264,2268 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of longs.
***************
*** 2306,2310 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of doubles.
--- 2305,2309 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of doubles.
***************
*** 2346,2350 ****
  		copy(padDestination, 0, patSource, 0, patSource.length);
  	}
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of shorts.
--- 2345,2349 ----
  		copy(padDestination, 0, patSource, 0, patSource.length);
  	}
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of shorts.
***************
*** 2387,2391 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of floats.
--- 2386,2390 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of floats.
***************
*** 2428,2432 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of characters.
--- 2427,2431 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of characters.
***************
*** 2469,2473 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of integers.
--- 2468,2472 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of integers.
***************
*** 2510,2514 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of integers.
--- 2509,2513 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of integers.
***************
*** 2551,2555 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of bytes.
--- 2550,2554 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of bytes.
***************
*** 2592,2596 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of shorts.
--- 2591,2595 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of shorts.
***************
*** 2633,2637 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of longs.
--- 2632,2636 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of longs.
***************
*** 2674,2678 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of floats.
--- 2673,2677 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of floats.
***************
*** 2715,2719 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of doubles.
--- 2714,2718 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N character elements
  	 * from an array of characters into array of doubles.
***************
*** 2774,2778 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N int elements
  	 * from an array of ints into array of Strings.
--- 2773,2777 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N int elements
  	 * from an array of ints into array of Strings.
***************
*** 2799,2803 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N char elements
  	 * from an array of chars into array of Strings.
--- 2798,2802 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N char elements
  	 * from an array of chars into array of Strings.
***************
*** 2817,2821 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N char elements
  	 * from an array of chars into array of Strings.
--- 2816,2820 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N char elements
  	 * from an array of chars into array of Strings.
***************
*** 2842,2846 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of Strings.
--- 2841,2845 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of Strings.
***************
*** 2860,2864 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of Strings.
--- 2859,2863 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N byte elements
  	 * from an array of bytes into array of Strings.
***************
*** 2885,2889 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of Strings.
--- 2884,2888 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N short elements
  	 * from an array of shorts into array of Strings.
***************
*** 2903,2907 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N short elements
  	 * from an array of shorts into array of Strings.
--- 2902,2906 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N short elements
  	 * from an array of shorts into array of Strings.
***************
*** 2928,2932 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N long elements
  	 * from an array of longs into array of Strings.
--- 2927,2931 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N long elements
  	 * from an array of longs into array of Strings.
***************
*** 2946,2950 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N long elements
  	 * from an array of longs into array of Strings.
--- 2945,2949 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N long elements
  	 * from an array of longs into array of Strings.
***************
*** 2971,2975 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of Strings.
--- 2970,2974 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N float elements
  	 * from an array of floats into array of Strings.
***************
*** 2989,2993 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N float elements
  	 * from an array of floats into array of Strings.
--- 2988,2992 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N float elements
  	 * from an array of floats into array of Strings.
***************
*** 3014,3018 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of Strings.
--- 3013,3017 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N double elements
  	 * from an array of doubles into array of Strings.
***************
*** 3032,3036 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N double elements
  	 * from an array of doubles into array of Strings.
--- 3031,3035 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N double elements
  	 * from an array of doubles into array of Strings.
***************
*** 3075,3079 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of doubles.
--- 3074,3078 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of doubles.
***************
*** 3100,3104 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of floats.
--- 3099,3103 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of floats.
***************
*** 3118,3122 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of floats.
--- 3117,3121 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of floats.
***************
*** 3143,3147 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of longs.
--- 3142,3146 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of longs.
***************
*** 3161,3165 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of longs.
--- 3160,3164 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of longs.
***************
*** 3183,3190 ****
  	public static void copy(long[] palDestination, String[] pastrSource)
  	{
! 		copy(palDestination, 0, pastrSource, 0, pastrSource.length);
  	}
  
!     /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of integers.
--- 3182,3189 ----
  	public static void copy(long[] palDestination, String[] pastrSource)
  	{
!  		copy(palDestination, 0, pastrSource, 0, pastrSource.length);
  	}
  
!         /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of integers.
***************
*** 3204,3208 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of integers.
--- 3203,3207 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of integers.
***************
*** 3229,3233 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of shorts.
--- 3228,3232 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of shorts.
***************
*** 3247,3251 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of shorts.
--- 3246,3250 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of shorts.
***************
*** 3272,3276 ****
  	}
  
!     /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of bytes.
--- 3271,3275 ----
  	}
  
!         /**
  	 * General copy-convertion method that copies N String elements
  	 * from an array of Strings into array of bytes.
***************
*** 3290,3294 ****
  	}
  
!     /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of bytes.
--- 3289,3293 ----
  	}
  
!         /**
  	 * Copy-convertion method that copies N String elements
  	 * from an array of Strings into array of bytes.
***************
*** 3316,3319 ****
--- 3315,3423 ----
  
  	/*
+ 		 * ------------------
+ 		 * Array binarySearch
+ 		 * ------------------
+ 	 */
+ 
+ 	/**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param pafArray the array of floats to be searched
+ 	 * @param pfValue the value of float to be searched in the array of floats
+ 	 * @returns index of the searched value if it is in the array of floats
+ 	 */
+ 	public static int binarySearch(float[] pafArray, float pfValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(pafArray, pfValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param padArray the array of doubles to be searched
+ 	 * @param pdValue the value of double to be searched in the array of doubles
+ 	 * @returns index of the searched value if it is in the array of doubles
+ 	 */
+ 	public static int binarySearch(double[] padArray, double pdValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(padArray, pdValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param pasArray the array of shorts to be searched
+ 	 * @param pfValue the value of shorts to be searched in the array of shorts
+ 	 * @returns index of the searched value if it is in the array of shorts
+ 	 */
+ 	public static int binarySearch(short[] pasArray, short psValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(pasArray, psValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param paiArray the array of integers to be searched
+ 	 * @param piValue the value of integer to be searched in the array of integers
+ 	 * @returns index of the searched value if it is in the array of integers
+ 	 */
+ 	public static int binarySearch(int[] paiArray, int piValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(paiArray, piValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param patArray the array of bytes to be searched
+ 	 * @param ptValue the value of byte to be searched in the array of bytes
+ 	 * @returns index of the searched value if it is in the array of bytes
+ 	 */
+ 	public static int binarySearch(byte[] patArray, byte ptValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(patArray, ptValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param pacArray the array of characters to be searched
+ 	 * @param pcValue the value of character to be searched in the array of characters
+ 	 * @returns index of the searched value if it is in the array of characters
+ 	 */
+ 	public static int binarySearch(char[] pacArray, char pcValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(pacArray, pcValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param paoArray the array of objects to be searched
+ 	 * @param poValue the value of object to be searched in the array of objects
+ 	 * @returns index of the searched value if it is in the array of objects
+ 	 * @throws ClassCastException if the type of the searched value is not match the type of the array
+ 	 */
+ 	public static int binarySearch(Object[] paoArray, Object poValue)
+ 	{
+ 		return java.util.Arrays.binarySearch(paoArray, poValue);
+ 	}
+ 
+         /**
+ 	 * The <code>binarySearch()</code> routine based on <code>java.util.Arrays.binarySearch()</code>.
+ 	 *
+ 	 * @param paoArray the array of objects to be searched
+ 	 * @param poValue the value of object to be searched in the array of objects
+ 	 * @param pcComparator the comparator to decide the order of the array
+ 	 * @returns index of the searched value if it is in the array of objects
+ 	 * @throws ClassCastException if the type of the searched value is not match the type of the array
+ 	 */
+ 	public static int binarySearch(Object[] paoArray, Object poValue,Comparator pcComparator)
+ 	{
+ 		return java.util.Arrays.binarySearch(paoArray, poValue, pcComparator);
+ 	}
+ 
+ 	/*
  	 * ----
  	 * Misc