Modifier and Type | Method and Description |
---|---|
static java.util.stream.Stream<InteractionFragment> |
InteractionHelper.allInteractionFragments(Interaction interaction)
Get all
InteractionFragment of the interaction. |
static java.util.Collection<InteractionFragment> |
InteractionHelper.getAllInteractionFragments(Interaction interaction)
Get all
InteractionFragment of the interaction. |
Modifier and Type | Interface and Description |
---|---|
interface |
CombinedFragment
CombinedFragment v0.0.9054
A combined fragment is defined by an interaction operator and corresponding interaction operands.
|
interface |
ExecutionOccurenceSpecification
ExecutionOccurenceSpecification v0.0.9054
An execution occurence specification is a kind of message end.
|
interface |
ExecutionSpecification
ExecutionSpecification v0.0.9054
An ExecutionSpecification is a specification of the execution of a unit of behavior or action within the Lifeline.
|
interface |
Gate
Gate v0.0.9054
Gates are connected through Messages.
|
interface |
InteractionOperand
InteractionOperand v0.0.9054
An InteractionOperand is contained in a CombinedFragment and contains an ordered set of InteractionFragments.
|
interface |
InteractionUse
InteractionUse v0.0.9054
An InteractionUse refers to an Interaction.
|
interface |
MessageEnd
MessageEnd v0.0.9054
A MessageEnd is an abstract NamedElement that represents what can occur at the end of a Message.
|
interface |
OccurrenceSpecification
OccurrenceSpecification v0.0.9054
An OccurrenceSpecification is the basic semantic unit of Interactions.
|
interface |
PartDecomposition
PartDecomposition v0.0.9054
A Lifeline has a class associated as the type of the Instance that the Lifeline represents.
|
interface |
StateInvariant
StateInvariant v0.0.9054
A StateInvariant is a runtime constraint on the participants of the interaction.
|
interface |
TerminateSpecification
TerminateSpecification v0.0.9054
|
Modifier and Type | Method and Description |
---|---|
<T extends InteractionFragment> |
Lifeline.getCoveredBy(java.lang.Class<T> filterClass)
Filtered Getter for relation 'Lifeline->CoveredBy'
Metamodel description:
null
|
<T extends InteractionFragment> |
Interaction.getFragment(java.lang.Class<T> filterClass)
Filtered Getter for relation 'Interaction->Fragment'
Metamodel description:
The set of fragments in the Interaction.
|
<T extends InteractionFragment> |
InteractionOperand.getFragment(java.lang.Class<T> filterClass)
Filtered Getter for relation 'InteractionOperand->Fragment'
Metamodel description:
The fragments of the operand.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
AbstractModelVisitor.visitInteractionFragment(InteractionFragment obj) |
java.lang.Object |
IModelVisitor.visitInteractionFragment(InteractionFragment obj) |
java.lang.Object |
DefaultModelVisitor.visitInteractionFragment(InteractionFragment obj) |
default java.lang.Object |
IAbstractModelVisitor.visitInteractionFragment(InteractionFragment obj) |
default java.lang.Object |
IDefaultModelVisitor.visitInteractionFragment(InteractionFragment obj) |