Skip to content

Commit 08fa885

Browse files
committed
KERML11-79 Removed redef of receiver from TransitionPerformance::accept.
1 parent 2489853 commit 08fa885

3 files changed

Lines changed: 3 additions & 3 deletions

File tree

org.omg.kerml.xpect.tests/library/TransitionPerformances.kerml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,9 +41,9 @@ standard library package TransitionPerformances {
4141

4242
feature accNum: Natural [1] = if isEmpty(trigger) ? 0 else 1;
4343
step accept: AcceptPerformance[accNum] subsets timeEnclosedOccurrences, acceptPerformances {
44-
in feature redefines receiver = triggerTarget;
4544
feature redefines acceptedTransfer = trigger;
4645
}
46+
binding accept.receiver = triggerTarget;
4747

4848
private succession [*] guard then [accNum] accept;
4949
}

org.omg.sysml.xpect.tests/library.kernel/TransitionPerformances.kerml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,9 +41,9 @@ standard library package TransitionPerformances {
4141

4242
feature accNum: Natural [1] = if isEmpty(trigger) ? 0 else 1;
4343
step accept: AcceptPerformance[accNum] subsets timeEnclosedOccurrences, acceptPerformances {
44-
in feature redefines receiver = triggerTarget;
4544
feature redefines acceptedTransfer = trigger;
4645
}
46+
binding accept.receiver = triggerTarget;
4747

4848
private succession [*] guard then [accNum] accept;
4949
}

sysml.library/Kernel Libraries/Kernel Semantic Library/TransitionPerformances.kerml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,9 +41,9 @@ standard library package TransitionPerformances {
4141

4242
feature accNum: Natural [1] = if isEmpty(trigger) ? 0 else 1;
4343
step accept: AcceptPerformance[accNum] subsets timeEnclosedOccurrences, acceptPerformances {
44-
in feature redefines receiver = triggerTarget;
4544
feature redefines acceptedTransfer = trigger;
4645
}
46+
binding accept.receiver = triggerTarget;
4747

4848
private succession [*] guard then [accNum] accept;
4949
}

0 commit comments

Comments
 (0)