onera.pmlanalyzer.views.dependability.exporters
Members list
Concise view
Type members
Classlikes
trait AutomatonCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- Known subtypes
- class ComponentModelclass EquipmentModel
Attributes
- Graph
- Supertypes
- Self type
- CeciliaBoolean.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object CeciliaExporter
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- CeciliaExporter.type
trait CeciliaExporterOps
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- Known subtypes
- trait SubFolder[T]class EntityFolder[T]class FamilyFolder[T]class SubFamilyFolder[T]class VersionFolder[T]
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass 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 Serializabletrait Producttrait Equalstrait BlockModel[ComponentModel]trait EquiBlockFlowPlacertrait FlowPlacerclass Objecttrait Matchableclass Any
object ComponentModel
Attributes
- Companion:
- class
- Graph
- Supertypes
- trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- ComponentModel.type
Attributes
- Graph
- Supertypes
- Known subtypes
- class DeterministicEventModelclass StochastiqueEventModel
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ConcreteEventModeltrait EventModelclass Objecttrait Matchableclass Any
case class EntityFolder[T](name: Symbol, parent: SubFolder[T])(implicit m: ModelDescriptor[T]) extends SubFolder[T]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait SubFolder[T]trait CeciliaFoldertrait Folderclass Objecttrait Matchableclass Any
class EnumeratedType(val name: Symbol, val values: List[Symbol], val parent: VersionFolder[EnumeratedType]) extends CeciliaType
Attributes
- Companion:
- object
- Graph
- Supertypes
object EnumeratedType
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- EnumeratedType.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
- trait BlockModel[EquipmentModel]trait EquiBlockFlowPlacertrait FlowPlacerclass Objecttrait Matchableclass Any
object EquipmentModel
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- EquipmentModel.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait ConcreteEventModelclass DeterministicEventModelclass StochastiqueEventModelclass SynchroEventModel
trait ExprCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
Attributes
- Companion:
- object
- Graph
- Supertypes
object FamilyFolder
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- FamilyFolder.type
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait CeciliaFoldertrait SubFolder[T]class EntityFolder[T]class FamilyFolder[T]class SubFamilyFolder[T]class VersionFolder[T]object RootFolder.type
object Folder
object GenericImage
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GenericImage.type
object ImageModel
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- ImageModel.type
Attributes
- Graph
- Supertypes
- trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Orientationclass Objecttrait Matchableclass Any
- Self type
- In.type
Attributes
- Graph
- Supertypes
- trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Orientationclass Objecttrait Matchableclass Any
- Self type
- Local.type
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
object Model
class OperatorModel(val parent: VersionFolder[OperatorModel], val inputs: List[Flow], val output: Flow, val code: String) extends Model
object OperatorModel
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- OperatorModel.type
Attributes
- Graph
- Supertypes
- trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Orientationclass Objecttrait Matchableclass Any
- Self type
- Out.type
object PhylogFolder
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- PhylogFolder.type
trait PlatformCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
class RecordType(val name: Symbol, val parent: VersionFolder[RecordType], val fields: List[Flow]) extends CeciliaType
Attributes
- Companion:
- object
- Graph
- Supertypes
object RecordType
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- RecordType.type
Attributes
- Graph
- Supertypes
- Self type
- RootFolder.type
trait SoftwareCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait ConcreteEventModeltrait EventModelclass Objecttrait Matchableclass Any
case class SubComponent(name: Symbol, tyype: BlockModel[_], x: Int, y: Int, mirrorV: Boolean, mirrorH: Boolean)
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
class SubFamilyFolder[T](val name: Symbol, val parent: FamilyFolder[T])(implicit m: ModelDescriptor[T]) extends SubFolder[T]
Attributes
- Companion:
- object
- Graph
- Supertypes
object SubFamilyFolder
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- SubFamilyFolder.type
Attributes
- Graph
- Supertypes
- Known subtypes
case class SynchroEventModel(name: Symbol, events: List[EventModel], tyype: String) extends EventModel
Attributes
- Graph
- Supertypes
trait SystemCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass 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
object SystemModel
Attributes
- Companion:
- class
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- SystemModel.type
trait TargetCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
trait TypeCeciliaExporter
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
case class VersionFolder[T](parent: EntityFolder[T])(implicit m: ModelDescriptor[T]) extends CeciliaFolder
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalstrait CeciliaFoldertrait Folderclass Objecttrait Matchableclass Any
Inherited classlikes
case class AssertionHelper(result: Map[TargetId, String], subComponentAssertions: Map[SubComponent, Seq[String]])
Attributes
- Inherited from:
- ExprCeciliaExporter
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
object DependabilitySpecification
Attributes
- Inherited from:
- PlatformCeciliaExporter
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- PlatformCeciliaExporter
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CeciliaExporterOps
- Graph
- Supertypes
- class Objecttrait Matchableclass 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 Objecttrait Matchableclass Any
Value members
Inherited methods
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- TypeCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
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
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Attributes
- Inherited from:
- TypeCeciliaExporter
Attributes
- Inherited from:
- TypeCeciliaExporter
Attributes
- Inherited from:
- BasicOperationCeciliaExporter
Implicits
Inherited implicits
Attributes
- Inherited from:
- ExprCeciliaExporter
Attributes
- Inherited from:
- TransporterCeciliaExporter
Attributes
- Inherited from:
- CeciliaExporterOps
implicit def dependencySpecifiedSoftwareIsExportable[FM : IsCriticityOrdering]: Aux[Application[FM], EquipmentModel]
Attributes
- Inherited from:
- SoftwareCeciliaExporter
Attributes
- Inherited from:
- SoftwareCeciliaExporter
Attributes
- Inherited from:
- TransporterCeciliaExporter
Attributes
- Inherited from:
- TargetCeciliaExporter
implicit def inputFMAutomatonIsExportable[T : IsShadowOrdering]: Aux[InputFMAutomaton[T], ComponentModel]
Attributes
- Inherited from:
- AutomatonCeciliaExporter
implicit def inputInDepTargetIsExportable[FM : IsShadowOrdering]: Aux[InputInDepTarget[FM], EquipmentModel]
Attributes
- Inherited from:
- TargetCeciliaExporter
final implicit def platformExportOps[FM : IsShadowOrdering, T <: Platform & Aux[FM] : Typeable](a: T): platformExportOps[FM, T]
Attributes
- Inherited from:
- PlatformCeciliaExporter
Attributes
- Inherited from:
- AutomatonCeciliaExporter
implicit def simpleTransporterIsExportable[FM : IsShadowOrdering]: Aux[SimpleTransporter[FM], EquipmentModel]
Attributes
- Inherited from:
- TransporterCeciliaExporter
Attributes
- Inherited from:
- SystemCeciliaExporter