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

mini-bug

parent 7b701b1c
No related branches found
No related tags found
4 merge requests!504merge first stable version of Avatar-SysML V2,!503merge the first stable version of the Avatar-SysML parser/generator,!501Avatar sys ml 04 2024,!498Avatar sys ml 04 2024 (first merge request, only for verification)
...@@ -338,8 +338,8 @@ public class Avatar2SysML { ...@@ -338,8 +338,8 @@ public class Avatar2SysML {
// Message declaration ......................... // Message declaration .........................
StringBuffer msg1Buf = new StringBuffer(indent + "// Message of signal " + blk1SysMLname + "." + sig1SYSMLname + "----------\n"); StringBuffer msg1Buf = new StringBuffer(indent + "\n// Message of signal " + blk1SysMLname + "." + sig1SYSMLname + "............\n");
StringBuffer msg2Buf = new StringBuffer(indent + "// Message of signal " + blk2SysMLname + sig2SYSMLname + "----------\n"); StringBuffer msg2Buf = new StringBuffer(indent + "\n// Message of signal " + blk2SysMLname + sig2SYSMLname + "............\n");
if (in2out) { if (in2out) {
msg1Buf.append(indent + "part def " + message2SYSMLname + " :> '#DataMessage' {\n"); msg1Buf.append(indent + "part def " + message2SYSMLname + " :> '#DataMessage' {\n");
msg2Buf.append(indent + "part def " + message1SYSMLname + " :> " + message2SYSMLname + "{\n"); msg2Buf.append(indent + "part def " + message1SYSMLname + " :> " + message2SYSMLname + "{\n");
...@@ -1101,8 +1101,9 @@ public class Avatar2SysML { ...@@ -1101,8 +1101,9 @@ public class Avatar2SysML {
String methodCall2SysML(AvatarTermFunction m) { String methodCall2SysML(AvatarTermFunction m) {
MethodInfo methodInfo = methodMap.get(m.getMethod()); MethodInfo methodInfo = methodMap.get(m.getMethod());
List<AvatarTerm> parameters = m.getArgs().getComponents(); List<AvatarTerm> parameters = m.getArgs().getComponents();
StringBuffer result = new StringBuffer(methodInfo.getName() + "(");
int nbFields = methodInfo.getArity(); int nbFields = methodInfo.getArity();
if (nbFields == 0) return(methodInfo.getName() + "()");
StringBuffer result = new StringBuffer(methodInfo.getName() + "(");
int j = 0; // index in method profile; int j = 0; // index in method profile;
int k = 0; // index in method parameters; int k = 0; // index in method parameters;
while (j < nbFields) { while (j < nbFields) {
......
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