ProxyPort::3_subports_are_proxyports Ports owned by the type of a proxy port shall be proxy ports.

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
Source
Snippet kind
SysML keywords
Full quote
3_subports_are_proxyports

Ports owned by the type of a proxy port shall be proxy ports.

ProxyPort.allInstances().base_Port->includesAll(self.base_Port.class.ownedPort)
Next snippet
Related snippets
Related snippets (backlinks)
Visit also
Visit also (backlinks)