TestJavaLangString


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  package gov.nasa.jpf.jvm;
20  
21  /**
22   * test of java.lang.String APIs
23   */
24  public class TestJavaLangString {
25    public static void main (String  [] args) {
26      TestJavaLangString t = new TestJavaLangString();
27  
28      if (args.length > 0) {
29        for (int i = 0; i < args.length; i++) {
30          String   func = args[i];
31  
32          if ("testIntern".equals(func)) {
33            t.testIntern();
34          } else {
35            throw new IllegalArgumentException  ("unknown test function");
36          }
37        }
38      } else {
39        t.testIntern();
40      }
41    }
42  
43    public void testIntern () {
44      String   a = "Blah".intern();
45      String   b = new String  ("Blah");
46  
47      assert (a != b) : "'new String(intern) != intern' failed";
48  
49      String   c = b.intern();
50  
51      assert (a == c) : "'(new String(intern)).intern() == intern' failed";
52    }
53  }
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags