org.eclipse.uml2.uml
Interface InteractionConstraint

All Superinterfaces:
Constraint, Element, EModelElement, EObject, NamedElement, 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:

See Also:
UMLPackage.getInteractionConstraint()

Field Summary
 
Fields inherited from interface org.eclipse.uml2.uml.NamedElement
SEPARATOR
 
Method Summary
 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.
 
Methods inherited from interface org.eclipse.uml2.uml.Constraint
createSpecification, getConstrainedElements, getContext, getSpecification, setContext, setSpecification, validateBooleanValue, validateNoSideEffects, validateNotAppliedToSelf, validateNotApplyToSelf, validateValueSpecificationBoolean
 
Methods inherited from interface org.eclipse.uml2.uml.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.uml2.uml.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, 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.uml2.uml.ParameterableElement
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter
 

Method Detail

getMinint

public 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:
InteractionConstraint.setMinint(ValueSpecification), UMLPackage.getInteractionConstraint_Minint()

setMinint

public void setMinint(ValueSpecification value)
Sets the value of the 'Minint' containment reference.

Parameters:
value - the new value of the 'Minint' containment reference.
See Also:
InteractionConstraint.getMinint()

createMinint

public ValueSpecification createMinint(String name,
                                       Type type,
                                       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:
InteractionConstraint.getMinint()

getMaxint

public 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:
InteractionConstraint.setMaxint(ValueSpecification), UMLPackage.getInteractionConstraint_Maxint()

setMaxint

public void setMaxint(ValueSpecification value)
Sets the value of the 'Maxint' containment reference.

Parameters:
value - the new value of the 'Maxint' containment reference.
See Also:
InteractionConstraint.getMaxint()

createMaxint

public ValueSpecification createMaxint(String name,
                                       Type type,
                                       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:
InteractionConstraint.getMaxint()

validateDynamicVariables

public 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. true


validateGlobalData

public boolean validateGlobalData(DiagnosticChain diagnostics,
                                  Map context)
The constraint may contain references to global data or write-once data. true


validateMinintMaxint

public boolean validateMinintMaxint(DiagnosticChain diagnostics,
                                    Map context)
Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment. true


validateMinintNonNegative

public boolean validateMinintNonNegative(DiagnosticChain diagnostics,
                                         Map context)
If minint is specified, then the expression must evaluate to a non-negative integer. true


validateMaxintPositive

public boolean validateMaxintPositive(DiagnosticChain diagnostics,
                                      Map context)
If maxint is specified, then the expression must evaluate to a positive integer. true


validateMaxintGreaterEqualMinint

public 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


Copyright 2003, 2006 IBM Corporation and others.
All Rights Reserved.