Formatting

Author: lucaneg

lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/stability/Stability.java

@@ -1,11 +1,5 @@
 package it.unive.lisa.analysis.stability;
 
-import java.util.ArrayList;
-import java.util.HashMap;
-import java.util.Map;
-import java.util.Objects;
-import java.util.function.Predicate;
-
 import it.unive.lisa.analysis.BaseLattice;
 import it.unive.lisa.analysis.ScopeToken;
 import it.unive.lisa.analysis.SemanticDomain;
@@ -36,6 +30,11 @@
 import it.unive.lisa.symbolic.value.operator.unary.NumericNegation;
 import it.unive.lisa.util.representation.ObjectRepresentation;
 import it.unive.lisa.util.representation.StructuredRepresentation;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.Map;
+import java.util.Objects;
+import java.util.function.Predicate;
 
 /**
  * Implementation of the stability abstract domain (yet to appear publicly).

lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/stability/Trend.java

@@ -1,13 +1,12 @@
 package it.unive.lisa.analysis.stability;
 
-import java.util.Objects;
-
 import it.unive.lisa.analysis.Lattice;
 import it.unive.lisa.analysis.SemanticException;
 import it.unive.lisa.analysis.lattices.Satisfiability;
 import it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain;
 import it.unive.lisa.util.representation.StringRepresentation;
 import it.unive.lisa.util.representation.StructuredRepresentation;
+import java.util.Objects;
 
 /**
  * A single-variable numerical trend. Instances of this class (corresponding to

lisa/lisa-analyses/src/test/java/it/unive/lisa/analysis/stability/StabilityTest.java

@@ -5,15 +5,14 @@
 import static org.junit.Assert.assertNotEquals;
 import static org.junit.Assert.assertTrue;
 
-import org.junit.Test;
-
 import it.unive.lisa.analysis.SemanticException;
 import it.unive.lisa.analysis.nonrelational.value.ValueEnvironment;
 import it.unive.lisa.analysis.numeric.Interval;
 import it.unive.lisa.program.SyntheticLocation;
 import it.unive.lisa.symbolic.value.Identifier;
 import it.unive.lisa.symbolic.value.Variable;
 import it.unive.lisa.type.Untyped;
+import org.junit.Test;
 
 public class StabilityTest {
 

lisa/lisa-analyses/src/test/java/it/unive/lisa/cron/StabilityTest.java

@@ -1,12 +1,5 @@
 package it.unive.lisa.cron;
 
-import java.util.ArrayList;
-import java.util.HashMap;
-import java.util.LinkedHashMap;
-import java.util.Map;
-
-import org.junit.Test;
-
 import it.unive.lisa.AnalysisExecutionException;
 import it.unive.lisa.AnalysisTestExecutor;
 import it.unive.lisa.CronConfiguration;
@@ -30,6 +23,11 @@
 import it.unive.lisa.program.cfg.CFG;
 import it.unive.lisa.program.cfg.statement.Statement;
 import it.unive.lisa.symbolic.value.Identifier;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.LinkedHashMap;
+import java.util.Map;
+import org.junit.Test;
 
 public class StabilityTest extends AnalysisTestExecutor {