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

HWNamer

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

Attributes

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

Members list

Concise view

Value members

Abstract methods

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

Build the element declaration of the physical element

Build the element declaration of the physical element

Attributes

x

the physical element

Returns:

the element declaration

def getId(x: Hardware)(implicit writer: Writer, pPB: Provided[Hardware, Service]): Option[String]

Build the unique id of a physical element

Build the unique id of a physical element

Attributes

pPB

the implicit relation of the provided basic services

writer

the implicit writer

x

the physical element

Returns:

the unique id

Concrete methods

def resetHW(): Unit

Reset the internal caches

Reset the internal caches

Attributes

Concrete fields

protected val _memoHWId: HashMap[Hardware, String]
Generated with