Extension methods and inferences rules of high priority
Attributes
Members list
Type members
Classlikes
If an element x of type T is linkable then the operator can be used as follows
If an element x of type T is linkable then the operator can be used as follows
to link an element l to an element r
l link r
to unlink an element l with an element r
l unlink r
Attributes
- See also:
usage are available in pml.examples.simpleKeystone.SimpleKeystonePlatform
- Note:
currently any pml.model.hardware.Hardware or pml.model.service.Service are linkable with soundness restriction. Additionally, the link can be made only within a platform container
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Givens
Givens
A linking implementation can be provided for all physical component
A linking implementation can be provided for all physical component
Attributes
- Returns:
the implementation of the link for two physical components
A linking implementation between two types can be derived from an endomorphism over a supertype
A linking implementation between two types can be derived from an endomorphism over a supertype
Attributes
- Returns:
the implementation of the link