Ops

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

If an element l of type L can provide element of type R then the operator can be used

To access to the load services provided by an element l (e.g. a Hardware)

 l.loads 

To access to the store services provided by an element l

  l.stores 

To access to the services provided by an element l

 l.services 

To access to the initiators provided by an element l (e.g. a pml.model.hardware.Platform)

 l.initiators 

To access to the targets provided by an element l

 l.targets 

To access to the transporters provided by an element l

 l.transporters 

To access to the hardware provided by an element l

 l.hardware 

To access to the initiator providing an element l (e.g. a Service)

 l.initiatorOwner 

To access to the target providing an element l

 l.targetOwner 

To access to the transporter providing an element l

 l.transporterOwner 

To access to the hardware providing an element l

 l.hardwareOwner 

To check if an hardware r is providing an element l

 l.hardwareOwnerIs(r)  

Attributes

See also:
Note:

currently provide operators are maily applicable on Hardware and pml.model.software.Data

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [R](self: R)
def hardwareOwner(using ev: Provided[Hardware, R]): Set[Hardware]

Extension methods for owner

Extension methods for owner

Attributes

def hardwareOwnerIs(that: Hardware)(using ev: Provided[Hardware, R]): Boolean

Extension methods for owner

Extension methods for owner

Attributes

def initiatorOwner(using ev: Provided[Initiator, R]): Set[Initiator]

Extension methods for owner

Extension methods for owner

Attributes

def targetOwner(using ev: Provided[Target, R]): Set[Target]

Extension methods for owner

Extension methods for owner

Attributes

Extension methods for owner

Extension methods for owner

Attributes

extension [L <: Platform](self: L)

Provide all the physical elements declared inside the composite

Provide all the physical elements declared inside the composite

Attributes

Returns:

set of declared component

def hardware(using ev: Provided[L, Hardware]): Set[Hardware]

Extension methods

Extension methods

Attributes

def initiators(using ev: Provided[L, Hardware]): Set[Initiator]

Extension methods

Extension methods

Attributes

def targets(using ev: Provided[L, Hardware]): Set[Target]

Extension methods

Extension methods

Attributes

def transporters(using ev: Provided[L, Hardware]): Set[Transporter]

Extension methods

Extension methods

Attributes

extension [L](self: L)
def loads(using ev: Provided[L, Load]): Set[Load]

PML keyword to get the loads provided by self

PML keyword to get the loads provided by self

Attributes

ev

the proof that self provides loads

Returns:

the set of provided loads

def provided[U](using ev: Provided[L, U]): Set[U]

Extension methods

Extension methods

Attributes

def services(using ev: Provided[L, Service]): Set[Service]

PML keyword to get the services provided by self

PML keyword to get the services provided by self

Attributes

ev

the proof that self provides services

Returns:

the set of provided services

def stores(using ev: Provided[L, Store]): Set[Store]

PML keyword to get the stores provided by self

PML keyword to get the stores provided by self

Attributes

ev

the proof that self provides stores

Returns:

the set of provided stores

extension [L](self: Iterable[L])
def loads(using ev: Provided[L, Load]): Set[Load]

Extension methods for iterable

Extension methods for iterable

Attributes

def services(using ev: Provided[L, Service]): Set[Service]

Extension methods for iterable

Extension methods for iterable

Attributes

def stores(using ev: Provided[L, Store]): Set[Store]

Extension methods for iterable

Extension methods for iterable

Attributes