KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > sorter2


1 //
2
// Copyright (C) 2005 United States Government as represented by the
3
// Administrator of the National Aeronautics and Space Administration
4
// (NASA). All Rights Reserved.
5
//
6
// This software is distributed under the NASA Open Source Agreement
7
// (NOSA), version 1.3. The NOSA has been approved by the Open Source
8
// Initiative. See the file NOSA-1.3-JPF at the top of the distribution
9
// directory tree for the complete NOSA document.
10
//
11
// THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12
// KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13
// LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14
// SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15
// A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16
// THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17
// DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18
//
19
import gov.nasa.jpf.jvm.Verify;
20
21
22 /**
23  * DOCUMENT ME!
24  */

25 class sorter2 {
26   public static void main (String JavaDoc[] args) {
27     int a = Verify.random(4);
28     int b = Verify.random(4);
29     int c = Verify.random(4);
30     int d = Verify.random(4);
31     int temp = 0;
32     Verify.instrumentPoint("pre-sort");
33
34     if (a > b) {
35       temp = b;
36       b = a;
37       a = temp;
38     }
39
40     if (b > c) {
41       temp = c;
42       c = b;
43       b = temp;
44     }
45
46     if (c > d) {
47       temp = d;
48       d = c;
49       c = temp;
50     }
51
52     if (b > c) {
53       temp = c;
54       c = b;
55       b = temp;
56     }
57
58     if (a > b) {
59       temp = b;
60       b = a;
61       a = temp;
62     }
63
64     Verify.instrumentPoint("post-sort");
65
66     assert ((a <= b) && (b <= c) && (c <= d));
67   }
68 }
Popular Tags