onera.pmlanalyzer.views.dependability.exporters

Members list

Concise view

Type members

Classlikes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait BlockModel[T] extends EquiBlockFlowPlacer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
sealed trait CeciliaFolder extends Folder

Attributes

Graph
Supertypes
trait Folder
class Object
trait Matchable
class Any
Known subtypes
trait SubFolder[T]
class EntityFolder[T]
class FamilyFolder[T]
class VersionFolder[T]
sealed trait CeciliaType

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class ComponentModel(name: Symbol, parent: VersionFolder[ComponentModel], icon: ImageModel, simul: List[ImageModel], flows: List[Flow], events: List[ConcreteEventModel], states: List[State], code: String) extends BlockModel[ComponentModel]

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait ConcreteEventModel extends EventModel

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class Configuration(name: Symbol, conf: Map[State, String])

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class DeterministicEventModel(name: Symbol) extends ConcreteEventModel

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class EntityFolder[T](name: Symbol, parent: SubFolder[T])(implicit m: ModelDescriptor[T]) extends SubFolder[T]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SubFolder[T]
trait Folder
class Object
trait Matchable
class Any
class EnumeratedType(val name: Symbol, val values: List[Symbol], val parent: VersionFolder[EnumeratedType]) extends CeciliaType

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class EquipmentModel(val name: Symbol, val parent: VersionFolder[EquipmentModel], val icon: ImageModel, val simul: List[ImageModel], val flows: List[Flow], val subs: List[SubComponent], val links: List[(Flow, Flow)], val sync: List[SynchroEventModel], val code: String) extends BlockModel[EquipmentModel]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class FailureConditions(fc: Set[(String, String)], size: Int) extends Model

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Model
class Object
trait Matchable
class Any
class FamilyFolder[T](val name: Symbol)(implicit m: ModelDescriptor[T]) extends SubFolder[T]

Attributes

Companion:
object
Graph
Supertypes
trait SubFolder[T]
trait Folder
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Flow(name: Symbol, tyype: CeciliaType, orientation: Orientation)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed trait Folder

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SubFolder[T]
class EntityFolder[T]
class FamilyFolder[T]
class VersionFolder[T]
object RootFolder.type
object Folder

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class ImageModel(val parent: VersionFolder[ImageModel], val stream: InputStream) extends Model

Attributes

Companion:
object
Graph
Supertypes
trait Model
class Object
trait Matchable
class Any
object ImageModel

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case object In extends Orientation

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
In.type
case object Local extends Orientation

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Local.type
sealed trait Model

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Model

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Model.type
class OperatorModel(val parent: VersionFolder[OperatorModel], val inputs: List[Flow], val output: Flow, val code: String) extends Model

Attributes

Companion:
object
Graph
Supertypes
trait Model
class Object
trait Matchable
class Any

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object In.type
object Local.type
object Out.type
case object Out extends Orientation

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Out.type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class RecordType(val name: Symbol, val parent: VersionFolder[RecordType], val fields: List[Flow]) extends CeciliaType

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object RecordType

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object RootFolder extends Folder

Attributes

Graph
Supertypes
trait Folder
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class State(name: Symbol, tyype: CeciliaType, ini: String)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class StochastiqueEventModel(name: Symbol, lambda: Double) extends ConcreteEventModel

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class SubComponent(name: Symbol, tyype: BlockModel[_], x: Int, y: Int, mirrorV: Boolean, mirrorH: Boolean)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class SubFamilyFolder[T](val name: Symbol, val parent: FamilyFolder[T])(implicit m: ModelDescriptor[T]) extends SubFolder[T]

Attributes

Companion:
object
Graph
Supertypes
trait SubFolder[T]
trait Folder
class Object
trait Matchable
class Any

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait SubFolder[T] extends CeciliaFolder

Attributes

Graph
Supertypes
trait Folder
class Object
trait Matchable
class Any
Known subtypes
class EntityFolder[T]
class FamilyFolder[T]
case class SynchroEventModel(name: Symbol, events: List[EventModel], tyype: String) extends EventModel

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class SystemModel(val name: Symbol, val parent: VersionFolder[SystemModel], val subs: List[SubComponent], val links: List[(Flow, Flow)], val sync: List[SynchroEventModel], val confs: List[Configuration], val code: String) extends Model

Attributes

Companion:
object
Graph
Supertypes
trait Model
class Object
trait Matchable
class Any

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
case class VersionFolder[T](parent: EntityFolder[T])(implicit m: ModelDescriptor[T]) extends CeciliaFolder

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Folder
class Object
trait Matchable
class Any

Inherited classlikes

case class AssertionHelper(result: Map[TargetId, String], subComponentAssertions: Map[SubComponent, Seq[String]])

Attributes

Inherited from:
ExprCeciliaExporter
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Inherited from:
PlatformCeciliaExporter
Graph
Supertypes
class Object
trait Matchable
class Any

Attributes

Inherited from:
PlatformCeciliaExporter
Graph
Supertypes
class Object
trait Matchable
class Any
case class WorstSchedulerTopHelper(size: Int)

Attributes

Inherited from:
BasicOperationCeciliaExporter
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
implicit class ceciliaOps[T, O](x: T)

Attributes

Inherited from:
CeciliaExporterOps
Graph
Supertypes
class Object
trait Matchable
class Any
implicit class platformExportOps[FM, T <: Platform & Aux[FM]](a: T)(implicit evidence$1: IsCriticityOrdering[FM], evidence$2: IsFinite[FM], evidence$3: IsShadowOrdering[FM], evidence$4: Typeable[T])

Attributes

Inherited from:
PlatformCeciliaExporter
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

Attributes

Inherited from:
TypeCeciliaExporter
def configurableCstModel[K : IsFinite, V : IsCriticityOrdering]: ComponentModel

Attributes

Inherited from:
BasicOperationCeciliaExporter
def configurableCstModel[T : IsCriticityOrdering]: ComponentModel

Attributes

Inherited from:
BasicOperationCeciliaExporter
def maxOperator[T : IsCriticityOrdering](size: Int): OperatorModel

Attributes

Inherited from:
BasicOperationCeciliaExporter
def minOperator[T : IsCriticityOrdering](size: Int): OperatorModel

Attributes

Inherited from:
BasicOperationCeciliaExporter
def mkBestSub[T : IsCriticityOrdering](l: Set[String]): (String, Seq[String], SubComponent)

Attributes

Inherited from:
BasicOperationCeciliaExporter
def mkContainerShadowSub[T : IsShadowOrdering](name: Symbol, newMode: String, containerMode: String): (String, Seq[String], SubComponent)

Attributes

Inherited from:
BasicOperationCeciliaExporter
def mkVariableName(v: VariableId, tyype: CeciliaType, orientation: Orientation, arity: Int): List[Flow]

Attributes

Inherited from:
BasicOperationCeciliaExporter
def mkWorstSub[T : IsCriticityOrdering](l: Set[String]): (String, Seq[String], SubComponent)

Attributes

Inherited from:
BasicOperationCeciliaExporter
def pathName(x: System, c: Component): List[String]

Attributes

Inherited from:
BasicOperationCeciliaExporter
def preModel[T : IsCriticityOrdering]: ComponentModel

Attributes

Inherited from:
BasicOperationCeciliaExporter
def switchModel[T : IsCriticityOrdering]: ComponentModel

Attributes

Inherited from:
BasicOperationCeciliaExporter

Attributes

Inherited from:
TypeCeciliaExporter

Attributes

Inherited from:
TypeCeciliaExporter
def variablePathName(x: System, v: Variable[_]): String

Attributes

Inherited from:
BasicOperationCeciliaExporter

Implicits

Inherited implicits

Attributes

Inherited from:
ExprCeciliaExporter
final implicit def ceciliaOps[T, O](x: T): ceciliaOps[T, O]

Attributes

Inherited from:
CeciliaExporterOps
implicit def dependencySpecifiedSoftwareIsExportable[FM : IsCriticityOrdering]: Aux[Application[FM], EquipmentModel]

Attributes

Inherited from:
SoftwareCeciliaExporter
implicit def descriptorIsExportable[FM : IsCriticityOrdering]: Aux[Descriptor[FM], EquipmentModel]

Attributes

Inherited from:
SoftwareCeciliaExporter
final implicit def platformExportOps[FM : IsShadowOrdering, T <: Platform & Aux[FM] : Typeable](a: T): platformExportOps[FM, T]

Attributes

Inherited from:
PlatformCeciliaExporter
implicit def systemIsExportable[T <: System]: Aux[T, SystemModel]

Attributes

Inherited from:
SystemCeciliaExporter