de.rwth.i2.attestor.programState.indexedState

Class IndexedState

java.lang.Object

de.rwth.i2.attestor.programState.GeneralProgramState

de.rwth.i2.attestor.programState.indexedState.IndexedState

All Implemented Interfaces:

LabelledProgramState, ProgramState, State, Cloneable

public class IndexedState
extends GeneralProgramState

Field Summary

Fields inherited from class de.rwth.i2.attestor.programState.GeneralProgramState

heap, programCounter

Fields inherited from interface de.rwth.i2.attestor.stateSpaceGeneration.State

INVALID_STATE_SPACE_ID

Constructor Summary

Constructors

Constructor and Description
IndexedState(HeapConfiguration heap)

Method Summary

Modifier and Type	Method and Description
IndexedState	clone()
boolean	equals(Object other)
protected SelectorLabel	getNewSelector(SelectorLabel oldSelectorLabel)
protected int	getSelectorTargetOf(int sourceNode, SelectorLabel selectorLabel)
protected void	removeSelector(int sourceNode, SelectorLabel selectorLabel)
ProgramState	shallowCopy() Creates a shallow copy of this program state in which the underlying heap configuration is the same as in the copied object.
ProgramState	shallowCopyUpdatePC(int newPC) Creates a shallow copy of this program state in which the underlying heap configuration is the same as in the copied object.

Methods inherited from class de.rwth.i2.attestor.programState.GeneralProgramState

addAP, flagAsContinueState, getAPs, getConstant, getContainingStateSpace, getHeap, getProgramCounter, getSelectorTarget, getStateSpaceId, getUndefined, getVariableTarget, hashCode, insertNewElement, isContinueState, isFromTopLevelStateSpace, prepareHeap, removeIntermediate, removeVariable, satisfiesAP, setContainingStateSpace, setIntermediate, setProgramCounter, setSelector, setStateSpaceId, setVariable, shallowCopyWithUpdateHeap, size, toString, unflagContinueState

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IndexedState

public IndexedState(HeapConfiguration heap)

Method Detail

shallowCopy

public ProgramState shallowCopy()

Description copied from interface: ProgramState

Creates a shallow copy of this program state in which the underlying heap configuration is the same as in the copied object.

Returns:

A shallow copy of this program state.

equals

public boolean equals(Object other)

Overrides:

equals in class Object

getSelectorTargetOf

protected int getSelectorTargetOf(int sourceNode,
                                  SelectorLabel selectorLabel)

Specified by:

getSelectorTargetOf in class GeneralProgramState

removeSelector

protected void removeSelector(int sourceNode,
                              SelectorLabel selectorLabel)

Specified by:

removeSelector in class GeneralProgramState

getNewSelector

protected SelectorLabel getNewSelector(SelectorLabel oldSelectorLabel)

Specified by:

getNewSelector in class GeneralProgramState

shallowCopyUpdatePC

public ProgramState shallowCopyUpdatePC(int newPC)

Description copied from interface: ProgramState

Creates a shallow copy of this program state in which the underlying heap configuration is the same as in the copied object. The program counter of the copy is set to the provided new program counter value.

Parameters:

newPC - The value of the program counter of the copy.

Returns:

A shallow copy of this program state with the given program counter.

clone

public IndexedState clone()

Specified by:

clone in interface ProgramState

Specified by:

clone in class GeneralProgramState

Returns:

A deep copy of this program state.