From f83aef30c6fd8cb619c23e7e0c981a3f2815cf14 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 8 Mar 2017 17:07:46 +0100
Subject: [PATCH] fix bug, reformat

---
 Parser/spec/Helpers.jadd | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/Parser/spec/Helpers.jadd b/Parser/spec/Helpers.jadd
index a147c4b..64e6b25 100644
--- a/Parser/spec/Helpers.jadd
+++ b/Parser/spec/Helpers.jadd
@@ -1,22 +1,21 @@
 aspect Helpers {
 
-    public void ASTNode.checkTreeStructure() {
-        for (ASTNode child : astChildren()) {
-            if (child.getParent() != this) {
-                throw new RuntimeException();
-            }
-            child.checkTreeStructure();
-        }
+  public void ASTNode.checkTreeStructure() {
+    for (ASTNode child : this.astChildren()) {
+      if (child.getParent() != this) {
+        throw new RuntimeException();
+      }
+      child.checkTreeStructure();
     }
+  }
 
-    public void ASTNode.fixTreeStructure() {
-        for (ASTNode child : astChildren()) {
-            if (child.getParent() != this) {
-                // System.err.println("fixed parent of " + child);
-                child.parent = this;
-            }
-            child.fixTreeStructure();
-        }
+  public void ASTNode.fixTreeStructure() {
+    for (ASTNode child : this.astChildren()) {
+      if (child.getParent() != this) {
+        child.parent = this;
+      }
+      child.fixTreeStructure();
     }
+  }
 
 }
-- 
GitLab