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

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

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

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

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

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

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

route_relation

Relation gathering routing constraints

Relation gathering routing constraints

Attributes

Inherited from:
Instances

Type members

Classlikes

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

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

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