Class IAStateInvariantHelper


  • public abstract class IAStateInvariantHelper
    extends java.lang.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:
    IAStateInvariant