onera.pmlanalyzer.pml.model.configuration

Package containing configuration PML facet of a model

Use TransactionLibrary to define transactions or scenarios and select which ones should be consider for the analysis.

Example of definition are provided in pml.examples.simpleKeystone.SimpleKeystoneTransactionLibrary

Example of selection are provided in pml.examples.simpleKeystone.SimpleKeystoneLibraryConfigurationFull

Attributes

Members list

Concise view

Type members

Classlikes

Base trait for library of transactions

Base trait for library of transactions

Attributes

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

Attributes

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