<<enumeration>> BVRInteractionOperator {Analysis}
Documentation
The InteractionOperator is an enumerated type holding the different kinds of oeprators to be used in a Combined Fragment.
- alt designates that the CombinedFragment represents a choice of behavior.
- opt designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.
- par designates that the CombinedFragment represents a parallel merge between the behaviors of the operands. The eventoccurrences of the different operands can be interleaved in any way as long as the ordering imposed by each operand as such is preserved.
- loop designates that the CombinedFragment represents a loop. The loop operand will be repeated a number of times.
- neg designates that the CombinedFragment represents traces that are defined to be invalid.
Parent Package | fragments | Abstract | No |
Export Control | PublicAccess | Link Class for | None |
Class Kind | NormalClass | Cardinality | n |
Space | | Concurrency | Sequential |
Persistence | No | | |
Attributes
Property Settings
Data Modeler
dmItem | False | DMName | |
IsTable | False | IsView | False |
IsDomain | False | IsSPPackage | False |
Synonymns | | TableSpaceID | |
SourceId | | SourceType | |
CorrelationName | | SelectClause | |
IsUpdateable | True | CheckOption | None |
IsSnapShot | False | IsDistinct | False |
PersistToServer | | IsPackage | False |