format

stschott · stschott · commit e478baec5a94 · 2023-07-31T11:52:18.000+02:00
diff --git a/sootup.jimple.parser/src/main/java/sootup/jimple/parser/JimpleConverter.java b/sootup.jimple.parser/src/main/java/sootup/jimple/parser/JimpleConverter.java
@@ -675,10 +675,13 @@ public Constant visitConstant(JimpleParser.ConstantContext ctx) {
             }
 
             if (floatStr.charAt(0) == '#') {
-              switch(floatStr.substring(1)) {
-                case "Infinity": return DoubleConstant.getInstance(Double.POSITIVE_INFINITY);
-                case "-Infinity": return DoubleConstant.getInstance(Double.NEGATIVE_INFINITY);
-                case "NaN": return DoubleConstant.getInstance(Double.NaN);
+              switch (floatStr.substring(1)) {
+                case "Infinity":
+                  return DoubleConstant.getInstance(Double.POSITIVE_INFINITY);
+                case "-Infinity":
+                  return DoubleConstant.getInstance(Double.NEGATIVE_INFINITY);
+                case "NaN":
+                  return DoubleConstant.getInstance(Double.NaN);
               }
             }
 
diff --git a/sootup.jimple.parser/src/test/java/sootup/jimple/parser/JimpleConverterTest.java b/sootup.jimple.parser/src/test/java/sootup/jimple/parser/JimpleConverterTest.java
@@ -793,8 +793,8 @@ public void testQuotedTypeParsing() throws IOException {
   @Test
   public void testEdgeCaseDoubleParsing() throws IOException {
     SootClass<?> clazz =
-            parseJimpleClass(
-                    CharStreams.fromFileName("src/test/java/resources/jimple/EdgeCaseDoubleNumber.jimple"));
+        parseJimpleClass(
+            CharStreams.fromFileName("src/test/java/resources/jimple/EdgeCaseDoubleNumber.jimple"));
     Set<? extends SootField> fields = clazz.getFields();
     for (SootField field : fields) {
       assertEquals(PrimitiveType.DoubleType.getInstance(), field.getType());

Original file line number	Diff line number	Diff line change
`@@ -675,10 +675,13 @@ public Constant visitConstant(JimpleParser.ConstantContext ctx) {`
`675`	`675`	`}`
`676`	`676`
`677`	`677`	`if (floatStr.charAt(0) == '#') {`
`678`		`- switch(floatStr.substring(1)) {`
`679`		`- case "Infinity": return DoubleConstant.getInstance(Double.POSITIVE_INFINITY);`
`680`		`- case "-Infinity": return DoubleConstant.getInstance(Double.NEGATIVE_INFINITY);`
`681`		`- case "NaN": return DoubleConstant.getInstance(Double.NaN);`
	`678`	`+ switch (floatStr.substring(1)) {`
	`679`	`+ case "Infinity":`
	`680`	`+ return DoubleConstant.getInstance(Double.POSITIVE_INFINITY);`
	`681`	`+ case "-Infinity":`
	`682`	`+ return DoubleConstant.getInstance(Double.NEGATIVE_INFINITY);`
	`683`	`+ case "NaN":`
	`684`	`+ return DoubleConstant.getInstance(Double.NaN);`
`682`	`685`	`}`
`683`	`686`	`}`
`684`	`687`