Mercurial > hg > Members > kono > jpf-core

comparison src/main/gov/nasa/jpf/vm/JPFOutputStream.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 package gov.nasa.jpf.vm;
19
20 import java.io.IOException;
21 import java.io.OutputStream;
22 import java.io.PrintStream;
23
24 import gov.nasa.jpf.util.FinalBitSet;
25 import gov.nasa.jpf.util.PrintUtils;
26
27 /**
28 * stream to write program state info in a readable and diff-able format.
29 * This is mostly intended for debugging, but could also at some point be
30 * used to restore such states.
31 *
32 * Currently supports heap objects, classes (static fields), threads and stack frames
33 */
34 public class JPFOutputStream extends OutputStream {
35
36 PrintStream ps;
37
38 boolean useSid = false;
39 int maxElements = -1;
40
41 public JPFOutputStream (OutputStream os){
42 ps = new PrintStream(os);
43 }
44
45 public JPFOutputStream (PrintStream ps){
46 this.ps = ps;
47 }
48
49 public JPFOutputStream (){
50 this(System.out);
51 }
52
53 @Override
54 public void close(){
55 ps.flush();
56
57 if (ps != System.err && ps != System.out){
58 ps.close();
59 }
60 }
61
62 public void printCommentLine(String msg){
63 ps.print("// ");
64 ps.println(msg);
65 }
66
67 public void print (ElementInfo ei, FieldInfo fi, boolean isFiltered){
68 ps.print(fi.getName());
69 ps.print(':');
70
71 if (isFiltered){
72 ps.print("X");
73
74 } else {
75 switch (fi.getTypeCode()) {
76 case Types.T_BOOLEAN:
77 ps.print(ei.getBooleanField(fi));
78 break;
79 case Types.T_BYTE:
80 ps.print(ei.getByteField(fi));
81 break;
82 case Types.T_CHAR:
83 PrintUtils.printCharLiteral(ps, ei.getCharField(fi));
84 break;
85 case Types.T_SHORT:
86 ps.print(ei.getShortField(fi));
87 break;
88 case Types.T_INT:
89 ps.print(ei.getIntField(fi));
90 break;
91 case Types.T_LONG:
92 ps.print(ei.getLongField(fi));
93 break;
94 case Types.T_FLOAT:
95 ps.print(ei.getFloatField(fi));
96 break;
97 case Types.T_DOUBLE:
98 ps.print(ei.getDoubleField(fi));
99 break;
100
101 case Types.T_REFERENCE:
102 case Types.T_ARRAY:
103 PrintUtils.printReference(ps, ei.getReferenceField(fi));
104 break;
105 }
106 }
107 }
108
109 protected void printFields (ElementInfo ei, FieldInfo[] fields, FinalBitSet filterMask){
110 if (fields != null){
111 for (int i = 0; i < fields.length; i++) {
112 if (i > 0) {
113 ps.print(',');
114 }
115 print(ei, fields[i], (filterMask != null && filterMask.get(i)));
116 }
117 }
118 }
119
120 public void print (ElementInfo ei, FinalBitSet filterMask){
121 boolean isObject = ei.isObject();
122 ClassInfo ci = ei.getClassInfo();
123
124 int ref = (useSid) ? ei.getSid() : ei.getObjectRef();
125 ps.printf("@%x ", ref);
126
127 if (isObject){
128 ps.print("object ");
129 if (ei.isArray()){
130 ps.print( Types.getTypeName(ci.getName()));
131 } else {
132 ps.print(ci.getName());
133 }
134 } else {
135 ps.print("class ");
136 ps.print(ci.getName());
137 }
138
139 ps.print(':');
140
141 if (isObject){
142 if (ei.isArray()){
143 ps.print('[');
144 ei.getArrayFields().printElements(ps, maxElements);
145 ps.print(']');
146
147 } else {
148 ps.print('{');
149 printFields(ei, ci.getInstanceFields(), filterMask);
150 ps.print('}');
151 }
152
153 } else {
154 ps.print('{');
155 printFields( ei, ci.getDeclaredStaticFields(), filterMask);
156 ps.print('}');
157 }
158 }
159
160 public void print (ThreadInfo ti){
161 PrintUtils.printReference(ps, ti.getThreadObjectRef());
162 ps.print(' ');
163 ps.print(ti.getStateDescription());
164 }
165
166 public void print (StackFrame frame){
167 MethodInfo mi = frame.getMethodInfo();
168
169 ps.print('@');
170 ps.print(frame.getDepth());
171
172 ps.print(" frame ");
173 ps.print( mi.getFullName());
174 ps.print( ":{" );
175
176 if (!mi.isStatic()){
177 ps.print("this:");
178 PrintUtils.printReference(ps, frame.getThis());
179 ps.print(',');
180 }
181
182 ps.print("pc:");
183 ps.print(frame.getPC().getInstructionIndex());
184
185 ps.print(",slots:[");
186 frame.printSlots(ps);
187 ps.print(']');
188
189 ps.print('}');
190 }
191
192 public void println(){
193 ps.println();
194 }
195
196 public void print (NativeStateHolder nsh){
197 ps.print(nsh);
198 ps.print(":");
199 ps.print(nsh.getHash());
200 }
201
202 @Override
203 public void write(int b) throws IOException {
204 ps.write(b);
205 }
206 }