onera.pmlanalyzer.pml.operators.Use$
See theUse companion trait
object Use
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. an pml.model.software.Application) is hosted by an element r (e.g. a pml.model.hardware.Initiator)
l hostedBy r
l (e.g. an pml.model.software.Application) reads an element r (e.g. a pml.model.software.Data)
l read r
l writes an element r
l write r
Attributes
- See also:
usage can be found in pml.examples.simpleKeystone.SimpleSoftwareAllocation
- Note:
pml.model.software uses pml.model.hardware.Hardware through hostedBy keyword and pml.model.software.Application uses pml.model.software.Data or directly pml.model.hardware.Target through read and write keywords
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Givens
Givens
given given_Use_AD_H[AD <: Application | Data, H](using l: UseRelation[AD, H]): given_Use_AD_H[AD, H]
given given_Use_A_S[A <: Application, S <: Service](using l: UseRelation[Application, Service], aR: AuthorizeRelation[Application, Service]): given_Use_A_S[A, S]
given given_Use_I_S[I <: Initiator, S <: Service](using l: UseRelation[I, Service]): given_Use_I_S[I, S]