Default
Attributes
- Graph
- Supertypes
- Self type
Members list
transform_operator
Convert an application to the set of transaction id its trigger
Convert an application to the set of transaction id its trigger
Attributes
- Inherited from:
- BasicInstances
Convert an application to the set of transaction id its trigger
Convert an application to the set of transaction id its trigger
Attributes
- Inherited from:
- BasicInstances
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Convert a physical id to the corresponding path of services
Convert a physical id to the corresponding path of services
Convert a physical id to the corresponding path of services
Attributes
- Inherited from:
- BasicInstances
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
transaction_relation
Map from the physical transaction id and their service sequence representation computed through an analysis of the platform WARNING: this lazy variable MUST NOT be called during platform object initialisation
Map from the physical transaction id and their service sequence representation computed through an analysis of the platform WARNING: this lazy variable MUST NOT be called during platform object initialisation
Attributes
- Inherited from:
- InterferenceSpecification
Map from the service sequence representation to their id WARNING: this lazy variable MUST NOT be called during platform object initialisation
Map from the service sequence representation to their id WARNING: this lazy variable MUST NOT be called during platform object initialisation
Attributes
- Inherited from:
- InterferenceSpecification
scenario_relation
compute the considered scenarios depending on the configuration and the (optional) library, a scenario is either: a named and used transaction (e.g. val t = Transaction(a read b); t.used) a named and used scenario (e.g. val s = Scenario(t1, t2); s.used) an anonymous copy (e.g. a copy r on s) an anonymous transaction (e.g. a read b) not already involved in a copy, a named scenario or a named transaction WARNING this will discard an anonymous transaction defined inside and outside a copy, this issue does not occur if we keep the segregation Smart/NonSmart
compute the considered scenarios depending on the configuration and the (optional) library, a scenario is either: a named and used transaction (e.g. val t = Transaction(a read b); t.used) a named and used scenario (e.g. val s = Scenario(t1, t2); s.used) an anonymous copy (e.g. a copy r on s) an anonymous transaction (e.g. a read b) not already involved in a copy, a named scenario or a named transaction WARNING this will discard an anonymous transaction defined inside and outside a copy, this issue does not occur if we keep the segregation Smart/NonSmart
Attributes
- Returns:
the set of scenarios
- Inherited from:
- InterferenceSpecification
transparent_predicate
Check whether a transaction is discarded during the analysis
Check whether a transaction is discarded during the analysis
Attributes
- t
the identifier of the transaction
- Returns:
true is the transaction is discarded
exclusive_predicate
Check whether two transaction will not occur simultaneously
Check whether two transaction will not occur simultaneously
Attributes
- l
the left transaction
- r
the right transaction
- Returns:
true if they cannot occur simultaneously
Provide the map encoding of finalInterfereWith
Provide the map encoding of finalInterfereWith
Attributes
- s
the set of scenario
- Returns:
the map encoding
- Inherited from:
- InterferenceSpecification
Check whether two scenarios will not occur simultaneously
Check whether two scenarios will not occur simultaneously
Attributes
- l
the left scenarios
- r
the right scenarios
- Returns:
true if they cannot occur simultaneously
- Inherited from:
- InterferenceSpecification
Check whether two transaction will not occur simultaneously
Check whether two transaction will not occur simultaneously
Attributes
- l
the left transaction
- r
the right transaction
- Returns:
true if they cannot occur simultaneously
- Inherited from:
- InterferenceSpecification
equivalence_predicate
Check if two services are equivalent
Check if two services are equivalent
Attributes
- l
the left service
- r
the right service
- Returns:
true if the services are equivalent
Provide the equivalence classes over s with views.interference.operators.Equivalent.Ops relation
Provide the equivalence classes over s with views.interference.operators.Equivalent.Ops relation
Attributes
- s
the set of views.interference.model.specification.InterferenceSpecification.PhysicalTransactionId
- Returns:
the equivalence classes
- Inherited from:
- InterferenceSpecification
Provide the equivalence classes over s with views.interference.operators.Equivalent.Ops relation
Provide the equivalence classes over s with views.interference.operators.Equivalent.Ops relation
Attributes
- s
the set of pml.model.service.Service
- Returns:
the equivalence classes
- Inherited from:
- InterferenceSpecification
utilFun
Provide the map encoding of channelNonEmpty
Provide the map encoding of channelNonEmpty
Attributes
- s
the set of gathered scenarios
- Returns:
the map encoding
- Inherited from:
- InterferenceSpecification
Check if it exists at least one common service used by two set of scenarios
Check if it exists at least one common service used by two set of scenarios
Attributes
- l
the left set of scenarios
- r
the right set of scenarios
- Returns:
true whether one channel exists
- Inherited from:
- InterferenceSpecification
Add the services of transactionInterfereWith to the path and remove the ones of transactionNotInterfereWith
Add the services of transactionInterfereWith to the path and remove the ones of transactionNotInterfereWith
Attributes
- t
the identifier of the transaction
- Returns:
the path of the transaction
- Inherited from:
- InterferenceSpecification
interfere_predicate
Check if two services interfere with each other
Check if two services interfere with each other
Attributes
- l
the left service
- r
the right service
- Returns:
true if they interfere
- Inherited from:
- InterferenceSpecification
Check whether two hardware cannot work simultaneously
Check whether two hardware cannot work simultaneously
Attributes
- l
the left hardware
- r
the right hardware
- Returns:
true if they cannot work simultaneously
- Inherited from:
- InterferenceSpecification
Check if two services interfere with each other
Check if two services interfere with each other
Attributes
- l
the left service
- r
the right service
- Returns:
true if they interfere
Check whether two hardware cannot work simultaneously
Check whether two hardware cannot work simultaneously
Attributes
- l
the left hardware
- r
the right hardware
- Returns:
true if they cannot work simultaneously
Provide the services a given transaction interfere with (additionally to the one identified in its path)
Provide the services a given transaction interfere with (additionally to the one identified in its path)
Attributes
- t
the identifier of the transaction
- Returns:
a set of services
Provide the services a given transaction do not interfere with
Provide the services a given transaction do not interfere with
Attributes
- t
the identifier of the transaction
- Returns:
a set of services
Value members
Deprecated and Inherited methods
Attributes
- Deprecated
- true
- Inherited from:
- InterferenceSpecification
Attributes
- Deprecated
- true
- Inherited from:
- InterferenceSpecification