Changeset 2250

Timestamp:

12/11/17 15:16:54 (7 years ago)

Author:

pharms

Message:

 

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java (modified) (1 diff)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java

@@ -158 +158 @@
         public String toString() {
             String separator = System.getProperty("line.separator");
-            String result = content + separator;
+            StringBuffer result = new StringBuffer(content);
+            result.append(separator);
 
             for (StructureNode child : children) {
-                result += child.toString();
+                result.append(child.toString());
             }
 
             if (content.endsWith("/>")) {
-                return result;
-            }
-            return result + "</StructureElement>" + separator;
+                return result.toString();
+            }
+            
+            result.append("</StructureElement>");
+            result.append(separator);
+            
+            return result.toString();
         }
     }