From ce49d20a5fe3726e1800bc495a25c7617212abf4 Mon Sep 17 00:00:00 2001 From: Emanuele Grasso <96300448+L0P0P@users.noreply.github.com> Date: Sun, 14 Jul 2024 18:48:09 +0200 Subject: Reaching definition analysis (#17) Co-authored-by: Santo Cariotti Co-authored-by: geno Co-authored-by: geno --- src/ast/nodes/IfNode.java | 19 +++++++++++++++---- 1 file changed, 15 insertions(+), 4 deletions(-) (limited to 'src/ast/nodes/IfNode.java') diff --git a/src/ast/nodes/IfNode.java b/src/ast/nodes/IfNode.java index ca42b7a..fd878f8 100644 --- a/src/ast/nodes/IfNode.java +++ b/src/ast/nodes/IfNode.java @@ -34,7 +34,6 @@ public class IfNode implements Node { return errors; } - // FIXME: fix the if statement @Override public Type typeCheck() { if (guard.typeCheck() instanceof BoolType) { @@ -78,14 +77,26 @@ public class IfNode implements Node { } @Override - public String toPrint(String prefix) { - String str = prefix + "If\n" + guard.toPrint(prefix + " ") + thenBranch.toPrint(prefix + " "); + public String printAST(String prefix) { + String str = prefix + "If\n" + guard.printAST(prefix + " ") + thenBranch.printAST(prefix + " "); if (elseBranch != null) { - str += elseBranch.toPrint(prefix + " "); + str += elseBranch.printAST(prefix + " "); } return str; } + @Override + public String toPrint(String prefix) { + String str = prefix + "if "; + str += guard.toPrint("") + ":\n"; + str += thenBranch.toPrint(prefix + "\t") + "\n"; + if (elseBranch != null) { + str += prefix + "else:\n"; + str += elseBranch.toPrint(prefix + "\t") + "\n"; + } + return str; + } + } -- cgit v1.2.3-18-g5258