| java.lang.Object
 U2.T2.examples.TestArray2
| TestArray2 | | public class TestArray2 (Code) | | This class shows that T2 can handle multi dimensional arrays. It
has no fields, only methods. It contains errors.
|
| Method Summary | |
| public int | findMax(int[][] a)
Find the maximum element of a two dimensional array, assuming
the array is non-empty. | | public int | findMax_spec(int[][] a)
The method encoding the specification of findMax. |
| findMax | | public int findMax(int[][] a)(Code) | | Find the maximum element of a two dimensional array, assuming
the array is non-empty. It contains error: if the array
contains all negative elements, which are all less than -1, it
will return -1 as the maximum element.
|
| findMax_spec | | public int findMax_spec(int[][] a)(Code) | | The method encoding the specification of findMax.
|
|
|