From 4410d26e652c2cb4bf2548332f93766440521196 Mon Sep 17 00:00:00 2001
From: Sophie Coudert <sophie.coudert@telecom-paris.fr>
Date: Sun, 5 May 2024 15:21:16 +0200
Subject: [PATCH] AvatarcSysML library updated
---
.../tosysmlv2/static/AvatarBlockTypes.sysml | 5 +----
.../tosysmlv2/static/AvatarCommunication.sysml | 11 ++++++++++-
2 files changed, 11 insertions(+), 5 deletions(-)
diff --git a/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml b/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml
index 8c169958eb..052be1866d 100644
--- a/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml
+++ b/src/main/java/avatartranslator/tosysmlv2/static/AvatarBlockTypes.sysml
@@ -81,10 +81,7 @@ package AvatarBlockTypes {
// states, requests and messages specializations for timers
- part def '#Timer_Rel' :> '#Sync_Rel' {
- '@private' redefines '@private' = true;
- doc /* #Timer_Rel contains the channels between a timer and its containing block */
- }
+
state def '#AvatarSetTimerState' :> '#AvatarSendState';
state def '#AvatarResetTimerState' :> '#AvatarSendState';
state def '#AvatarExpireTimerState' :> '#AvatarReceiveState';
diff --git a/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml b/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml
index b03f4ae94f..e722fc1634 100644
--- a/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml
+++ b/src/main/java/avatartranslator/tosysmlv2/static/AvatarCommunication.sysml
@@ -3,6 +3,7 @@
package AvatarCommunication {
import AvatarGeneral::*;
import AvatarBlockTypes::*;
+ import Links::SelfLink;
// AVATAR COMMUNICATION RELATIONS ======================================
@@ -136,4 +137,12 @@ package AvatarCommunication {
/* #Bfifo, #NBfifo, #Sync is a partition of #Channel.
Disjointness is ensured by #Fifo_Rel and #Channel partitions */
-}
+ connection def '#InSignalBinding' :> SelfLink {
+ end part sameThing : '#Channel' redefines sameThing;
+ end part thisThing : '#Channel' redefines thisThing;
+ }
+ connection def '#OutSignalBinding' :> SelfLink {
+ end part sameThing : '#Channel' redefines sameThing;
+ end part thisThing : '#Channel' redefines thisThing;
+ }
+}
\ No newline at end of file
--
GitLab