org.eclipse.hyades.models.common.interactions
Interface BVRStateInvariant

All Superinterfaces:

BVRInteractionFragment, CMNNamedElement, org.eclipse.emf.ecore.EObject, IAction, org.eclipse.core.runtime.IAdaptable, INamedElement, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

BVRStateInvariantImpl

public interface BVRStateInvariant

extends BVRInteractionFragment

A representation of the model object 'BVR State Invariant'. A StateInvariant is a constraint on the state of a Lifeline. In this case we mean by state also the values of eventual attributes of the DeployableInstance the Lifeline refers to.

See Also:

Common_Behavior_InteractionsPackage.getBVRStateInvariant()

Field Summary

static java.lang.String

copyright

Methods inherited from interface org.eclipse.hyades.models.common.interactions.BVRInteractionFragment

getAnnotations, getDefaultApplication, getGeneralOrderings, getInteraction, getLifelines, getMessages, getProperties, setDefaultApplication, setInteraction

Methods inherited from interface org.eclipse.hyades.models.common.common.CMNNamedElement

getDescription, getId, getName, setDescription, setId, setName

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Methods inherited from interface org.eclipse.hyades.models.common.facades.behavioral.IAction

getActionAnnotations, getActionProperties, isSynchronous, setSynchronous

Methods inherited from interface org.eclipse.hyades.models.common.facades.behavioral.INamedElement

getDescription, getId, getName, setDescription, setId, setName

Field Detail

copyright

public static final java.lang.String copyright

See Also:

Constant Field Values