11standard library package Ports {
2- doc
3- /*
4- * This package defines the base types for ports and related structural elements
5- * in the SysML language.
6- */
2+ doc
3+ /*
4+ * This package defines the base types for ports and related structural elements
5+ * in the SysML language.
6+ */
77
8- private import Objects::Object;
9- private import Objects::objects;
10-
11- abstract port def Port :> Object {
12- doc
13- /*
14- * Port is the most general class of objects that represent connection points
15- * for interacting with a Part. Port is the base type of all PortDefinitions.
16- *
17- * Transfers outgoing from a Port are always targeted to a Port connected to
18- * the original Port by an Interface.
19- */
20-
21- ref self: Port :>> Object::self;
22-
23- port subports: Port [0..*] :> ports, timeEnclosedOccurrences {
24- doc
25- /*
26- * The Ports that are subports of this Port.
27- */
28- }
29-
8+ private import Objects::Object;
9+ private import Objects::objects;
10+
11+ abstract port def Port :> Object {
12+ doc
13+ /*
14+ * Port is the most general class of objects that represent connection points
15+ * for interacting with a Part. Port is the base type of all PortDefinitions.
16+ *
17+ * Transfers outgoing from a Port are always targeted to a Port connected to
18+ * the original Port by an Interface.
19+ */
20+
21+ ref self: Port :>> Object::self;
22+
23+ port subports: Port [0..*] :> ports, timeEnclosedOccurrences {
24+ doc
25+ /*
26+ * The Ports that are subports of this Port.
27+ */
28+ }
29+
3030 abstract ref port interfacingPorts : Port[0..*] nonunique :> ports {
3131 doc
3232 /*
3333 * Ports that are connected to this Port by an Interface.
3434 */
3535 }
3636
37- ref :>> outgoingTransfers :> interfacingPorts.incomingTransfersToSelf {
37+ ref :>> outgoingTransfersFromSelf :> interfacingPorts.incomingTransfersToSelf {
3838 doc
3939 /*
40- * The target of each outgoingTransfer of a Port must be an interfacingPort.
40+ * The target of each of the outgoingTransfersFromSelf of a Port must be an interfacingPort.
4141 */
4242 }
43- }
44-
45- abstract port ports : Port[0..*] nonunique :> objects {
46- doc
47- /*
48- * ports is the base feature of all PortUsages.
49- */
50- }
43+ }
44+
45+ abstract port ports : Port[0..*] nonunique :> objects {
46+ doc
47+ /*
48+ * ports is the base feature of all PortUsages.
49+ */
50+ }
5151}
0 commit comments