test unimplant

This commit is contained in:
Vu Tuan Minh
2025-04-10 10:56:11 +02:00
parent ecdb8ac687
commit 48763ff76e
8 changed files with 62 additions and 24 deletions

View File

@@ -78,7 +78,10 @@ public class PrettyprinterVisitor implements ProgramVisitor<String,String>,
public String visitIfThen(IfThenImp instr, String indent) {
String str = indent + "IF ";
str +=(instr.e().accept(this, ""));
str +=" THEN " + (instr.i1().accept(this, ""));
str +=" THEN ";
for(int i=0; i<instr.i1().size();i++){
str+= instr.i1().get(i).accept(this, "");
}
return str;
}
@@ -86,8 +89,14 @@ public class PrettyprinterVisitor implements ProgramVisitor<String,String>,
public String visitIfThenElse(IfThenElseImp instr, String indent) {
String str = indent + "IF ";
str +=(instr.e().accept(this, ""));
str +=" THEN " + (instr.i1().accept(this, ""));
str +=" ELSE "+ (instr.i2().accept(this, ""));
str +=" THEN ";
for(int i=0; i<instr.i1().size();i++){
str+= instr.i1().get(i).accept(this, "");
}
str +=" ELSE ";
for(int i=0; i<instr.i2().size();i++){
str+= instr.i2().get(i).accept(this, "");
}
return str;
}
@@ -105,7 +114,10 @@ public class PrettyprinterVisitor implements ProgramVisitor<String,String>,
public String visitWhile(WhileImp instr, String indent) {
String str = indent+"WHILE ";
str += (instr.e().accept(this, ""));
str+= " DO "+ (instr.i1().accept(this, ""));
str+= " DO ";
for(int i=0; i<instr.i1().size();i++){
str+= instr.i1().get(i).accept(this, "");
}
str+= " DONE";
return str;
}