gov.nasa.jpf.util

Class InstructionState

java.lang.Object

gov.nasa.jpf.util.InstructionState

All Implemented Interfaces:

SystemAttribute

public abstract class InstructionState
extends java.lang.Object
implements SystemAttribute

a abstract SystemAttribute that can be used to store instruction execution state between top and bottom halves of respective instruction.execute() methods

Field Summary

Fields

Modifier and Type	Field and Description
static gov.nasa.jpf.util.InstructionState.Processed	processed

Constructor Summary

Constructors

Constructor and Description
InstructionState()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

processed

public static final gov.nasa.jpf.util.InstructionState.Processed processed

Constructor Detail

InstructionState

public InstructionState()