Java Supercompiler. Version 0.1.22 alpha. Copyright (c) 2002 Supercompilers, LLC.
/* Supercompilation options
--------------------------------------------------
command line option = value
--------------------------------------------------
-allMethods, -all, -allm, -am = false
-method <method id>, -m <method id> = checkAndPrint
-class <class id> =
-unit<n>, -u<n> = 1
-exceptMethod <method id>, -xm <method id> =
-exceptClass <class id>, -xc <class id> =
-exceptUnit<n>, -xu<n> =
-dynamicLoading, -dl = false
-sourcepath <dirlist>, -sp <dirlist> = .
-destination <directory>, -d <directory> = res
-javap <command prefix> = javap -private
-invoke<n>, -i<n> = no limit
-recur<n>, -r<n> = 1
-recurObject<n>, -ro<n> = 1
-arrayLimit<n>, -al<n> = no limit
-generinclude<n>, -gi<n> = 3
-loop<n>, -l<n> = 0
-joinIf, -ji, -join, -j = true
-joinLoop, -jl, -join, -j = false
-joinLabeled, -jla, -join, -j = false
-unfoldLoop<n>, -ul<n> = 6
-unfoldLoopEmpty, -ule, -ul1 = true
-unfoldLoopLinear, -ull, -ul2 = true
-unfoldLoopNoBreak, -ulnb, -ul3 = true
-unfoldLoopNoRegularBreak, -ulnrb, -ul4 = true
-defaultFields, -df = false
-defaultArrayElements, -dae = true
-strictFieldAccess, -sfa = false
-strictArrayAccess, -saa = false
-finalInitializedArrayElements, -fiae = false
-multiplyZeroFP, -mzfp = false
-changeAccessOrder, -cao = false
--------------------------------------------------*/
//-------------------------------------- 0 sec - field Fish.nofHouses
//-------------------------------------- 0 sec - field Fish.nofHouses postprocessing...
public static final int nofHouses = 5;
//-------------------------------------- 0 sec - field Fish.nofProperties
//-------------------------------------- 0 sec - field Fish.nofProperties postprocessing...
public static final int nofProperties = 5;
//-------------------------------------- 0 sec - field Fish.NATIONALITY
//-------------------------------------- 0 sec - field Fish.NATIONALITY postprocessing...
public static final int NATIONALITY = 0;
//-------------------------------------- 0 sec - field Fish.COLORS
//-------------------------------------- 0 sec - field Fish.COLORS postprocessing...
public static final int COLORS = 1;
//-------------------------------------- 0 sec - field Fish.CIGAR
//-------------------------------------- 0 sec - field Fish.CIGAR postprocessing...
public static final int CIGAR = 2;
//-------------------------------------- 0 sec - field Fish.PET
//-------------------------------------- 0 sec - field Fish.PET postprocessing...
public static final int PET = 3;
//-------------------------------------- 0 sec - field Fish.DRINK
//-------------------------------------- 0 sec - field Fish.DRINK postprocessing...
public static final int DRINK = 4;
//-------------------------------------- 0 sec - method Fish.checkAndPrint(java.lang.String[][])
//-------------------------------------- 28 sec - method Fish.checkAndPrint(java.lang.String[][]) postprocessing...
public static void checkAndPrint (final java.lang.String[][] houses1_1)
throws java.lang.Exception
{
final java.lang.String[][] houses_7 = new java.lang.String[5][5];
final java.lang.String[] houses_0_2 = houses_7[0];
final java.lang.String houses1_0_0_9 = houses1_1[0][0];
houses_0_2[0] = houses1_0_0_9;
final java.lang.String houses1_0_1_13 = houses1_1[0][1];
houses_0_2[1] = houses1_0_1_13;
final java.lang.String houses1_0_2_17 = houses1_1[0][2];
houses_0_2[2] = houses1_0_2_17;
final java.lang.String houses1_0_3_21 = houses1_1[0][3];
houses_0_2[3] = houses1_0_3_21;
final java.lang.String houses1_0_4_25 = houses1_1[0][4];
houses_0_2[4] = houses1_0_4_25;
final java.lang.String[] houses_1_3 = houses_7[1];
final java.lang.String houses1_1_0_37 = houses1_1[1][0];
houses_1_3[0] = houses1_1_0_37;
final java.lang.String houses1_1_1_41 = houses1_1[1][1];
houses_1_3[1] = houses1_1_1_41;
final java.lang.String houses1_1_2_45 = houses1_1[1][2];
houses_1_3[2] = houses1_1_2_45;
final java.lang.String houses1_1_3_49 = houses1_1[1][3];
houses_1_3[3] = houses1_1_3_49;
final java.lang.String houses1_1_4_53 = houses1_1[1][4];
houses_1_3[4] = houses1_1_4_53;
final java.lang.String[] houses_2_4 = houses_7[2];
final java.lang.String houses1_2_0_65 = houses1_1[2][0];
houses_2_4[0] = houses1_2_0_65;
final java.lang.String houses1_2_1_69 = houses1_1[2][1];
houses_2_4[1] = houses1_2_1_69;
final java.lang.String houses1_2_2_73 = houses1_1[2][2];
houses_2_4[2] = houses1_2_2_73;
final java.lang.String houses1_2_3_77 = houses1_1[2][3];
houses_2_4[3] = houses1_2_3_77;
final java.lang.String houses1_2_4_81 = houses1_1[2][4];
houses_2_4[4] = houses1_2_4_81;
final java.lang.String[] houses_3_5 = houses_7[3];
final java.lang.String houses1_3_0_93 = houses1_1[3][0];
houses_3_5[0] = houses1_3_0_93;
final java.lang.String houses1_3_1_97 = houses1_1[3][1];
houses_3_5[1] = houses1_3_1_97;
final java.lang.String houses1_3_2_101 = houses1_1[3][2];
houses_3_5[2] = houses1_3_2_101;
final java.lang.String houses1_3_3_105 = houses1_1[3][3];
houses_3_5[3] = houses1_3_3_105;
final java.lang.String houses1_3_4_109 = houses1_1[3][4];
houses_3_5[4] = houses1_3_4_109;
final java.lang.String[] houses_4_6 = houses_7[4];
final java.lang.String houses1_4_0_121 = houses1_1[4][0];
houses_4_6[0] = houses1_4_0_121;
final java.lang.String houses1_4_1_125 = houses1_1[4][1];
houses_4_6[1] = houses1_4_1_125;
final java.lang.String houses1_4_2_129 = houses1_1[4][2];
houses_4_6[2] = houses1_4_2_129;
final java.lang.String houses1_4_3_133 = houses1_1[4][3];
houses_4_6[3] = houses1_4_3_133;
final java.lang.String houses1_4_4_137 = houses1_1[4][4];
houses_4_6[4] = houses1_4_4_137;
final java.lang.String[][] houses_161 = new java.lang.String[5][5];
final java.lang.String[] houses_0_156 = houses_161[0];
houses_0_156[0] = houses1_0_0_9;
houses_0_156[1] = houses1_0_1_13;
houses_0_156[2] = houses1_0_2_17;
houses_0_156[3] = houses1_0_3_21;
houses_0_156[4] = houses1_0_4_25;
final java.lang.String[] houses_1_157 = houses_161[1];
houses_1_157[0] = houses1_1_0_37;
houses_1_157[1] = houses1_1_1_41;
houses_1_157[2] = houses1_1_2_45;
houses_1_157[3] = houses1_1_3_49;
houses_1_157[4] = houses1_1_4_53;
final java.lang.String[] houses_2_158 = houses_161[2];
houses_2_158[0] = houses1_2_0_65;
houses_2_158[1] = houses1_2_1_69;
houses_2_158[2] = houses1_2_2_73;
houses_2_158[3] = houses1_2_3_77;
houses_2_158[4] = houses1_2_4_81;
final java.lang.String[] houses_3_159 = houses_161[3];
houses_3_159[0] = houses1_3_0_93;
houses_3_159[1] = houses1_3_1_97;
houses_3_159[2] = houses1_3_2_101;
houses_3_159[3] = houses1_3_3_105;
houses_3_159[4] = houses1_3_4_109;
final java.lang.String[] houses_4_160 = houses_161[4];
houses_4_160[0] = houses1_4_0_121;
houses_4_160[1] = houses1_4_1_125;
houses_4_160[2] = houses1_4_2_129;
houses_4_160[3] = houses1_4_3_133;
houses_4_160[4] = houses1_4_4_137;
if (houses1_0_0_9 != "Norwegian"
|| houses1_1_1_41 != "Blue"
|| houses1_2_1_69 == "Green" && houses1_3_1_97 == "White"
|| houses1_3_1_97 != "Green"
|| houses1_4_1_125 != "White"
|| houses1_2_4_81 != "Milk"
|| houses1_2_0_65 != "Brit"
|| houses1_2_1_69 != "Red"
|| houses1_1_0_37 == "Swede" && houses1_1_3_49 == "Dog"
|| houses1_3_0_93 == "Swede" && houses1_3_3_105 == "Dog"
|| houses1_4_0_121 != "Swede"
|| houses1_4_3_133 != "Dog"
|| houses1_1_0_37 != "Dane"
|| houses1_1_4_53 != "Tea"
|| houses1_0_1_13 == "Green" && houses1_0_4_25 == "Coffee"
|| houses1_3_4_109 != "Coffee"
|| houses1_0_2_17 == "PallMall" && houses1_0_3_21 == "Bird"
|| houses1_1_2_45 == "PallMall" && houses1_1_3_49 == "Bird"
|| houses1_2_2_73 != "PallMall"
|| houses1_2_3_77 != "Bird"
|| houses1_0_1_13 != "Yellow"
|| houses1_0_2_17 != "Dunhill"
|| houses1_3_0_93 != "German"
|| houses1_3_2_101 != "Prince"
|| houses1_4_2_129 != "BlueMaster"
|| houses1_4_4_137 != "Beer"
|| houses1_1_2_45 != "Blend"
|| houses1_0_3_21 != "Cat"
|| houses1_1_3_49 != "Horse"
|| houses1_0_4_25 != "Water"
|| houses1_3_3_105 != "Fish") {
throw new java.lang.Exception();}
java.lang.System.out.println("the owner of a fish = German") /*virtual*/;
java.lang.System.out.println("") /*virtual*/;
java.lang.System.out.println("house 1: Norwegian Yellow Dunhill Cat Water ") /*virtual*/;
java.lang.System.out.println("house 2: Dane Blue Blend Horse Tea ") /*virtual*/;
java.lang.System.out.println("house 3: Brit Red PallMall Bird Milk ") /*virtual*/;
java.lang.System.out.println("house 4: German Green Prince Fish Coffee ") /*virtual*/;
java.lang.System.out.println("house 5: Swede White BlueMaster Dog Beer ") /*virtual*/;
return;
}
//-------------------------------------- 31 sec - JScp version 0.1.22