All Superinterfaces:

Comparable<Object>, Constraint, Element, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, MDWEObject, MDWObject, NamedElement, org.eclipse.emf.common.notify.Notifier, PackageableElement, ParameterableElement
```
public interface InteractionConstraint
extends Constraint
```
A representation of the model object 'Interaction Constraint'. An interaction constraint is a Boolean expression that guards an operand in a combined fragment.
The following features are supported:
- Minint
- Maxint
See Also:

UMLPackage.getInteractionConstraint()

Field Summary
- Fields inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement
  SEPARATOR

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ValueSpecification`	`createMaxint(String name, Type type, org.eclipse.emf.ecore.EClass eClass)`	Creates a new `ValueSpecification`, with the specified 'Name', and 'Type', and sets the 'Maxint' containment reference.
`ValueSpecification`	`createMinint(String name, Type type, org.eclipse.emf.ecore.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(org.eclipse.emf.common.util.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(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)`	The constraint may contain references to global data or write-once data.
`boolean`	`validateMaxintGreaterEqualMinint(org.eclipse.emf.common.util.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(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)`	If maxint is specified, then the expression must evaluate to a positive integer.
`boolean`	`validateMinintMaxint(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)`	Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment.
`boolean`	`validateMinintNonNegative(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)`	If minint is specified, then the expression must evaluate to a non-negative integer.

Methods inherited from interface com.sodius.mdw.metamodel.uml21.Constraint
createSpecification, getConstrainedElements, getContext, getSpecification, setContext, setSpecification, validateBooleanValue, validateNoSideEffects, validateNotAppliedToSelf, validateNotApplyToSelf, validateValueSpecificationBoolean

Methods inherited from interface com.sodius.mdw.metamodel.uml21.Element
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

Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations

Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface com.sodius.mdw.core.model.MDWObject
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

Methods inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement
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

Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface com.sodius.mdw.metamodel.uml21.ParameterableElement
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

- Method Detail
  - getMinint
```
ValueSpecification getMinint()
```
    Returns the value of the 'Minint' containment reference. The minimum number of iterations of a loop
    
    Returns:
    
    the value of the 'Minint' containment reference.
    
    See Also:
    
    setMinint(ValueSpecification), UMLPackage.getInteractionConstraint_Minint()
  - setMinint
```
void setMinint(ValueSpecification value)
```
    Sets the value of the 'Minint' containment reference.
    
    Parameters:
    
    value - the new value of the 'Minint' containment reference.
    
    See Also:
    
    getMinint()
  - createMinint
```
ValueSpecification createMinint(String name,
                                Type type,
                                org.eclipse.emf.ecore.EClass eClass)
```
    Creates a new ValueSpecification, with the specified 'Name', and 'Type', and sets the 'Minint' containment reference.
    
    Parameters:
    
    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.
    
    Returns:
    
    The new ValueSpecification.
    
    See Also:
    
    getMinint()
  - getMaxint
```
ValueSpecification getMaxint()
```
    Returns the value of the 'Maxint' containment reference. The maximum number of iterations of a loop
    
    Returns:
    
    the value of the 'Maxint' containment reference.
    
    See Also:
    
    setMaxint(ValueSpecification), UMLPackage.getInteractionConstraint_Maxint()
  - setMaxint
```
void setMaxint(ValueSpecification value)
```
    Sets the value of the 'Maxint' containment reference.
    
    Parameters:
    
    value - the new value of the 'Maxint' containment reference.
    
    See Also:
    
    getMaxint()
  - createMaxint
```
ValueSpecification createMaxint(String name,
                                Type type,
                                org.eclipse.emf.ecore.EClass eClass)
```
    Creates a new ValueSpecification, with the specified 'Name', and 'Type', and sets the 'Maxint' containment reference.
    
    Parameters:
    
    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.
    
    Returns:
    
    The new ValueSpecification.
    
    See Also:
    
    getMaxint()
  - validateDynamicVariables
```
boolean validateDynamicVariables(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 Map context)
```
    The dynamic variables that take part in the constraint must be owned by the ConnectableElement corresponding to the covered Lifeline. true
  - validateGlobalData
```
boolean validateGlobalData(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           Map context)
```
    The constraint may contain references to global data or write-once data. true
  - validateMinintMaxint
```
boolean validateMinintMaxint(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                             Map context)
```
    Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment. true
  - validateMinintNonNegative
```
boolean validateMinintNonNegative(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  Map context)
```
    If minint is specified, then the expression must evaluate to a non-negative integer. true
  - validateMaxintPositive
```
boolean validateMaxintPositive(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               Map context)
```
    If maxint is specified, then the expression must evaluate to a positive integer. true
  - validateMaxintGreaterEqualMinint
```
boolean validateMaxintGreaterEqualMinint(org.eclipse.emf.common.util.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

Interface InteractionConstraint

Field Summary

Fields inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement

Method Summary

Methods inherited from interface com.sodius.mdw.metamodel.uml21.Constraint

Methods inherited from interface com.sodius.mdw.metamodel.uml21.Element

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

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

Methods inherited from interface com.sodius.mdw.core.model.MDWObject

Methods inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement

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

Methods inherited from interface com.sodius.mdw.metamodel.uml21.ParameterableElement

Method Detail

getMinint

setMinint

createMinint

getMaxint

setMaxint

createMaxint

validateDynamicVariables

validateGlobalData

validateMinintMaxint

validateMinintNonNegative

validateMaxintPositive

validateMaxintGreaterEqualMinint