gov.nasa.jpf.vm

Class JPFOutputStream

java.lang.Object

java.io.OutputStream

gov.nasa.jpf.vm.JPFOutputStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.AutoCloseable

public class JPFOutputStream
extends java.io.OutputStream

stream to write program state info in a readable and diff-able format. This is mostly intended for debugging, but could also at some point be used to restore such states. Currently supports heap objects, classes (static fields), threads and stack frames

Constructor Summary

Constructors

Constructor and Description
JPFOutputStream()
JPFOutputStream(java.io.OutputStream os)
JPFOutputStream(java.io.PrintStream ps)

Method Summary

Modifier and Type	Method and Description
void	close()
void	print(ElementInfo ei, FieldInfo fi, boolean isFiltered)
void	print(ElementInfo ei, FinalBitSet filterMask)
void	print(NativeStateHolder nsh)
void	print(StackFrame frame)
void	print(ThreadInfo ti)
void	printCommentLine(java.lang.String msg)
protected void	printFields(ElementInfo ei, FieldInfo[] fields, FinalBitSet filterMask)
void	println()
void	write(int b)

Methods inherited from class java.io.OutputStream

flush, write, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPFOutputStream

public JPFOutputStream(java.io.OutputStream os)

JPFOutputStream

public JPFOutputStream(java.io.PrintStream ps)

JPFOutputStream

public JPFOutputStream()

Method Detail

close

public void close()

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.OutputStream

printCommentLine

public void printCommentLine(java.lang.String msg)

print

public void print(ElementInfo ei,
                  FieldInfo fi,
                  boolean isFiltered)

printFields

protected void printFields(ElementInfo ei,
                           FieldInfo[] fields,
                           FinalBitSet filterMask)

print

public void print(ElementInfo ei,
                  FinalBitSet filterMask)

print

public void print(ThreadInfo ti)

print

public void print(StackFrame frame)

println

public void println()

print

public void print(NativeStateHolder nsh)

write

public void write(int b)
           throws java.io.IOException

Specified by:

write in class java.io.OutputStream

Throws:

java.io.IOException