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

onera.pmlanalyzer.views.dependability.model

package onera.pmlanalyzer.views.dependability.model

Members list

Concise view

Type members

Classlikes

case class And(l: BoolExpr*) extends BoolExpr

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BoolExpr
trait Expr[Boolean]
class Object
trait Matchable
class Any
class Application[FM] extends Software[FM]

Attributes

FM

type of the failure modes

id

name of the software

softwareState

core's state and loads impact on software state

stores

core's state and stores impact on software stores

Companion:
object
Graph
Supertypes
trait Software[FM]
trait Component
class Object
trait Matchable
class Any
object Application

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class AutomatonId(name: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
class Object
trait Matchable
class Any
abstract class BasicTransporter[FM](implicit evidence$4: IsCriticityOrdering[FM], evidence$5: IsFinite[FM], evidence$6: IsShadowOrdering[FM], owner: Owner) extends Transporter[FM]

Attributes

Graph
Supertypes
class Transporter[FM]
trait Component
class Object
trait Matchable
class Any
Known subtypes
class Virtualizer[FM]
case class Best[T](l: Expr[T]*)(implicit evO: IsCriticityOrdering[T], evF: IsFinite[T]) extends Expr[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[T]
class Object
trait Matchable
class Any
sealed trait BoolExpr extends Expr[Boolean]

Attributes

Graph
Supertypes
trait Expr[Boolean]
class Object
trait Matchable
class Any
Known subtypes
class And
class Equal
class Not
class Or
trait Builder[T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait Component

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ModeAutomaton[T]
class FMAutomaton[T]
trait Software[FM]
class Application[FM]
class Descriptor[FM]
trait Target[FM]
class InputDepTarget[FM]
class Transporter[FM]
class Virtualizer[FM]
class Initiator[FM]
trait ConcreteEvent extends Event

Attributes

Graph
Supertypes
trait Event
class Object
trait Matchable
class Any
Known subtypes
case class Const[T](x: T) extends Expr[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[T]
class Object
trait Matchable
class Any
case class Copy(targetNeeded: Set[TargetId], targetWritten: Set[TargetId])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object CustomTypes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class DMap[T](m: Map[TargetId, Expr[T]]) extends Expr[Map[TargetId, T]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[Map[TargetId, T]]
class Object
trait Matchable
class Any
class Descriptor[FM] extends Software[FM]

Attributes

Companion:
object
Graph
Supertypes
trait Software[FM]
trait Component
class Object
trait Matchable
class Any
object Descriptor

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class DetermisticEvent[T](name: Symbol, owner: ModeAutomaton[T], delay: Int) extends ConcreteEvent

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Event
class Object
trait Matchable
class Any
object DetermisticEvent

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class Equal(l: Expr[_], r: Expr[_]) extends BoolExpr

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BoolExpr
trait Expr[Boolean]
class Object
trait Matchable
class Any
trait Event

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait Expr[+T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Best[T]
trait BoolExpr
class And
class Equal
class Not
class Or
class Const[T]
class DMap[T]
class ITE[T]
class Of[T]
trait Variable[T]
class InputPort[T]
class LocalVariable[T]
class OutputPort[T]
class Worst[T]
object ExprImplicits

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class FMAutomaton[T] extends ModeAutomaton[T]

Attributes

Graph
Supertypes
class ModeAutomaton[T]
trait Component
class Object
trait Matchable
class Any
Known subtypes
case class ITE[T](i: BoolExpr, t: Expr[T], e: Expr[T]) extends Expr[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[T]
class Object
trait Matchable
class Any
trait Id

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class TargetId
trait IdBuilder[T <: Id]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object InitiatorId.type
object SoftwareId.type
object TargetId.type
object VariableId.type
class Initiator[FM] extends Transporter[FM]

Attributes

Companion:
object
Graph
Supertypes
class Transporter[FM]
trait Component
class Object
trait Matchable
class Any
object Initiator

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class InitiatorId extends Id

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
class Object
trait Matchable
class Any
object InitiatorId extends IdBuilder[InitiatorId]

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
class InputDepTarget[FM] extends Target[FM]

Attributes

Companion:
object
Graph
Supertypes
trait Target[FM]
trait Component
class Object
trait Matchable
class Any
object InputDepTarget

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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
object InputFMAutomaton

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class InputInDepTarget[FM] extends Target[FM]

Attributes

Companion:
object
Graph
Supertypes
trait Target[FM]
trait Component
class Object
trait Matchable
class Any
object InputInDepTarget

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class InputPort[T](val id: VariableId) extends Variable[T]

Attributes

Companion:
object
Graph
Supertypes
trait Variable[T]
trait Expr[T]
class Object
trait Matchable
class Any
object InputPort

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
case class LocalVariable[T](id: VariableId, evalFun: () => Option[T]) extends Variable[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Variable[T]
trait Expr[T]
class Object
trait Matchable
class Any
abstract class ModeAutomaton[T] extends Component

Base trait for all automaton-like component

Base trait for all automaton-like component

Attributes

T

Possible modes of the automaton

Graph
Supertypes
trait Component
class Object
trait Matchable
class Any
Known subtypes
class FMAutomaton[T]
case class Not(n: BoolExpr) extends BoolExpr

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BoolExpr
trait Expr[Boolean]
class Object
trait Matchable
class Any
case class Of[T](m: Variable[Map[TargetId, T]], id: TargetId) extends Expr[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[T]
class Object
trait Matchable
class Any
case class Or(l: BoolExpr*) extends BoolExpr

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BoolExpr
trait Expr[Boolean]
class Object
trait Matchable
class Any
case class OutputPort[T](id: VariableId, evalFun: () => Option[T]) extends Variable[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Variable[T]
trait Expr[T]
class Object
trait Matchable
class Any
trait Owner

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class SimpleFMAutomaton[T] extends FMAutomaton[T]

Attributes

Companion:
object
Graph
Supertypes
class FMAutomaton[T]
class ModeAutomaton[T]
trait Component
class Object
trait Matchable
class Any
object SimpleFMAutomaton

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class SimpleTransporter[FM] extends BasicTransporter[FM]

Attributes

Companion:
object
Graph
Supertypes
class Transporter[FM]
trait Component
class Object
trait Matchable
class Any
object SimpleTransporter

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Software[FM] extends Component

Attributes

Graph
Supertypes
trait Component
class Object
trait Matchable
class Any
Known subtypes
class Application[FM]
class Descriptor[FM]
case class SoftwareId extends Id

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
class Object
trait Matchable
class Any
object SoftwareId extends IdBuilder[SoftwareId]

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class StochasticEvent[T](name: Symbol, owner: ModeAutomaton[T]) extends ConcreteEvent

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Event
class Object
trait Matchable
class Any
object StochasticEvent

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case class SynchroEvent(name: Symbol, synchronizedEvents: Set[Event]) extends Event

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Event
class Object
trait Matchable
class Any
case class System(name: Symbol)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
trait Target[FM] extends Component

Attributes

Graph
Supertypes
trait Component
class Object
trait Matchable
class Any
Known subtypes
class InputDepTarget[FM]
class TargetId extends Id

Attributes

Companion:
object
Graph
Supertypes
trait Id
class Object
trait Matchable
class Any
object TargetId extends IdBuilder[TargetId]

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Transition[T](guard: () => Boolean, e: Event, computeNewState: () => T)

Representation of automaton transitions

Representation of automaton transitions

Attributes

T

the type of the owner state

computeNewState

the new state when the transaction will be fired

e

the trigger event

guard

predicate encoding the guard of the transition

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
abstract class Transporter[FM](implicit evidence$1: IsCriticityOrdering[FM], evidence$2: IsFinite[FM], evidence$3: IsShadowOrdering[FM], owner: Owner) extends Component

Attributes

Graph
Supertypes
trait Component
class Object
trait Matchable
class Any
Known subtypes
class Virtualizer[FM]
class Initiator[FM]
case class TransporterId(name: Symbol) extends Id

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
class Object
trait Matchable
class Any
sealed trait Variable[T] extends Expr[T]

Attributes

Companion:
object
Graph
Supertypes
trait Expr[T]
class Object
trait Matchable
class Any
Known subtypes
class InputPort[T]
class LocalVariable[T]
class OutputPort[T]
object Variable

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class VariableId extends Id

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Id
class Object
trait Matchable
class Any
object VariableId extends IdBuilder[VariableId]

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
class Virtualizer[FM] extends BasicTransporter[FM]

Attributes

Companion:
object
Graph
Supertypes
class Transporter[FM]
trait Component
class Object
trait Matchable
class Any
object Virtualizer

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Worst[T](l: Expr[T]*)(implicit ev: IsCriticityOrdering[T], evF: IsFinite[T]) extends Expr[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Expr[T]
class Object
trait Matchable
class Any
Generated with