Ops

onera.pmlanalyzer.pml.operators.Deactivate$.Ops
trait Ops

If an element x of type T is deactavitable then the operator can be used as follows

 x.deactivate

Attributes

Note:

currently any pml.model.hardware.Hardware or pml.model.software.Application is deactivatable and the deactivation can be made only within a platform container

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [T](a: T)
def deactivated(implicit evidence$1: Deactivate[T]): Unit