onera.pmlanalyzer.pml.model.hardware.Platform
See thePlatform companion object 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 Reset zoom Hide graph Show graph
Supertypes class Object
trait Matchable
class Any
Known subtypes Members list Concise view
identifier
the current owner id becomes the id of the current node
the current owner id becomes the id of the current node
Attributes
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
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
Name of the type of PML node
Name of the type of PML node
Attributes Inherited from: PMLNode transaction
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
Print a node only by its name
Print a node only by its name
Attributes Returns: string representation of a PMLNode
Definition Classes Inherited from: PMLNode route_relation
Relation gathering routing constraints
Relation gathering routing constraints
Attributes Inherited from: Instances Type members
Extension methods for physical transaction identifiers
Extension methods for physical transaction identifiers
Attributes x the name of the physical transaction
Graph Reset zoom Hide graph Show graph
Supertypes class Object
trait Matchable
class Any
Value members
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
Extension methods for physical transaction identifiers
Extension methods for physical transaction identifiers
Attributes x the name of the physical transaction