gov.nasa.jpf.vm.serialize

Class FramePolicy

java.lang.Object

gov.nasa.jpf.vm.serialize.FramePolicy

public final class FramePolicy
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
boolean	includeLocals
boolean	includeOps
boolean	includePC Whether to include instruction offset.
boolean	recurse Whether to considered frames "below" this one (called from here).

Constructor Summary

Constructors

Constructor and Description
FramePolicy()

Method Summary

Modifier and Type	Method and Description
void	ignoreLocals()
void	ignoreOps()
void	includeLocals()
void	includeOps()
boolean	isDefaultPolicy()

Methods inherited from class java.lang.Object

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

Field Detail

includeLocals

public boolean includeLocals

includeOps

public boolean includeOps

includePC

public boolean includePC

Whether to include instruction offset.

recurse

public boolean recurse

Whether to considered frames "below" this one (called from here).

Constructor Detail

FramePolicy

public FramePolicy()

Method Detail

isDefaultPolicy

public boolean isDefaultPolicy()

ignoreLocals

public void ignoreLocals()

ignoreOps

public void ignoreOps()

includeLocals

public void includeLocals()

includeOps

public void includeOps()