Table of Contents

Interface IInteractionUse

Namespace
NMF.Interop.Uml
Assembly
NMF.UMLInterop.dll

The public interface for InteractionUse

[DefaultImplementationType(typeof(InteractionUse))]
[XmlDefaultImplementationType(typeof(InteractionUse))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//InteractionUse")]
public interface IInteractionUse : IInteractionFragment, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

ActualGate

The actual gates of the InteractionUse. <p>From package UML::Interactions.</p>

[Browsable(false)]
[XmlElementName("actualGate")]
[XmlAttribute(false)]
[Containment]
IOrderedSetExpression<IGate> ActualGate { get; }

Property Value

IOrderedSetExpression<IGate>

Argument

The actual arguments of the Interaction. <p>From package UML::Interactions.</p>

[Browsable(false)]
[XmlElementName("argument")]
[XmlAttribute(false)]
[Containment]
IOrderedSetExpression<IValueSpecification> Argument { get; }

Property Value

IOrderedSetExpression<IValueSpecification>

RefersTo

Refers to the Interaction that defines its meaning. <p>From package UML::Interactions.</p>

[XmlElementName("refersTo")]
[XmlAttribute(true)]
IInteraction RefersTo { get; set; }

Property Value

IInteraction

ReturnValue

The value of the executed Interaction. <p>From package UML::Interactions.</p>

[Browsable(false)]
[XmlElementName("returnValue")]
[XmlAttribute(false)]
[Containment]
IValueSpecification ReturnValue { get; set; }

Property Value

IValueSpecification

ReturnValueRecipient

The recipient of the return value. <p>From package UML::Interactions.</p>

[XmlElementName("returnValueRecipient")]
[XmlAttribute(true)]
IProperty ReturnValueRecipient { get; set; }

Property Value

IProperty

Methods

All_lifelines(object, object)

The InteractionUse must cover all Lifelines of the enclosing Interaction that are common with the lifelines covered by the referred Interaction. Lifelines are common if they have the same selector and represents associationEnd values. let parentInteraction : Set(Interaction) = enclosingInteraction->asSet()-> union(enclosingOperand.combinedFragment->closure(enclosingOperand.combinedFragment)-> collect(enclosingInteraction).oclAsType(Interaction)->asSet()) in parentInteraction->size()=1 and let refInteraction : Interaction = refersTo in parentInteraction.covered-> forAll(intLifeline : Lifeline | refInteraction.covered-> forAll( refLifeline : Lifeline | refLifeline.represents = intLifeline.represents and ( ( refLifeline.selector.oclIsKindOf(LiteralString) implies intLifeline.selector.oclIsKindOf(LiteralString) and refLifeline.selector.oclAsType(LiteralString).value = intLifeline.selector.oclAsType(LiteralString).value ) and ( refLifeline.selector.oclIsKindOf(LiteralInteger) implies intLifeline.selector.oclIsKindOf(LiteralInteger) and refLifeline.selector.oclAsType(LiteralInteger).value = intLifeline.selector.oclAsType(LiteralInteger).value ) ) implies self.covered->asSet()->includes(intLifeline)))

bool All_lifelines(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

Arguments_are_constants(object, object)

The arguments must only be constants, parameters of the enclosing Interaction or attributes of the classifier owning the enclosing Interaction.

bool Arguments_are_constants(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

Arguments_correspond_to_parameters(object, object)

The arguments of the InteractionUse must correspond to parameters of the referred Interaction.

bool Arguments_correspond_to_parameters(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

Gates_match(object, object)

Actual Gates of the InteractionUse must match Formal Gates of the referred Interaction. Gates match when their names are equal and their messages correspond. actualGate->notEmpty() implies refersTo.formalGate->forAll( fg : Gate | self.actualGate->select(matches(fg))->size()=1) and self.actualGate->forAll(ag : Gate | refersTo.formalGate->select(matches(ag))->size()=1)

bool Gates_match(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

ReturnValueRecipient_coverage(object, object)

The returnValueRecipient must be a Property of a ConnectableElement that is represented by a Lifeline covered by this InteractionUse. returnValueRecipient->asSet()->notEmpty() implies let covCE : Set(ConnectableElement) = covered.represents->asSet() in covCE->notEmpty() and let classes:Set(Classifier) = covCE.type.oclIsKindOf(Classifier).oclAsType(Classifier)->asSet() in let allProps : Set(Property) = classes.attribute->union(classes.allParents().attribute)->asSet() in allProps->includes(returnValueRecipient)

bool ReturnValueRecipient_coverage(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

ReturnValue_type_recipient_correspondence(object, object)

The type of the returnValue must correspond to the type of the returnValueRecipient. returnValue.type->asSequence()->notEmpty() implies returnValue.type->asSequence()->first() = returnValueRecipient.type->asSequence()->first()

bool ReturnValue_type_recipient_correspondence(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool
Edit this page