Class IAStateInvariantHelper

java.lang.Object
de.mid.innovator.srv2api.icw2ia.IAStateInvariantHelper

public abstract class IAStateInvariantHelper extends Object
A StateInvariant is a runtime constraint on the participants of the interaction. It may be used to specify a variety of different kinds of constraints, such as values of attributes or variables, internal or external states etc. A StateInvariant is an InteractionFragment and is placed on a lifeline.
See Also: