Interface StateInvariant

  • All Superinterfaces:
    Comparable<Object>, Element, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, InteractionFragment, MDWEObject, MDWObject, NamedElement, org.eclipse.emf.common.notify.Notifier

    public interface StateInvariant
    extends InteractionFragment
    A representation of the model object 'State Invariant'. A state invariant 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, and so on. A state invariant is an interaction fragment and it is placed on a lifeline.

    The following features are supported:

    See Also:
    UMLPackage.getStateInvariant()