pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.model.hardware/Platform

Platform

onera.pmlanalyzer.pml.model.hardware.Platform
See thePlatform companion object
abstract class Platform(val name: Symbol)(implicit _sourceFile: File) extends PMLNode with Instances

Base class for a platform

Attributes

_sourceFile

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

name

the name of the node

See also:
Companion:
object
Graph
Supertypes
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

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

val name: Symbol

Name of the node

Name of the node

Attributes

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

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

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

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

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

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

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

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete 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

Implicits

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

implicit def toSymbol(s: String): Symbol
Generated with