Skip to content
Snippets Groups Projects
Commit 73ea68bb authored by Sophie Coudert's avatar Sophie Coudert
Browse files

braces around timer requests

parent 1148baf4
No related branches found
No related tags found
1 merge request!506Avatar sys ml 04 2024 (debug braces around pools and requests)
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment