public interface InteractionConstraint extends Constraint
The following features are supported:
UMLPackage.getInteractionConstraint()SEPARATOR| Modifier and Type | Method and Description |
|---|---|
ValueSpecification |
createMaxint(String name,
Type type,
EClass eClass)
Creates a new
ValueSpecification, with the specified 'Name', and 'Type',
and sets the 'Maxint' containment reference |
ValueSpecification |
createMinint(String name,
Type type,
EClass eClass)
Creates a new
ValueSpecification, with the specified 'Name', and 'Type',
and sets the 'Minint' containment reference |
ValueSpecification |
getMaxint()
Returns the value of the 'Maxint' containment reference
|
ValueSpecification |
getMinint()
Returns the value of the 'Minint' containment reference
|
void |
setMaxint(ValueSpecification value)
Sets the value of the '
Maxint' containment reference |
void |
setMinint(ValueSpecification value)
Sets the value of the '
Minint' containment reference |
boolean |
validateDynamicVariables(DiagnosticChain diagnostics,
Map context)
The dynamic variables that take part in the constraint must be owned by the ConnectableElement corresponding to the covered Lifeline.
|
boolean |
validateGlobalData(DiagnosticChain diagnostics,
Map context)
The constraint may contain references to global data or write-once data.
|
boolean |
validateMaxintGreaterEqualMinint(DiagnosticChain diagnostics,
Map context)
If maxint is specified, then minint must be specified and the evaluation of maxint must be >= the evaluation of minint
true
|
boolean |
validateMaxintPositive(DiagnosticChain diagnostics,
Map context)
If maxint is specified, then the expression must evaluate to a positive integer.
|
boolean |
validateMinintMaxint(DiagnosticChain diagnostics,
Map context)
Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment.
|
boolean |
validateMinintNonNegative(DiagnosticChain diagnostics,
Map context)
If minint is specified, then the expression must evaluate to a non-negative integer.
|
createSpecification, getConstrainedElements, getContext, getSpecification, setContext, setSpecification, validateBooleanValue, validateNoSideEffects, validateNotAppliedToSelf, validateNotApplyToSelf, validateValueSpecificationBooleanallNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnershipgetOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameteraddKeyword, 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, validateNotOwnSelfcompareTo, 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, toStringgetEAnnotation, getEAnnotationseAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDeliverValueSpecification getMinint()
setMinint(ValueSpecification),
UMLPackage.getInteractionConstraint_Minint()void setMinint(ValueSpecification value)
Minint' containment reference.
value - the new value of the 'Minint' containment reference.getMinint()ValueSpecification createMinint(String name, Type type, EClass eClass)
ValueSpecification, with the specified 'Name', and 'Type',
and sets the 'Minint' containment reference.
name - The 'Name' for the new ValueSpecification, or null.type - The 'Type' for the new ValueSpecification, or null.eClass - The Ecore class of the ValueSpecification to create.ValueSpecification.getMinint()ValueSpecification getMaxint()
setMaxint(ValueSpecification),
UMLPackage.getInteractionConstraint_Maxint()void setMaxint(ValueSpecification value)
Maxint' containment reference.
value - the new value of the 'Maxint' containment reference.getMaxint()ValueSpecification createMaxint(String name, Type type, EClass eClass)
ValueSpecification, with the specified 'Name', and 'Type',
and sets the 'Maxint' containment reference.
name - The 'Name' for the new ValueSpecification, or null.type - The 'Type' for the new ValueSpecification, or null.eClass - The Ecore class of the ValueSpecification to create.ValueSpecification.getMaxint()boolean validateDynamicVariables(DiagnosticChain diagnostics, Map context)
boolean validateGlobalData(DiagnosticChain diagnostics, Map context)
boolean validateMinintMaxint(DiagnosticChain diagnostics, Map context)
boolean validateMinintNonNegative(DiagnosticChain diagnostics, Map context)
boolean validateMaxintPositive(DiagnosticChain diagnostics, Map context)
boolean validateMaxintGreaterEqualMinint(DiagnosticChain diagnostics, Map context)