pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.model.configuration/TransactionLibrary

TransactionLibrary

onera.pmlanalyzer.pml.model.configuration.TransactionLibrary
See theTransactionLibrary companion object
trait TransactionLibrary

Base trait for library of transactions

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Concise view

utilFun

final def checkLibrary(tMap: Map[PhysicalTransactionId, Set[UserTransactionId]], sMap: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]): Unit

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Check the transaction and scenario libraries w.r.t. the transactions computed with the actual the ideal (but not requested situation) is one-to-one libraries definition of the platform

Attributes

sMap

the scenario library to check

tMap

the transaction library to check

user_transaction_relation

final lazy val transactionByUserName: Map[UserTransactionId, PhysicalTransactionId]

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined transaction to the physical transaction id this map does not contain user transactions with multi-path (contained in ...) WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

final lazy val transactionUserName: Map[PhysicalTransactionId, Set[UserTransactionId]]

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical transaction id to the user defined id(s) It is possible that a physical transaction is linked to several (or none) user defined transactions WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

scenario_operation

final implicit class ScenarioOps(x: UserScenarioId)

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

Graph
Supertypes
class Object
trait Matchable
class Any
final implicit def ScenarioOps(x: UserScenarioId): ScenarioOps

Scenario extension method

Scenario extension method

Attributes

x

id of the user scenario

transaction_class

final class Transaction extends ScenarioLike

Class encoding the used defined transactions (not already used)

Class encoding the used defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the transaction (not evaluated during the object initialisation)

sw

the application that can use this transaction

userName

the name of the node

Companion:
object
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object Transaction extends PMLNodeBuilder[Transaction]

Builder of platform Transaction

Builder of platform Transaction

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class UsedTransaction extends PMLNode

Class encoding the user defined transactions used in the configuration

Class encoding the user defined transactions used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this transaction

userName

the name of the node

Companion:
object
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object UsedTransaction extends PMLNodeBuilder[UsedTransaction]

Builder of platform UsedTransaction

Builder of platform UsedTransaction

Attributes

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

transaction_operation

final implicit class UserTransactionOps(x: UserTransactionId)

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

Graph
Supertypes
class Object
trait Matchable
class Any
final implicit def UserTransactionOps(x: UserTransactionId): UserTransactionOps

Transaction extension method

Transaction extension method

Attributes

x

id of the user transaction

user_scenario_relation

final lazy val scenarioByUserName: Map[UserScenarioId, Set[PhysicalTransactionId]]

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the user defined scenario to the physical transaction id WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

final lazy val scenarioSW: Map[UserScenarioId, Set[Application]]

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the used scenario and the application involved in these scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

final lazy val scenarioUserName: Map[Set[PhysicalTransactionId], Set[UserScenarioId]]

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Map from the physical scenario id (set of transaction id) to the user defined scenario(s) It is possible that a scenario is linked to several (or none) user defined scenarios WARNING: this lazy variable can be called ONLY AFTER TRANSACTION/SCENARIO DEFINITION

Attributes

scenario_class

final class Scenario extends ScenarioLike

Class encoding the defined transactions (not already used)

Class encoding the defined transactions (not already used)

Attributes

iniTgt

a by-name value providing the origin-destination service couples of the scenario (not evaluated during the object initialisation)

sw

the application that can use this scenario

userName

the name of the node

Companion:
object
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object Scenario extends PMLNodeBuilder[Scenario]

Builder of platform Scenario

Builder of platform Scenario

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class ScenarioLike(val name: Symbol) extends PMLNode

Encode node that are either transactions or scenarios

Encode node that are either transactions or scenarios

Attributes

name

the name of the transaction or scenario

Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
Known subtypes
class Scenario
final class UsedScenario extends PMLNode

Class encoding the user defined scenarios used in the configuration

Class encoding the user defined scenarios used in the configuration

Attributes

iniTgt

the origin-destination services couples

sw

the application that can use this scenario

userName

the name of the node

Companion:
object
Graph
Supertypes
class PMLNode
class Object
trait Matchable
class Any
object UsedScenario extends PMLNodeBuilder[UsedScenario]

Builder of platform UsedScenario

Builder of platform UsedScenario

Attributes

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