onera.pmlanalyzer.pml.operators.Use$.Ops
Attributes
- See also:
- Note:
- Graph
- Supertypes
class Object
trait Matchable
class Any
Members list
Concise view
Extensions
The PML keyword to allocate self on an initiator
The PML keyword to allocate self on an initiator
Attributes
- b
the initiator
- ev
the proof that self can use an initiator
- Returns:
the link
The PML keyword specify that self reads something
The PML keyword specify that self reads something
Attributes
- B
the type of b
- b
the element to read
- ev
the proof that an application can use load services
- p
that the element provide load services
- Returns:
the link
The PML keyword specify that self uses some load services
The PML keyword specify that self uses some load services
Attributes
- b
the set of services
- ev
the proof that an application can use load services
- Returns:
the link
The PML keyword specify that self reads something
The PML keyword specify that self reads something
Attributes
- B
the type of b
- b
the set of elements to read
- ev
the proof that an application can use load services
- p
that the element provide load services
- Returns:
the link
The PML keyword specify that self writes something
The PML keyword specify that self writes something
Attributes
- B
the type of b
- b
the element to write
- ev
the proof that an application can use store services
- p
that the element provide store services
- Returns:
the link
The PML keyword specify that self uses some store services
The PML keyword specify that self uses some store services
Attributes
- b
the set of services
- ev
the proof that an application can use store services
- Returns:
the link
The PML keyword to allocate self on an target
The PML keyword to allocate self on an target
Attributes
- b
the target
- ev
the proof that self can use an target
- Returns:
the link
