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

onera.pmlanalyzer.views.dependability.exporters

package onera.pmlanalyzer.views.dependability.exporters

Members list

Concise view

Type members

Classlikes

trait AutomatonCeciliaExporter

Attributes

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

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
object CeciliaBoolean extends CeciliaType

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CeciliaExporter[T]

Attributes

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

Attributes

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

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
object CeciliaBoolean.type
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
object ComponentModel

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
object EnumeratedType

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
object EquipmentModel

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
trait ExprCeciliaExporter

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
object FamilyFolder

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
object GenericImage

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
object OperatorModel

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
object PhylogFolder

Attributes

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

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
trait SoftwareCeciliaExporter

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
object SubFamilyFolder

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
trait SystemCeciliaExporter

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
object SystemModel

Attributes

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

Attributes

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

Attributes

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

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
object DependabilitySpecification

Attributes

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

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

def boolMapTypeModel[K : IsFinite]: RecordType

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
def typeModel[K : IsFinite, V : IsFinite]: RecordType

Attributes

Inherited from:
TypeCeciliaExporter
def typeModel[T : IsFinite]: EnumeratedType

Attributes

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

Attributes

Inherited from:
BasicOperationCeciliaExporter

Implicits

Inherited implicits

implicit def ExprCeciliaExporter[T]: Aux[Expr[T], AssertionHelper]

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
Generated with