public interface InteractionConstraint extends Constraint
From package UML::Interactions.
The following features are supported:
UMLPackage.getInteractionConstraint()
SEPARATOR
Modifier and Type | Method and Description |
---|---|
ValueSpecification |
createMaxint(java.lang.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(java.lang.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,
java.util.Map<java.lang.Object,java.lang.Object> 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,
java.util.Map<java.lang.Object,java.lang.Object> context)
The constraint may contain references to global data or write-once data.
|
boolean |
validateMaxintGreaterEqualMinint(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
If maxint is specified, then minint must be specified and the evaluation of maxint must be >= the evaluation of minint.
|
boolean |
validateMaxintPositive(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
If maxint is specified, then the expression must evaluate to a positive integer.
|
boolean |
validateMinintMaxint(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> 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,
java.util.Map<java.lang.Object,java.lang.Object> context)
If minint is specified, then the expression must evaluate to a non-negative integer.
|
createSpecification, getConstrainedElements, getContext, getSpecification, setContext, setSpecification, validateBooleanValue, validateNoSideEffects, validateNotApplyToSelf
validateNamespaceNeedsVisibility
allNamespaces, allOwningPackages, createDependency, createNameExpression, createUsage, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter
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
getEAnnotation, getEAnnotations
ValueSpecification getMinint()
This feature subsets the following features:
The minimum number of iterations of a loopFrom package UML::Interactions.
setMinint(ValueSpecification)
,
UMLPackage.getInteractionConstraint_Minint()
void setMinint(ValueSpecification value)
Minint
' containment reference.
value
- the new value of the 'Minint' containment reference.getMinint()
ValueSpecification createMinint(java.lang.String name, Type type, org.eclipse.emf.ecore.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()
This feature subsets the following features:
The maximum number of iterations of a loopFrom package UML::Interactions.
setMaxint(ValueSpecification)
,
UMLPackage.getInteractionConstraint_Maxint()
void setMaxint(ValueSpecification value)
Maxint
' containment reference.
value
- the new value of the 'Maxint' containment reference.getMaxint()
ValueSpecification createMaxint(java.lang.String name, Type type, org.eclipse.emf.ecore.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(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateGlobalData(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateMinintMaxint(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateMinintNonNegative(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateMaxintPositive(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateMaxintGreaterEqualMinint(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.