Uses of Interface
de.mid.innovator.srv2api.icw2ia.IACovering
-
Packages that use IACovering Package Description de.mid.innovator.srv2api.icw2ia The Interaction package describes the concepts needed to express interactions. -
-
Uses of IACovering in de.mid.innovator.srv2api.icw2ia
Subinterfaces of IACovering in de.mid.innovator.srv2api.icw2ia Modifier and Type Interface Description interface
IAActionExecSpec
ActionExecutionSpecification is a kind of ExecutionSpecification that represents the execution of an action.interface
IABehaviorExecSpec
BehaviorExecutionSpecification is a kind of ExecutionSpecification that represents the execution of a behavior.interface
IAExecOccSpec
interface
IAExecSpec
An ExecutionSpecification is a specification of the execution of a unit of behavior or action within the lifeline.interface
IAMessageOccSpec
Specifies the occurrence of message events, such as sending and receiving of signals or invoking or receiving of operation calls.interface
IAOccSpec
An OccurrenceSpecification is the basic semantic unit of interactions.interface
IAStateInvariant
A StateInvariant is a runtime constraint on the participants of the interaction.Methods in de.mid.innovator.srv2api.icw2ia with type parameters of type IACovering Modifier and Type Method Description <T extends IACovering>
java.util.List<T>IACovered. getCoveredBy(java.lang.Class<T> returnType, K_CONTROL_OPTION... behaviourFlags)
-