de.unisaarland.cs.st.jerify.verifier.typestate
Interface StateChanges

All Known Implementing Classes:

StateChangeTransition

public interface StateChanges

Interface that is implemented by classes that encapsulate typestate changes

Author:

Daniel Wand

Method Summary

State	applyChanges(java.util.Set<java.lang.String> stateSet) Apply the changes encapsulated to the States passed
boolean	containsStateChangeFor(java.lang.String State) Test if the StateChanges handle a specific state
boolean	isEmpty() Test if there are any changes

Method Detail

isEmpty

boolean isEmpty()

Test if there are any changes

Returns:

true if there are changes, false otherwise

containsStateChangeFor

boolean containsStateChangeFor(java.lang.String State)

Test if the StateChanges handle a specific state

Parameters:

State - the state

Returns:

true if it handle the state, false otherwise

applyChanges

State applyChanges(java.util.Set<java.lang.String> stateSet)

Apply the changes encapsulated to the States passed

Parameters:

stateSet - the State to change

Returns:

the new State