onera.pmlanalyzer.pml.model.hardware.Platform.PhysicalTransactionOps
Extension methods for physical transaction identifiers
Attributes
- x
the name of the physical transaction
- Graph
- Supertypes
class Object
trait Matchable
class Any
Members list
Concise view
Value members
Method that should be provided by sub-classes to access to the path
Method that should be provided by sub-classes to access to the path
Attributes
- Returns:
the set of service paths
Provide the initiators fo a transaction
Provide the initiators fo a transaction
Attributes
- Returns:
the set of initiators
- Inherited from:
- TransactionLikeOps (hidden)
Check is the initiator is in the possible initiators of the transaction
Check is the initiator is in the possible initiators of the transaction
Attributes
- x
initiator to find
- Returns:
true if the initiator is contained
- Inherited from:
- TransactionLikeOps (hidden)
Check if the transaction is a load transaction
Check if the transaction is a load transaction
Attributes
- Returns:
true if target services are loads
- Inherited from:
- TransactionLikeOps (hidden)
Check if the transaction is a store transaction
Check if the transaction is a store transaction
Attributes
- Returns:
true if target services are stores
- Inherited from:
- TransactionLikeOps (hidden)
Check if the transaction contains only one service
Check if the transaction contains only one service
Attributes
- Returns:
true if only one service
- Inherited from:
- TransactionLikeOps (hidden)
Provide the targets of the transaction
Provide the targets of the transaction
Attributes
- Returns:
the set of targets
- Inherited from:
- TransactionLikeOps (hidden)
Check is the target is in the possible targets of the transaction
Check is the target is in the possible targets of the transaction
Attributes
- x
target to find
- Returns:
true if the target is contained
- Inherited from:
- TransactionLikeOps (hidden)
