pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.model/InputFMAutomaton

InputFMAutomaton

onera.pmlanalyzer.views.dependability.model.InputFMAutomaton
See theInputFMAutomaton companion object
class InputFMAutomaton[T](val id: AutomatonId, val initialState: T)(implicit evidence$7: IsCriticityOrdering[T], evidence$8: IsFinite[T], evidence$9: IsShadowOrdering[T]) extends FMAutomaton[T]

Attributes

Companion:
object
Graph
Supertypes
class FMAutomaton[T]
class ModeAutomaton[T]
trait Component
class Object
trait Matchable
class Any
Inherited
  • Not inherited
  • Component
  • ModeAutomaton
Keywords
  • no keywords
  • override

Members list

Concise view

Value members

Inherited methods

def direction(e: Event): Option[Value]

Attributes

Inherited from:
ModeAutomaton
def engage(e: Event): Unit

Attributes

Inherited from:
ModeAutomaton
def fire(e: Event): Unit

Attributes

Inherited from:
ModeAutomaton
def fireable(e: Event): Option[Transition[T]]

Attributes

Inherited from:
ModeAutomaton
def getState: T

Attributes

Inherited from:
ModeAutomaton
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Component -> Any
Inherited from:
Component
def update(): Unit

Attributes

Inherited from:
ModeAutomaton

Concrete fields

val eventMap: Map[Symbol, Event]
val events: Set[Event]
val in: InputPort[T]
val inputPorts: Set[InputPort[T]]
val o: OutputPort[T]
val outputPorts: Set[OutputPort[T]]
val transitions: Set[Transition[T]]
Generated with