Deactivate

onera.pmlanalyzer.pml.operators.Deactivate$
See theDeactivate companion trait
object Deactivate

Extension methods and inferences rules

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

trait Ops

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

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

Value members

Concrete methods

def apply[T](using m: Deactivate[T]): Deactivate[T]

Givens

Givens

given given_Deactivate_Application(using uSL: UseRelation[Application, Service], uAS: UseRelation[Application, Initiator]): given_Deactivate_Application

An application can be deactivated by removing all the services its uses

An application can be deactivated by removing all the services its uses

Attributes

Returns:

the implementation of application deactivation

A physical component can be deactivated by removing all the services its provides, the software using it and the services connected to his

A physical component can be deactivated by removing all the services its provides, the software using it and the services connected to his

Attributes

Returns:

the implementation of physical component deactivation