Default

onera.pmlanalyzer.views.interference.model.specification.InterferenceSpecification$.Default

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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 Object
trait Matchable
class Any

Convert a physical id to the corresponding path of services

Convert a physical id to the corresponding path of services

Attributes

Inherited from:
BasicInstances

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 Object
trait Matchable
class 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

def areEquivalent(l: Service, r: Service): Boolean

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
final def serviceEquivalenceClasses(s: Set[Service]): Set[Set[Service]]

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

final def channelNonEmpty(s: Set[Set[PhysicalScenarioId]]): Map[Set[PhysicalScenarioId], Set[Set[PhysicalScenarioId]]]

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
final def channelNonEmpty(l: Set[PhysicalScenarioId], r: Set[PhysicalScenarioId]): Boolean

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

final def finalInterfereWith(l: Service, r: Service): Boolean

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
final def finalInterfereWith(l: Hardware, r: Hardware): Boolean

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
def interfereWith(l: Service, r: Service): Boolean

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

def interfereWith(l: Hardware, r: Hardware): Boolean

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