de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class NoStateLabelingStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.NoStateLabelingStrategy

All Implemented Interfaces:

StateLabelingStrategy

public class NoStateLabelingStrategy
extends Object
implements StateLabelingStrategy

A simple state labeling strategy that returns an empty set of atomic propositions for every state.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
NoStateLabelingStrategy()

Method Summary

Modifier and Type	Method and Description
void	computeAtomicPropositions(ProgramState programState) Determines the atomic propositions assigned to the given program state.

Methods inherited from class java.lang.Object

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

Constructor Detail

NoStateLabelingStrategy

public NoStateLabelingStrategy()

Method Detail

computeAtomicPropositions

public void computeAtomicPropositions(ProgramState programState)

Description copied from interface: StateLabelingStrategy

Determines the atomic propositions assigned to the given program state. These propositions are directly attached to the given program state.

Specified by:

computeAtomicPropositions in interface StateLabelingStrategy

Parameters:

programState - The program state whose atomic propositions should be determined.