From d6d67be0b3575b35a0cb89a3b084d7b6ebcd2949 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Mon, 6 Apr 2020 18:44:04 +0200
Subject: [PATCH] From String to StringBuilder
---
.../modelchecker/AvatarModelChecker.java | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index 3b54adebaa..7e72091d0f 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -1663,17 +1663,17 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
}
- String ret = "";
+ StringBuilder ret = new StringBuilder();
if (stoppedBeforeEnd) {
- ret += "Beware: Full study of reachability might not have been fully completed\n";
+ ret.append("Beware: Full study of reachability might not have been fully completed\n");
}
int cpt = 0;
for (SpecificationReachability re : reachabilities) {
- ret += (cpt + 1) + ". " + re.toString() + "\n";
+ ret.append((cpt + 1) + ". " + re.toString() + "\n");
cpt++;
}
- return ret;
+ return ret.toString();
}
public String livenessToString() {
@@ -1682,17 +1682,17 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
}
- String ret = "";
+ StringBuilder ret = new StringBuilder();
if (stoppedBeforeEnd) {
- ret += "Beware: Full study of reachability might not have been fully completed\n";
+ ret.append("Beware: Full study of reachability might not have been fully completed\n");
}
int cpt = 0;
for (SpecificationLiveness sl : livenesses) {
- ret += (cpt + 1) + ". " + sl.toString() + "\n";
+ ret.append((cpt + 1) + ". " + sl.toString() + "\n");
cpt++;
}
- return ret;
+ return ret.toString();
}
// Do not free the RG
--
GitLab