Linked

onera.pmlanalyzer.pml.operators.Linked$
See theLinked companion trait
object Linked

Extension methods and inferences rules

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Linked.type

Members list

Concise view

Type members

Classlikes

trait Ops

If an element l of type L is linked to other elements of type R then the operator can be used

If an element l of type L is linked to other elements of type R then the operator can be used

To access to the element of type R linked to l

l.linked[R]

To access to the element of type R pointing to l

 l.inverse[R] 

Attributes

Note:

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

Graph
Supertypes
class Object
trait Matchable
class Any

Givens

Givens

given given_Linked_L_L[L](using l: LinkRelation[L]): given_Linked_L_L[L]

A linked implementation can be derived from an endomorphism over a type

A linked implementation can be derived from an endomorphism over a type

Attributes

Returns:

the implementation of the linked

given given_Linked_T_T[T <: Load | Store : Typeable](implicit evidence$1: Typeable[T], l: Linked[Service, Service]): given_Linked_T_T[T]

A linked implementation over loads can be derived from an endomorphism over a services

A linked implementation over loads can be derived from an endomorphism over a services

Attributes

Returns:

the implementation of the linked