Skip to content

Commit 8a20b61

Browse files
committed
SYSML2_-39 Updated the Port and Interface models used for Xpect tests.
1 parent 523e00a commit 8a20b61

2 files changed

Lines changed: 42 additions & 42 deletions

File tree

org.omg.sysml.xpect.tests/library.systems/Interfaces.sysml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -43,11 +43,11 @@ standard library package Interfaces {
4343
*/
4444

4545
ref port :>> participant : Port [2..*] nonunique ordered {
46-
doc
47-
/*
48-
* The participants of an Interface must be Ports. The interfacingPorts of
49-
* each participant Port include all the other participants in the Interface.
50-
*/
46+
doc
47+
/*
48+
* The participants of an Interface must be Ports. The interfacingPorts of
49+
* each participant Port include all the other participants in the Interface.
50+
*/
5151

5252
protected ref thisParticipant :>> self;
5353
protected ref otherParticipants : Port [1..*] nonunique :> interfacingPorts
Lines changed: 37 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,51 +1,51 @@
11
standard 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

Comments
 (0)