pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.operators/Used/Ops

Ops

onera.pmlanalyzer.pml.operators.Used$.Ops
trait Ops

If an element l can use an element r then the following operators can be used

l (e.g. a pml.model.hardware.Target) can provide the hosted pml.model.software.Data

l.hostedData

l (e.g. a pml.model.hardware.Platform) can provide the hosted pml.model.software.Application

l.applications

l (e.g. a pml.model.hardware.Platform) can provide the views.interference.model.specification.InterferenceSpecification.PhysicalTransaction that can occur

l.usedTransactions

l (e.g. a pml.model.hardware.Platform) can provide the multi-path views.interference.model.specification.InterferenceSpecification.PhysicalTransaction that can occur

l.multiPathsTransactions

Attributes

See also:
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [L <: Application | Initiator](self: L)
def hostingInitiators(using ev: Used[L, Initiator]): Set[Initiator]

PML keyword to access to the initiator hosting self

PML keyword to access to the initiator hosting self

Attributes

ev

the proof that self can be hosted by initiators

Returns:

the hosting initiators

def targetLoads(using ev: Used[L, Load]): Set[Load]

PML keyword to access to the load services used by self

PML keyword to access to the load services used by self

Attributes

ev

the proof that self can use load services

Returns:

the used loads

def targetService(using ev: Used[L, Service]): Set[Service]

PML keyword to access to the services used by self

PML keyword to access to the services used by self

Attributes

ev

the proof that self can use services

Returns:

the used services

def targetStores(using ev: Used[L, Store]): Set[Store]

PML keyword to access to the store services used by self

PML keyword to access to the store services used by self

Attributes

ev

the proof that self can use store services

Returns:

the used stores

extension [L <: Platform](self: L)
def applications: Set[Application]

PML keyword to access to applications hosted by self

PML keyword to access to applications hosted by self

Attributes

Returns:

the set of hosted applications

def multiPathsTransactions(using ev: Used[L, PhysicalTransaction]): Set[Set[PhysicalTransaction]]

PML keyword to access to multi-path physical transactions used by self

PML keyword to access to multi-path physical transactions used by self

Attributes

ev

the proof that self can use transactions

Returns:

the set of multi path used physical transactions

def usedTransactions(using ev: Used[L, PhysicalTransaction]): Set[PhysicalTransaction]

PML keyword to access to physical transactions used by self

PML keyword to access to physical transactions used by self

Attributes

ev

the proof that self can use transactions

Returns:

the set of used physical transactions

extension (self: Target)
def hostedData(using ev: Used[Target, Data]): Set[Data]

PML keyword to access to data hosted by self

PML keyword to access to data hosted by self

Attributes

ev

the proof that self can host data

extension [L](self: L)
def used[B]()(using ev: Used[L, B]): Set[B]

PML keyword to access to elements used by self

PML keyword to access to elements used by self

Attributes

B

the type of used elements

ev

the proof that self can use elements of type B

Returns:

the set of used elements

extension (self: Data)
def hostingTargets(using ev: Used[Data, Target]): Set[Target]

PML keyword to access to the targets hosting self

PML keyword to access to the targets hosting self

Attributes

ev

the proof that self can be hosted by targets

Returns:

the set of targets

Generated with