summaryrefslogtreecommitdiffstats
path: root/testData/results
diff options
context:
space:
mode:
Diffstat (limited to 'testData/results')
-rw-r--r--testData/results/TestClassFields.dec13
-rw-r--r--testData/results/TestClassLambda.dec75
-rw-r--r--testData/results/TestClassLoop.dec45
-rw-r--r--testData/results/TestClassSwitch.dec16
-rw-r--r--testData/results/TestClassTypes.dec50
-rw-r--r--testData/results/TestClassVar.dec43
6 files changed, 242 insertions, 0 deletions
diff --git a/testData/results/TestClassFields.dec b/testData/results/TestClassFields.dec
new file mode 100644
index 0000000..2a20fb8
--- /dev/null
+++ b/testData/results/TestClassFields.dec
@@ -0,0 +1,13 @@
+package pkg;
+
+
+public class TestClassFields {
+
+ private static int[] sizes;
+ private static String[] names = new String[]{"name1", "name2"};
+
+
+ static {
+ sizes = new int[names.length];
+ }
+}
diff --git a/testData/results/TestClassLambda.dec b/testData/results/TestClassLambda.dec
new file mode 100644
index 0000000..baf2cd7
--- /dev/null
+++ b/testData/results/TestClassLambda.dec
@@ -0,0 +1,75 @@
+package pkg;
+
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.List;
+import java.util.OptionalInt;
+import java.util.function.Consumer;
+import java.util.function.IntBinaryOperator;
+import java.util.function.Predicate;
+import java.util.function.Supplier;
+
+public class TestClassLambda {
+
+ public int field = 0;
+
+
+ public void testLambda() {
+ List var1 = Arrays.asList(new Integer[]{Integer.valueOf(1), Integer.valueOf(2), Integer.valueOf(3), Integer.valueOf(4), Integer.valueOf(5), Integer.valueOf(6), Integer.valueOf(7)});
+ int var2 = (int)Math.random();
+ var1.forEach((var2x) -> {
+ int var3 = 2 * var2x.intValue();
+ System.out.println(var3 + var2 + this.field);
+ });
+ }
+
+ public void testLambda1() {
+ int var1 = (int)Math.random();
+ Runnable var2 = () -> {
+ System.out.println("hello" + var1);
+ };
+ Runnable var3 = () -> {
+ System.out.println("hello1" + var1);
+ };
+ }
+
+ public void testLambda2() {
+ reduce((var0, var1) -> {
+ return Math.max(var0, var1);
+ });
+ }
+
+ public void testLambda3() {
+ reduce(Math::max);
+ }
+
+ public void testLambda4() {
+ reduce(TestClassLambda::localMax);
+ }
+
+ public void testLambda5() {
+ String var1 = "abcd";
+ function(var1::toString);
+ }
+
+ public void testLambda6() {
+ ArrayList var1 = new ArrayList();
+ int var2 = var1.size() * 2;
+ int var3 = var1.size() * 5;
+ var1.removeIf((var2x) -> {
+ return var2 >= var2x.length() && var2x.length() <= var3;
+ });
+ }
+
+ public static OptionalInt reduce(IntBinaryOperator var0) {
+ return null;
+ }
+
+ public static String function(Supplier var0) {
+ return (String)var0.get();
+ }
+
+ public static int localMax(int var0, int var1) {
+ return 0;
+ }
+}
diff --git a/testData/results/TestClassLoop.dec b/testData/results/TestClassLoop.dec
new file mode 100644
index 0000000..b231ae0
--- /dev/null
+++ b/testData/results/TestClassLoop.dec
@@ -0,0 +1,45 @@
+package pkg;
+
+
+public class TestClassLoop {
+
+ public static void testSimpleInfinite() {
+ while(true) {
+ System.out.println();
+ }
+ }
+
+ public static void testFinally() {
+ boolean var0 = Math.random() > 0.0D;
+
+ while(true) {
+ try {
+ if(!var0) {
+ return;
+ }
+ } finally {
+ System.out.println("1");
+ }
+ }
+ }
+
+ public static void testFinallyContinue() {
+ boolean var0 = Math.random() > 0.0D;
+
+ while(true) {
+ while(true) {
+ try {
+ System.out.println("1");
+ break;
+ } finally {
+ if(var0) {
+ System.out.println("3");
+ continue;
+ }
+ }
+ }
+
+ System.out.println("4");
+ }
+ }
+}
diff --git a/testData/results/TestClassSwitch.dec b/testData/results/TestClassSwitch.dec
new file mode 100644
index 0000000..496dd15
--- /dev/null
+++ b/testData/results/TestClassSwitch.dec
@@ -0,0 +1,16 @@
+package pkg;
+
+
+public class TestClassSwitch {
+
+ public void testCaseOrder(int var1) {
+ switch(var1) {
+ case 5:
+ System.out.println(5);
+ default:
+ return;
+ case 13:
+ System.out.println(13);
+ }
+ }
+}
diff --git a/testData/results/TestClassTypes.dec b/testData/results/TestClassTypes.dec
new file mode 100644
index 0000000..2c856b1
--- /dev/null
+++ b/testData/results/TestClassTypes.dec
@@ -0,0 +1,50 @@
+package pkg;
+
+import java.util.ArrayList;
+import java.util.List;
+
+public class TestClassTypes {
+
+ public void testBoolean() {
+ byte var1 = 0;
+ long var2 = System.currentTimeMillis();
+ if(var2 % 2L > 0L) {
+ var1 = 1;
+ } else if(var2 % 3L > 0L) {
+ var1 = 2;
+ }
+
+ if(var1 == 1) {
+ System.out.println();
+ }
+
+ }
+
+ public boolean testBit(int var1) {
+ return (var1 & 1) == 1;
+ }
+
+ public void testSwitchConsts(int var1) {
+ switch(var1) {
+ case 88:
+ System.out.println("1");
+ break;
+ case 656:
+ System.out.println("2");
+ break;
+ case 65201:
+ case 65489:
+ System.out.println("3");
+ }
+
+ }
+
+ public void testAssignmentType(List var1) {
+ Object var2 = var1;
+ if(var1 != null) {
+ ((List)(var2 = new ArrayList(var1))).add("23");
+ }
+
+ System.out.println(((List)var2).size());
+ }
+}
diff --git a/testData/results/TestClassVar.dec b/testData/results/TestClassVar.dec
new file mode 100644
index 0000000..ceb3a4d
--- /dev/null
+++ b/testData/results/TestClassVar.dec
@@ -0,0 +1,43 @@
+package pkg;
+
+
+public class TestClassVar {
+
+ private boolean field_boolean = Math.random() > 0.0D;
+ public int field_int = 0;
+
+
+ public void testFieldSSAU() {
+ for(int var1 = 0; var1 < 10; ++var1) {
+ try {
+ System.out.println();
+ } finally {
+ if(this.field_boolean) {
+ System.out.println();
+ }
+
+ }
+ }
+
+ }
+
+ public Long testFieldSSAU1() {
+ return new Long((long)(this.field_int++));
+ }
+
+ public void testComplexPropagation() {
+ int var1 = 0;
+
+ while(var1 < 10) {
+ int var2;
+ for(var2 = var1; var1 < 10 && var1 == 0; ++var1) {
+ ;
+ }
+
+ if(var2 != var1) {
+ System.out.println();
+ }
+ }
+
+ }
+}