onera.pmlanalyzer.pml.operators.Restrict$
See theRestrict companion trait
object Restrict
Members list
Concise view
Type members
Classlikes
trait Ops
Attributes
- Note:
restrict operators is an advanced feature and should not be necessary for models
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Givens
Givens
given given_Restrict_Map_Application(using lS: LinkRelation[Service], uL: Used[Application, Load], uS: Used[Application, Store], uSI: Used[Application, Initiator], aR: AuthorizeRelation[Application, Service], r: RoutingRelation[(Initiator, Service, Service), Service], pB: Provided[Initiator, Service]): given_Restrict_Map_Application
A restricted can be obtained from an endomorphism over services
A restricted can be obtained from an endomorphism over services
Attributes
- aR
the proof that an authorize relation exists
- lS
the proof that the endomorphism exists
- pB
the proof that an initiator provide services
- r
the proof that a routing relation exists
- uL
the proof that an application uses loads
- uS
the proof that an application uses stores
- uSI
the proof that an application uses initiators
- Returns:
an object building service graph for applications
given given_Restrict_Map_T[T](using lP: LinkRelation[Hardware], pS: Provided[Hardware, Service], restrict: Restrict[Map[Service, Set[Service]], T]): given_Restrict_Map_T[T]
given given_Restrict_Map_T_Service[T <: Application | Initiator](using lS: LinkRelation[Service], uSI: Used[Application, Initiator], aR: AuthorizeRelation[Application, Service], r: RoutingRelation[(Initiator, Service, Service), Service], pB: Provided[Initiator, Service]): given_Restrict_Map_T_Service[T]