AsTransaction

onera.pmlanalyzer.pml.operators.AsTransaction$
See theAsTransaction companion trait

Attributes

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

Members list

Concise view

Type members

Classlikes

trait Ops

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type TransactionParam = (() => Set[(Service, Service)], () => Set[Application])

Givens

Givens

given applicationUsed[T <: Load | Store](using u: Used[Application, Initiator], p: Provided[Initiator, T]): applicationUsed[T]

Utility function to convert an a set of application/target service to the set of initial/target services

Utility function to convert an a set of application/target service to the set of initial/target services

Attributes

Returns:

the set of initial/target services and of applications invoking them

given initiatorUsed[T <: Load | Store](using p: Provided[Initiator, T]): initiatorUsed[T]