diff --git a/src/main/java/avatartranslator/tosysmlv2/Avatar2SysML.java b/src/main/java/avatartranslator/tosysmlv2/Avatar2SysML.java index a2e58bc000ecbe5cc3bb74c799bd47eecf2f5067..f785b4e4152998e0e24bd9df63713d877af695e9 100644 --- a/src/main/java/avatartranslator/tosysmlv2/Avatar2SysML.java +++ b/src/main/java/avatartranslator/tosysmlv2/Avatar2SysML.java @@ -994,12 +994,12 @@ public class Avatar2SysML { // put pre-communication State avsysml.append("\n" + indentation + "state " + stateinfo.getPreName() + " : '#AvatarPreSendState' = '#AvatarPreSendState' (\n"); indent(1); - avsysml.append(indentation + "'@request' =\n"); + avsysml.append(indentation + "'@request' = {\n"); indent(1); // put the specific sending request, carrying a value avsysml.append(setTimerRequest2SysML(1, "0", "0", timerBlockSysMLname(((AvatarSetTimer) aos).getTimer().getName()) , - ((AvatarSetTimer)aos).getTimerValue()) + "\n"); + ((AvatarSetTimer)aos).getTimerValue()) + " }\n"); unindent(2); avsysml.append(indentation + ");\n"); // put the associated transition @@ -1011,11 +1011,11 @@ public class Avatar2SysML { // put pre-communication State avsysml.append("\n" + indentation + "state " + stateinfo.getPreName() + " : '#AvatarPreSendState' = '#AvatarPreSendState' (\n"); indent(1); - avsysml.append(indentation + "'@request' =\n"); + avsysml.append(indentation + "'@request' = {\n"); indent(1); // put the specific sending request, carrying no value avsysml.append(resetTimerRequest2SysML(1, "0", "0", - timerBlockSysMLname(((AvatarResetTimer) aos).getTimer().getName())) + "\n"); + timerBlockSysMLname(((AvatarResetTimer) aos).getTimer().getName())) + " }\n"); unindent(2); avsysml.append(indentation + ");\n"); // put the associated transition @@ -1027,11 +1027,11 @@ public class Avatar2SysML { // put pre-communication State avsysml.append("\n" + indentation + "state " + stateinfo.getPreName() + " : '#AvatarPreReceiveState' = '#AvatarPreReceiveState' (\n"); indent(1); - avsysml.append(indentation + "'@request' =\n"); + avsysml.append(indentation + "'@request' = {\n"); indent(1); // put the specific receiving request, carrying no value avsysml.append(expireTimerRequest2SysML(1, "0", "0", - timerBlockSysMLname(((AvatarExpireTimer) aos).getTimer().getName())) + "\n"); + timerBlockSysMLname(((AvatarExpireTimer) aos).getTimer().getName())) + " }\n"); unindent(2); avsysml.append(indentation + ");\n"); // put the associated transition