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

Ops

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

Attributes

Note:

restrict operators is an advanced feature and should not be necessary for models

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension (self: Application)
def hardwareGraph(using ev: Restrict[Map[Hardware, Set[Hardware]], Application]): Map[Hardware, Set[Hardware]]
def serviceGraph(using ev: Restrict[Map[Service, Set[Service]], Application]): Map[Service, Set[Service]]
extension (self: Platform)
def hardwareGraph(): Map[Hardware, Set[Hardware]]

PML keyword to access to the hardware graph of the considered element

PML keyword to access to the hardware graph of the considered element

Attributes

Returns:

its hardware graph

def hardwareGraphOf(s: Application): Map[Hardware, Set[Hardware]]

PML keyword to access to hardware graph used by an application

PML keyword to access to hardware graph used by an application

Attributes

s

the application

Returns:

its hardware graph

def hardwareGraphOf(s: Application, tgt: Service): Map[Hardware, Set[Hardware]]

PML keyword to access to the hardware graph used by an application to access a target

PML keyword to access to the hardware graph used by an application to access a target

Attributes

s

the application

tgt

the target service

Returns:

its service graph

def serviceGraphOf(s: Application): Map[Service, Set[Service]]

PML keyword to access to the service graph of an application

PML keyword to access to the service graph of an application

Attributes

s

the application

Returns:

its service graph

def serviceGraphOf(s: Application, tgt: Service): Map[Service, Set[Service]]

PML keyword to access to the service graph used by an application to access a target

PML keyword to access to the service graph used by an application to access a target

Attributes

s

the application

tgt

the target service

Returns:

its service graph

Generated with