diff --git a/sootOutput/edu.cis2019.recursioncheck.Common.ErrorMessage.jimple b/sootOutput/edu.cis2019.recursioncheck.Common.ErrorMessage.jimple deleted file mode 100644 index fba28c7..0000000 --- a/sootOutput/edu.cis2019.recursioncheck.Common.ErrorMessage.jimple +++ /dev/null @@ -1,112 +0,0 @@ -public final enum class edu.cis2019.recursioncheck.Common.ErrorMessage extends java.lang.Enum -{ - public static final enum edu.cis2019.recursioncheck.Common.ErrorMessage NO_BASE_CASE; - public static final enum edu.cis2019.recursioncheck.Common.ErrorMessage MUTUAL_RECURSIVE_WARNING; - public static final enum edu.cis2019.recursioncheck.Common.ErrorMessage PARAMETERS_UNCHANGED; - private java.lang.String errorMessage; - private static final edu.cis2019.recursioncheck.Common.ErrorMessage[] $VALUES; - - public static edu.cis2019.recursioncheck.Common.ErrorMessage[] values() - { - edu.cis2019.recursioncheck.Common.ErrorMessage[] $r0, $r2; - java.lang.Object $r1; - - $r0 = ; - - $r1 = virtualinvoke $r0.(); - - $r2 = (edu.cis2019.recursioncheck.Common.ErrorMessage[]) $r1; - - return $r2; - } - - public static edu.cis2019.recursioncheck.Common.ErrorMessage valueOf(java.lang.String) - { - java.lang.String r0; - java.lang.Enum $r1; - edu.cis2019.recursioncheck.Common.ErrorMessage $r2; - - r0 := @parameter0: java.lang.String; - - $r1 = staticinvoke (class "Ledu/cis2019/recursioncheck/Common/ErrorMessage;", r0); - - $r2 = (edu.cis2019.recursioncheck.Common.ErrorMessage) $r1; - - return $r2; - } - - private void (java.lang.String, int, java.lang.String) - { - edu.cis2019.recursioncheck.Common.ErrorMessage r0; - java.lang.String r1, r2; - int i0; - - r0 := @this: edu.cis2019.recursioncheck.Common.ErrorMessage; - - r1 := @parameter0: java.lang.String; - - i0 := @parameter1: int; - - r2 := @parameter2: java.lang.String; - - specialinvoke r0.(java.lang.String,int)>(r1, i0); - - r0. = r2; - - return; - } - - public java.lang.String getErrorMessage() - { - edu.cis2019.recursioncheck.Common.ErrorMessage r0; - java.lang.String $r1; - - r0 := @this: edu.cis2019.recursioncheck.Common.ErrorMessage; - - $r1 = r0.; - - return $r1; - } - - static void () - { - edu.cis2019.recursioncheck.Common.ErrorMessage $r0, $r1, $r2, $r4, $r5, $r6; - edu.cis2019.recursioncheck.Common.ErrorMessage[] $r3; - - $r0 = new edu.cis2019.recursioncheck.Common.ErrorMessage; - - specialinvoke $r0.(java.lang.String,int,java.lang.String)>("NO_BASE_CASE", 0, "This recursive method contains no base case"); - - = $r0; - - $r1 = new edu.cis2019.recursioncheck.Common.ErrorMessage; - - specialinvoke $r1.(java.lang.String,int,java.lang.String)>("MUTUAL_RECURSIVE_WARNING", 1, "This method may be mutually recursive with another method"); - - = $r1; - - $r2 = new edu.cis2019.recursioncheck.Common.ErrorMessage; - - specialinvoke $r2.(java.lang.String,int,java.lang.String)>("PARAMETERS_UNCHANGED", 2, "Parameters are unchanged from initial call to recursive call"); - - = $r2; - - $r3 = newarray (edu.cis2019.recursioncheck.Common.ErrorMessage)[3]; - - $r4 = ; - - $r3[0] = $r4; - - $r5 = ; - - $r3[1] = $r5; - - $r6 = ; - - $r3[2] = $r6; - - = $r3; - - return; - } -} diff --git a/sootOutput/edu.cis2019.recursioncheck.TestCases.jimple b/sootOutput/edu.cis2019.recursioncheck.TestCases.jimple deleted file mode 100644 index 7b263f0..0000000 --- a/sootOutput/edu.cis2019.recursioncheck.TestCases.jimple +++ /dev/null @@ -1,152 +0,0 @@ -public class edu.cis2019.recursioncheck.TestCases extends java.lang.Object -{ - - public void () - { - edu.cis2019.recursioncheck.TestCases r0; - - r0 := @this: edu.cis2019.recursioncheck.TestCases; - - specialinvoke r0.()>(); - - return; - } - - public static void testNoBaseCase1() - { - staticinvoke (); - - return; - } - - public static int testNoBaseCase2() - { - int $i0; - - $i0 = staticinvoke (); - - return $i0; - } - - public static boolean testNoChangeInParameters1(int, int) - { - int i0, i1; - boolean $z0; - - i0 := @parameter0: int; - - i1 := @parameter1: int; - - if i0 != 1 goto label1; - - return 0; - - label1: - $z0 = staticinvoke (51, 51); - - return $z0; - } - - public static boolean testNoChangInParameters2(int, int) - { - int i0, i1; - boolean $z0; - - i0 := @parameter0: int; - - i1 := @parameter1: int; - - if i0 != 1 goto label1; - - return 0; - - label1: - $z0 = staticinvoke (i0, i1); - - return $z0; - } - - public static boolean testNoChangInParameters3(int, int) - { - int i0, i1; - boolean $z0; - - i0 := @parameter0: int; - - i1 := @parameter1: int; - - if i0 != 1 goto label1; - - return 0; - - label1: - $z0 = staticinvoke (i0, i1); - - return $z0; - } - - public static boolean testNoChangInParameters4(int, int, int) - { - int i0, i1, i2; - boolean $z0; - - i0 := @parameter0: int; - - i1 := @parameter1: int; - - i2 := @parameter2: int; - - if i0 != 1 goto label1; - - return 0; - - label1: - $z0 = staticinvoke (i1, i2, i0); - - return $z0; - } - - public static boolean testMutualRecursive(int, int) - { - int i0, i1, $i2; - java.io.PrintStream $r0; - - i0 := @parameter0: int; - - i1 := @parameter1: int; - - $r0 = ; - - virtualinvoke $r0.(i0); - - $i2 = i0 + i1; - - staticinvoke ($i2); - - return 0; - } - - public static boolean testMutualRecursive2(int) - { - int i0, $i1; - boolean $z1; - - i0 := @parameter0: int; - - staticinvoke (i0, i0); - - $i1 = i0 + i0; - - if $i1 != 0 goto label1; - - $z1 = 1; - - goto label2; - - label1: - $z1 = 0; - - label2: - return $z1; - } -} diff --git a/sootOutput/test.java.edu.cis2019.recursioncheck.TestCases.jimple b/sootOutput/test.java.edu.cis2019.recursioncheck.TestCases.jimple deleted file mode 100644 index 3a81f6a..0000000 --- a/sootOutput/test.java.edu.cis2019.recursioncheck.TestCases.jimple +++ /dev/null @@ -1,3 +0,0 @@ -class test.java.edu.cis2019.recursioncheck.TestCases -{ -}