onera.pmlanalyzer.pml.operators.Used$
See theUsed companion trait
object Used
Members list
Concise view
Type members
Classlikes
trait Ops
If an element l can use an element r then the following operators can be used
If an element l can use an element r then the following operators can be used
l (e.g. a pml.model.hardware.Target) can provide the hosted pml.model.software.Data
l.hostedData
l (e.g. a pml.model.hardware.Platform) can provide the hosted pml.model.software.Application
l.applications
l (e.g. a pml.model.hardware.Platform) can provide the views.interference.model.specification.InterferenceSpecification.PhysicalTransaction that can occur
l.usedTransactions
l (e.g. a pml.model.hardware.Platform) can provide the multi-path views.interference.model.specification.InterferenceSpecification.PhysicalTransaction that can occur
l.multiPathsTransactions
Attributes
- See also:
usage can be found in pml.examples.simpleKeystone.SimpleKeystoneExport
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Value members
Concrete methods
def checkImpossible(s: Set[PhysicalTransaction], target: Set[Service], a: Option[Application]): Set[String]
Givens
Givens
given given_Used_AI_S[AI <: Application | Initiator, S <: Service : Typeable](implicit evidence$2: Typeable[S], l: Used[AI, Service]): given_Used_AI_S[AI, S]
given given_Used_A_I[A <: Application, I <: Initiator : Typeable](implicit evidence$3: Typeable[I], l: Used[Application, Initiator]): given_Used_A_I[A, I]
given given_Used_P_PhysicalTransaction[P <: Platform : Typeable]: given_Used_P_PhysicalTransaction[P]