gov.nasa.jpf.vm

Class DebugJenkinsStateSet

java.lang.Object

gov.nasa.jpf.vm.SerializingStateSet

gov.nasa.jpf.vm.JenkinsStateSet

gov.nasa.jpf.vm.DebugJenkinsStateSet

All Implemented Interfaces:

StateSet

public class DebugJenkinsStateSet
extends JenkinsStateSet

a JenkinsStateSet that stores program state information in a readable and diffable format. Storing states as readable text is enabled by setting vm.storage.class to this class Note: this automatically sets/overrides the serializer to Debug

Field Summary

Fields inherited from class gov.nasa.jpf.vm.SerializingStateSet

serializer

Fields inherited from interface gov.nasa.jpf.vm.StateSet

UNKNOWN_ID

Constructor Summary

Constructors

Constructor and Description
DebugJenkinsStateSet(Config conf)

Method Summary

Modifier and Type	Method and Description
int	addCurrent() check if a state is already in the set, and add it if not.
void	attach(VM vm)

Methods inherited from class gov.nasa.jpf.vm.JenkinsStateSet

add, longLookup3Hash, main, size

Methods inherited from class java.lang.Object

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

Constructor Detail

DebugJenkinsStateSet

public DebugJenkinsStateSet(Config conf)

Method Detail

attach

public void attach(VM vm)

Specified by:

attach in interface StateSet

Overrides:

attach in class SerializingStateSet

addCurrent

public int addCurrent()

Description copied from interface: StateSet

check if a state is already in the set, and add it if not. Answer it's numeric id

Specified by:

addCurrent in interface StateSet

Overrides:

addCurrent in class SerializingStateSet