pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.pml.exporters/UMLExporter/PlatformNamer

PlatformNamer

onera.pmlanalyzer.pml.exporters.UMLExporter$.PlatformNamer
trait PlatformNamer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FullDOT.type
object DOTHWAndSWOnly.type
object DOTServiceOnly.type

Members list

Concise view

Value members

Abstract methods

def getElement(x: Platform): Option[String]

Build the element declaration of the platform

Build the element declaration of the platform

Attributes

x

the platform

Returns:

the element declaration

def getId(x: Platform): Option[String]

Build the unique id of the platform

Build the unique id of the platform

Attributes

x

the platform

Returns:

the id

Generated with