public interface StateInvariant extends InteractionFragment
The following features are supported:
UMLPackage.getStateInvariant()
SEPARATOR
Modifier and Type | Method and Description |
---|---|
Constraint |
createInvariant(String name)
Creates a new
Constraint ,with the specified 'Name', and sets the '
Invariant' containment reference |
Constraint |
createInvariant(String name,
EClass eClass)
Creates a new
Constraint , with the specified 'Name', and sets the '
Invariant' containment reference |
Constraint |
getInvariant()
Returns the value of the 'Invariant' containment reference
|
void |
setInvariant(Constraint value)
Sets the value of the '
Invariant ' containment reference |
createGeneralOrdering, getCovered, getCovered, getCovereds, getEnclosingInteraction, getEnclosingOperand, getGeneralOrdering, getGeneralOrdering, getGeneralOrderings, setEnclosingInteraction, setEnclosingOperand
allNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership
addKeyword, allOwnedElements, applyStereotype, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedSubstereotype, getAppliedSubstereotypes, getKeywords, getModel, getNearestPackage, getOwnedComments, getOwnedElements, getOwner, getRelationships, getRelationships, getRequiredStereotype, getRequiredStereotypes, getSourceDirectedRelationships, getSourceDirectedRelationships, getStereotypeApplication, getStereotypeApplications, getTargetDirectedRelationships, getTargetDirectedRelationships, getValue, hasKeyword, hasValue, isStereotypeApplicable, isStereotypeApplied, isStereotypeRequired, mustBeOwned, removeKeyword, setValue, unapplyStereotype, validateHasOwner, validateNotOwnSelf
compareTo, eExtendedClass, eIsInstanceOf, eIsInstanceOf, eIsProfiled, eIsRemoved, eMetamodel, eMetaTypeName, eModel, eRemove, eSetUniqueID, eUniqueID, superScript, superScript, toBoolean, toBoolean, toByte, toByte, toChar, toChar, toDouble, toDouble, toFloat, toFloat, toInt, toInt, toList, toList, toList, toList, toList, toLong, toLong, toObject, toObject, toSet, toSet, toShort, toShort, toString, toString
getEAnnotation, getEAnnotations
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
Constraint getInvariant()
setInvariant(Constraint)
,
UMLPackage.getStateInvariant_Invariant()
void setInvariant(Constraint value)
Invariant
' containment reference.
value
- the new value of the 'Invariant' containment reference.getInvariant()
Constraint createInvariant(String name, EClass eClass)
Constraint
, with the specified 'Name', and sets the '
Invariant' containment reference.
name
- The 'Name' for the new Constraint
, or null
.eClass
- The Ecore class of the Constraint
to create.Constraint
.getInvariant()
Constraint createInvariant(String name)
Constraint
,with the specified 'Name', and sets the '
Invariant' containment reference.
name
- The 'Name' for the new Constraint
, or null
.Constraint
.getInvariant()