pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.examples.simpleT1042/SimpleT1042Platform

SimpleT1042Platform

onera.pmlanalyzer.pml.examples.simpleT1042.SimpleT1042Platform
class SimpleT1042Platform(name: Symbol) extends Platform

Attributes

Graph
Supertypes
class Platform
trait Instances
trait Instances
trait Instances
trait Instances
trait Instances
trait Instances
class PMLNode
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

use_relation

identifier

implicit val currentOwner: Owner

the current owner id becomes the id of the current node

the current owner id becomes the id of the current node

Attributes

Inherited from:
Platform
final lazy val fullName: String

The full name of a platform is its base name concatenated with the configuration if available

The full name of a platform is its base name concatenated with the configuration if available

Attributes

Inherited from:
Platform
implicit val sourceFile: File

the implicit descriptor of the source file where the platform is defined

the implicit descriptor of the source file where the platform is defined

Attributes

Inherited from:
Platform
final val typeName: Symbol

Name of the type of PML node

Name of the type of PML node

Attributes

Inherited from:
PMLNode

provide_relation

transaction

final lazy val transactions: Set[PhysicalTransactionId]

Set of physical transactions WARNING: this lazy variable MUST NOT be called during platform object initialisation

Set of physical transactions WARNING: this lazy variable MUST NOT be called during platform object initialisation

Attributes

Inherited from:
Platform
final lazy val transactionsByName: Map[PhysicalTransactionId, PhysicalTransaction]

Map from the physical transaction id and their service sequence representation computed through an analysis of the platform WARNING: this lazy variable MUST NOT be called during platform object initialisation

Map from the physical transaction id and their service sequence representation computed through an analysis of the platform WARNING: this lazy variable MUST NOT be called during platform object initialisation

Attributes

Inherited from:
Platform
final lazy val transactionsBySW: Map[Application, Set[PhysicalTransactionId]]

Map from the sw to the physical transaction id (default is emptySet) WARNING: this lazy variable MUST NOT be called during platform object initialisation

Map from the sw to the physical transaction id (default is emptySet) WARNING: this lazy variable MUST NOT be called during platform object initialisation

Attributes

Inherited from:
Platform
final lazy val transactionsName: Map[PhysicalTransaction, PhysicalTransactionId]

Map from the service sequence representation to their id WARNING: this lazy variable MUST NOT be called during platform object initialisation

Map from the service sequence representation to their id WARNING: this lazy variable MUST NOT be called during platform object initialisation

Attributes

Inherited from:
Platform

link_relation

printer_function

override def toString: String

Print a node only by its name

Print a node only by its name

Attributes

Returns:

string representation of a PMLNode

Definition Classes
PMLNode -> Any
Inherited from:
PMLNode

auth_relation

route_relation

final implicit val InitiatorRouting: RoutingRelation[(Initiator, Service, Service), Service]

Relation gathering routing constraints

Relation gathering routing constraints

Attributes

Inherited from:
Instances

Type members

Classlikes

class CachedCore(name: Symbol) extends Composite

Attributes

Graph
Supertypes
class Composite
class Hardware
class PMLNode
class Object
trait Matchable
class Any

Inherited classlikes

final implicit class PhysicalTransactionOps(x: PhysicalTransactionId)

Extension methods for physical transaction identifiers

Extension methods for physical transaction identifiers

Attributes

x

the name of the physical transaction

Inherited from:
Platform
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

final def scenarioId(s: PhysicalScenario): PhysicalScenarioId

Build the scenario id as "t_1|...|t_n"

Build the scenario id as "t_1|...|t_n"

Attributes

s

the set of physical transactions forming the scenario

Returns:

the unique id of the scenario

Inherited from:
Platform

Concrete fields

Implicits

Inherited implicits

final implicit def PhysicalTransactionOps(x: PhysicalTransactionId): PhysicalTransactionOps

Extension methods for physical transaction identifiers

Extension methods for physical transaction identifiers

Attributes

x

the name of the physical transaction

Inherited from:
Platform
implicit def toSymbol(s: String): Symbol

Attributes

Inherited from:
Platform
Generated with