Skip to content

Commit 679667d

Browse files
isaacmaffeisisaacmaffeis
committed
fixed missing open parenthesis bug
1 parent 1a4d621 commit 679667d

File tree

4 files changed

+36
-33
lines changed

4 files changed

+36
-33
lines changed

‎asmetal2java_codegen/src/org/asmeta/asm2java/main/JavaASMGenerator2.xtend

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -88,7 +88,7 @@ class JavaASMGenerator2 extends AsmToJavaGenerator {
8888
System.out.println("<State "+ stato +" (controlled)>");
8989
9090
printControlled();
91-
setMonitored(''');
91+
setMonitored( ''');
9292

9393
for (fd : asm.headerSection.signature.function) {
9494
if (fd instanceof MonitoredFunction) {
@@ -103,7 +103,6 @@ class JavaASMGenerator2 extends AsmToJavaGenerator {
103103
}
104104
}
105105
}
106-
107106
sb.setLength(sb.length() - 1);
108107
sb.append(''');
109108
this.esecuzione.updateASM();
@@ -178,7 +177,7 @@ class JavaASMGenerator2 extends AsmToJavaGenerator {
178177
179178
}
180179
181-
private void setMonitored(''');
180+
private void setMonitored( ''');
182181

183182
setMonitoredArgs(asm,sb);
184183

@@ -494,6 +493,7 @@ class JavaASMGenerator2 extends AsmToJavaGenerator {
494493

495494
def setMonitoredArgs(Asm asm, StringBuffer sb) {
496495
val asmName = asm.name
496+
sb.append(''' ''')
497497
for (fd : asm.headerSection.signature.function) {
498498
if (fd instanceof MonitoredFunction) {
499499
if (fd.domain === null) {

‎asmetal2java_codegen/xtend-gen/org/asmeta/asm2java/main/.JavaASMGenerator2.java._trace

174 Bytes
Binary file not shown.

‎asmetal2java_codegen/xtend-gen/org/asmeta/asm2java/main/.JavaASMGenerator2.xtendbin

23 Bytes
Binary file not shown.

‎asmetal2java_codegen/xtend-gen/org/asmeta/asm2java/main/JavaASMGenerator2.java

Lines changed: 33 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -155,7 +155,7 @@ public String compileAsm(final Asm asm) {
155155
_builder_1.append("printControlled();");
156156
_builder_1.newLine();
157157
_builder_1.append("\t\t\t\t");
158-
_builder_1.append("setMonitored(");
158+
_builder_1.append("setMonitored( ");
159159
sb.append(_builder_1);
160160
EList<Function> _function = asm.getHeaderSection().getSignature().getFunction();
161161
for (final Function fd : _function) {
@@ -307,7 +307,7 @@ public String compileAsm(final Asm asm) {
307307
_builder_13.append("\t");
308308
_builder_13.newLine();
309309
_builder_13.append("\t");
310-
_builder_13.append("private void setMonitored(");
310+
_builder_13.append("private void setMonitored( ");
311311
sb.append(_builder_13);
312312
this.setMonitoredArgs(asm, sb);
313313
StringConcatenation _builder_14 = new StringConcatenation();
@@ -1007,6 +1007,9 @@ public String printControlled(final Asm asm) {
10071007

10081008
public void setMonitoredArgs(final Asm asm, final StringBuffer sb) {
10091009
final String asmName = asm.getName();
1010+
StringConcatenation _builder = new StringConcatenation();
1011+
_builder.append(" ");
1012+
sb.append(_builder);
10101013
EList<Function> _function = asm.getHeaderSection().getSignature().getFunction();
10111014
for (final Function fd : _function) {
10121015
if ((fd instanceof MonitoredFunction)) {
@@ -1015,55 +1018,55 @@ public void setMonitoredArgs(final Asm asm, final StringBuffer sb) {
10151018
if (_tripleEquals) {
10161019
if ((((MonitoredFunction)fd).getCodomain().getName().equals("Boolean") && (!(((MonitoredFunction)fd).getCodomain() instanceof ConcreteDomain)))) {
10171020
sb.append(System.lineSeparator()).append("\t\t");
1018-
StringConcatenation _builder = new StringConcatenation();
1019-
_builder.append("boolean ");
1021+
StringConcatenation _builder_1 = new StringConcatenation();
1022+
_builder_1.append("boolean ");
10201023
String _name = ((MonitoredFunction)fd).getName();
1021-
_builder.append(_name);
1022-
_builder.append(",");
1023-
sb.append(_builder);
1024+
_builder_1.append(_name);
1025+
_builder_1.append(",");
1026+
sb.append(_builder_1);
10241027
} else {
10251028
if ((((MonitoredFunction)fd).getCodomain().getName().equals("Integer") && (!(((MonitoredFunction)fd).getCodomain() instanceof ConcreteDomain)))) {
10261029
sb.append(System.lineSeparator()).append("\t\t");
1027-
StringConcatenation _builder_1 = new StringConcatenation();
1028-
_builder_1.append("int ");
1030+
StringConcatenation _builder_2 = new StringConcatenation();
1031+
_builder_2.append("int ");
10291032
String _name_1 = ((MonitoredFunction)fd).getName();
1030-
_builder_1.append(_name_1);
1031-
_builder_1.append(",");
1032-
sb.append(_builder_1);
1033+
_builder_2.append(_name_1);
1034+
_builder_2.append(",");
1035+
sb.append(_builder_2);
10331036
} else {
10341037
Domain _codomain = ((MonitoredFunction)fd).getCodomain();
10351038
if ((_codomain instanceof EnumTd)) {
10361039
sb.append(System.lineSeparator()).append("\t\t");
1037-
StringConcatenation _builder_2 = new StringConcatenation();
1038-
_builder_2.append(asmName);
1039-
_builder_2.append(".");
1040+
StringConcatenation _builder_3 = new StringConcatenation();
1041+
_builder_3.append(asmName);
1042+
_builder_3.append(".");
10401043
String _name_2 = ((MonitoredFunction)fd).getCodomain().getName();
1041-
_builder_2.append(_name_2);
1042-
_builder_2.append(" ");
1044+
_builder_3.append(_name_2);
1045+
_builder_3.append(" ");
10431046
String _name_3 = ((MonitoredFunction)fd).getName();
1044-
_builder_2.append(_name_3);
1045-
_builder_2.append(",");
1046-
sb.append(_builder_2);
1047+
_builder_3.append(_name_3);
1048+
_builder_3.append(",");
1049+
sb.append(_builder_3);
10471050
} else {
10481051
Domain _codomain_1 = ((MonitoredFunction)fd).getCodomain();
10491052
if ((_codomain_1 instanceof ConcreteDomain)) {
10501053
sb.append(System.lineSeparator()).append("\t\t");
1051-
StringConcatenation _builder_3 = new StringConcatenation();
1052-
_builder_3.append("int ");
1054+
StringConcatenation _builder_4 = new StringConcatenation();
1055+
_builder_4.append("int ");
10531056
String _name_4 = ((MonitoredFunction)fd).getName();
1054-
_builder_3.append(_name_4);
1055-
_builder_3.append(",");
1056-
sb.append(_builder_3);
1057+
_builder_4.append(_name_4);
1058+
_builder_4.append(",");
1059+
sb.append(_builder_4);
10571060
} else {
10581061
Domain _codomain_2 = ((MonitoredFunction)fd).getCodomain();
10591062
if ((_codomain_2 instanceof AbstractTd)) {
10601063
sb.append(System.lineSeparator()).append("\t\t");
1061-
StringConcatenation _builder_4 = new StringConcatenation();
1062-
_builder_4.append("int ");
1064+
StringConcatenation _builder_5 = new StringConcatenation();
1065+
_builder_5.append("int ");
10631066
String _name_5 = ((MonitoredFunction)fd).getName();
1064-
_builder_4.append(_name_5);
1065-
_builder_4.append(",");
1066-
sb.append(_builder_4);
1067+
_builder_5.append(_name_5);
1068+
_builder_5.append(",");
1069+
sb.append(_builder_5);
10671070
}
10681071
}
10691072
}

0 commit comments

Comments
 (0)