Mercurial > hg > Members > kono > jpf-core

comparison src/tests/gov/nasa/jpf/test/java/io/ObjectStreamTest.java @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:61d41facf527
1 /*
2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
4 * All rights reserved.
5 *
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0.
11 *
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
17 */
18
19 package gov.nasa.jpf.test.java.io;
20
21 import gov.nasa.jpf.util.test.TestJPF;
22
23 import java.io.File;
24 import java.io.FileInputStream;
25 import java.io.FileOutputStream;
26 import java.io.ObjectInputStream;
27 import java.io.ObjectOutputStream;
28 import java.io.Serializable;
29
30 import org.junit.Test;
31
32 /**
33 * regression test for object streams
34 */
35 public class ObjectStreamTest extends TestJPF {
36
37 static class X implements Serializable {
38 String q = "the ultimate question";
39 Y a = new Y(-42);
40
41 @Override
42 public String toString() {
43 return "X{q=\""+q+"\",a="+a+'}';
44 }
45 }
46
47 static class Y implements Serializable {
48 static final long serialVersionUID = -42;
49
50 boolean z = true;
51 byte b = 42;
52 char c = '!';
53 short s = 42;
54 int i;
55 long l = 42000;
56 float f = 42.0f;
57 double d = 4.2e5;
58
59 Y (int answer){
60 i = answer;
61 }
62
63 @Override
64 public String toString() {
65 return "Y{z="+z+",b="+b+",c="+c+",s="+s+",i="+i+",l="+l+",f="+f+",d="+d+ '}';
66 }
67 }
68
69 @Test
70 public void testSimpleReadbackOk () {
71 String fname = "tmp.ser";
72
73 if (!isJPFRun()){
74 try {
75 X x = new X();
76 FileOutputStream fos = new FileOutputStream(fname);
77 ObjectOutputStream oos = new ObjectOutputStream(fos);
78 oos.writeObject(x);
79 oos.close();
80 } catch (Throwable t){
81 fail("serialization failed: " + t);
82 }
83 }
84
85 if (verifyNoPropertyViolation()){
86 try {
87 FileInputStream fis = new FileInputStream(fname);
88 ObjectInputStream ois = new ObjectInputStream(fis);
89 Object o = ois.readObject();
90 ois.close();
91
92 System.out.println(o);
93
94 assert o instanceof X : "wrong object type: " + o.getClass().getName();
95 X x = (X) o;
96 assert x.a.i == -42;
97 } catch (Throwable t){
98 //t.printStackTrace();
99 fail("serialization readback failed: " + t);
100 }
101
102 File f = new File(fname);
103 f.delete();
104 }
105 }
106
107 }