X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=src%2Fmjc2wsl.java;h=b7edf0bec3d47fd6718b2dff997ae57c90e01bb8;hp=77d1c2816e49705fcc0f29cd1f363ca0891025e6;hb=2050d4ec077043d9e84577d28951ba072e3688bf;hpb=e85269a73dc2ccb6f199555007677f39fb92e650 diff --git a/src/mjc2wsl.java b/src/mjc2wsl.java index 77d1c28..b7edf0b 100644 --- a/src/mjc2wsl.java +++ b/src/mjc2wsl.java @@ -2,24 +2,50 @@ import java.io.*; import java.util.*; /** - * This program converts file from compiled MicroJava bytecode (a subset used - * in Compiler Construction courses by H. Moessenboeck, not "Java ME") - * to WSL language which is a part of the FermaT Transformation system. - * + * This program converts file from compiled MicroJava bytecode to WSL language + * which is a part of the FermaT Transformation system. MicroJava is a subset + * used in Compiler Construction courses by Hanspeter Moessenboeck, not + * "Java ME". + * * @author Doni Pracner, http://perun.dmi.rs/pracner http://quemaster.com */ public class mjc2wsl{ - public static String versionN = "0.1.2"; - - //regular comments from the original file - //OC when original code is inserted in the file, next to the translations - //SPEC special messages from the translator - //ERR error messages from the transnlator - public static final char C_REG = ' ', C_OC = '#', C_SPEC = '&', C_ERR = '!'; + public static String versionN = "0.1.4"; + public static final int M_ERR = 2, M_WAR = 1, M_DEB = 0; + + private int printLevel = M_ERR; + + private int[] messageCounters = new int[M_ERR+1]; + + private void message(String mes, int level){ + if (level>=printLevel) + System.out.println(mes); + messageCounters[level]++; + } - /** instruction code */ - public static final int + private void printMessageCounters(){ + printMessageCounters(System.out); + } + + private void printMessageCounters(PrintStream out){ + out.println("total errors:"+messageCounters[M_ERR]+" warnings:"+messageCounters[M_WAR]); + } + + /** Constant used for marking a regular comment from the original file */ + public static final char C_REG = ' '; + /** + * Constant used for marking when original code is inserted in the file, + * next to the translations + */ + public static final char C_OC = '#'; + /** Constant used for marking special messages from the translator */ + public static final char C_SPEC = '&'; + /** Constant used for marking error messages from the translator */ + public static final char C_ERR = '!'; + + /** instruction code in MicroJava bytecode. */ + public static final int load = 1, load_0 = 2, load_1 = 3, @@ -79,13 +105,17 @@ public class mjc2wsl{ trap = 57; public String getStandardStart(){ - StringBuilder ret = new StringBuilder("C:\" This file automatically converted from microjava bytecode\";\n" + StringBuilder ret = new StringBuilder( + "C:\" This file automatically converted from microjava bytecode\";\n" +"C:\" with mjc2wsl v "+versionN+"\";\n"); - - ret.append("VAR < tempa := 0, tempb := 0, tempres :=0,\n"); - for (int i=0;i<=3;i++) ret.append("loc"+i+" := 0, "); - ret.append("\n estack := < >, t_e_m_p := 0 > :"); - + + ret.append("VAR < tempa := 0, tempb := 0, tempres :=0,\n\t"); + for (int i = 0; i <= 3; i++) + ret.append("mjvm_loc" + i + " := 0, "); + ret.append("\n mjvm_estack := < >, mjvm_mstack := < >, "); + ret.append("\n mjvm_fp := 0, mjvm_sp := 0,"); + ret.append("\n t_e_m_p := 0 > :"); + return ret.toString(); } @@ -116,27 +146,28 @@ public class mjc2wsl{ } private int get() { - int res = -1; - try{ - res = mainIn.read(); - if (res>=0) res = res<<24>>>24; - }catch (IOException ex){ - ex.printStackTrace(); - } - counter++; - return res; + int res = -1; + try { + res = mainIn.read(); + if (res >= 0) + res = res << 24 >>> 24; + } catch (IOException ex) { + ex.printStackTrace(); + } + counter++; + return res; } private int get2() { - return (get()*256 + get())<<16>>16; + return (get() * 256 + get()) << 16 >> 16; } - + private int get4() { - return (get2()<<16) + (get2()<<16>>>16); + return (get2() << 16) + (get2() << 16 >>> 16); } private String loc(int i){ - return "loc"+i; + return "mjvm_loc" + i; } /** @@ -153,203 +184,321 @@ public class mjc2wsl{ * in them, or additional comments regarding the translation * process. */ - public static String createComment(String str, char type){ - return "C:\""+type+str.replace("\"", "''")+"\";"; + public static String createComment(String str, char type) { + return "C:\"" + type + str.replace("\"", "''") + "\";"; } + + //Expression stack - private String cmdToEStack(int i){ - return "estack := <"+i+" > ++ estack;"; + private String cmdToEStack(int i) { + return "mjvm_estack := <" + i + " > ++ mjvm_estack;"; } - - private String cmdToEStack(String i){ - return "estack := <"+i+" > ++ estack;"; + + private String cmdToEStack(String i) { + return "mjvm_estack := <" + i + " > ++ mjvm_estack;"; } - - private String cmdFromEStack(String st){ - return st+" := HEAD(estack); estack := TAIL(estack);"; + + private String cmdFromEStack(String st) { + return st + " := HEAD(mjvm_estack); mjvm_estack := TAIL(mjvm_estack);"; } private String getTopTwo(){ - return cmdFromEStack("tempa")+"\n"+cmdFromEStack("tempb"); + return cmdFromEStack("tempa") + "\n" + cmdFromEStack("tempb"); } + + private String getTop() { + return cmdFromEStack("tempa"); + } + + //Method stack - private String getTop(){ - return cmdFromEStack("tempa"); + private String cmdToMStack(int i) { + return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;"; + } + + private String cmdToMStack(String i) { + return "mjvm_mstack := <" + i + " > ++ mjvm_mstack;"; + } + + private String cmdFromMStack(String st) { + return st + " := HEAD(mjvm_mstack); mjvm_mstack := TAIL(mjvm_mstack);"; } - public void convertStream(InputStream ins){ + private String getRelationFor(int opcode) throws Exception { + switch (opcode) { + case jeq: return "="; + case jne: return "<>"; + case jlt: return "<"; + case jle: return "<="; + case jgt: return ">"; + case jge: return ">="; + } + throw new Exception("Wrong opcode for a relation"); + } + + public void convertStream(InputStream ins) throws Exception{ mainIn = ins; //skip start TODO make better - for (int i=0;i<14;i++) get(); + for (int i = 0; i < 14; i++) + get(); prl(getStandardStart()); prl("SKIP;\n ACTIONS A_S_start:\n A_S_start == CALL a14 END"); int op = get(); - while (op>=0){ - if (originalInComments) prl(createComment(""+op,C_OC)); - prl("a"+counter+" == "); - switch(op) { - case load: { - prl(cmdToEStack(loc(get()))); - break; - } - case load_0: case load_1: case load_2: case load_3: { - prl(cmdToEStack(loc(op-load_0))); - break; - } - case store: { - prl(cmdFromEStack(loc(get()))); - break; - } - case store_0: case store_1: case store_2: case store_3: { - prl(cmdFromEStack(loc(op-store_0))); - break; - } - case const_: { - prl(cmdToEStack(get4())); - break; - } - - case const_0: case const_1: case const_2: - case const_3: case const_4: case const_5:{ - prl(cmdToEStack(op-const_0)); - break; - } - - case jmp: { - prl("CALL a"+(counter+get2())+";"); - break; - } - - case jeq: case jne: case jlt: - case jle: case jgt: case jge: { - prl(getTopTwo()); - prl("IF tempb >= tempa THEN CALL a"+(counter+get2())+" FI;"); - break; - } - - case add: { - prl(getTopTwo()); - prl("tempres := tempb + tempa;"); - prl(cmdToEStack("tempres")); - break; - } - case div: { - prl(getTopTwo()); - prl("tempres := tempb / tempa;"); - prl(cmdToEStack("tempres")); - break; - } - - case enter: { - prl(createComment("enter not fully procesed yet")); - get();get(); - break; - } - case return_: { - prl(createComment("return not fully procesed yet")); - break; - } - case exit: { - prl(createComment("exit not fully procesed yet")); - break; - } + while (op >= 0) { + if (originalInComments) + prl(createComment("" + op, C_OC)); + prl("a" + counter + " == "); + switch (op) { + case load: { + prl(cmdToEStack(loc(get()))); + break; + } + case load_0: + case load_1: + case load_2: + case load_3: { + prl(cmdToEStack(loc(op - load_0))); + break; + } + case store: { + prl(cmdFromEStack(loc(get()))); + break; + } + case store_0: + case store_1: + case store_2: + case store_3: { + prl(cmdFromEStack(loc(op - store_0))); + break; + } + + //TODO getstatic, putstatic + //TODO getfield, putfield + + case const_: { + prl(cmdToEStack(get4())); + break; + } - //the prints - case bprint: { - prl(getTopTwo()); - prl("PRINT(tempb);"); - break; - } - case print: { - //TODO need to make it a char - prl(getTopTwo()); - prl("PRINT(tempb);"); - break; - } + case const_0: + case const_1: + case const_2: + case const_3: + case const_4: + case const_5: { + prl(cmdToEStack(op - const_0)); + break; + } - default: prl(createComment("unknown op error: "+op,C_ERR)); break; - } - - op = get(); - if (op>=0) prl("CALL a"+counter+" END"); + case add: { + prl(getTopTwo()); + prl("tempres := tempb + tempa;"); + prl(cmdToEStack("tempres")); + break; + } + case sub: { + prl(getTopTwo()); + prl("tempres := tempb - tempa;"); + prl(cmdToEStack("tempres")); + break; + } + case mul: { + prl(getTopTwo()); + prl("tempres := tempb * tempa;"); + prl(cmdToEStack("tempres")); + break; + } + case div: { + prl(getTopTwo()); + prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;"); + prl("tempres := tempb DIV tempa;"); + prl(cmdToEStack("tempres")); + break; + } + case rem: { + prl(getTopTwo()); + prl("IF tempa = 0 THEN ERROR(\"division by zero\") FI;"); + prl("tempres := tempb MOD tempa;"); + prl(cmdToEStack("tempres")); + break; + } + + //TODO neg, shl, shr, inc + //TODO new_ newarray + //TODO aload, asstore, baload, bastore + //TODO arraylength + //TODO pop, dup, dup2 + + case jmp: { + prl("CALL a" + (counter + get2()) + ";"); + break; + } + + case jeq: + case jne: + case jlt: + case jle: + case jgt: + case jge: { + prl(getTopTwo()); + prl("IF tempb "+ getRelationFor(op) + +" tempa THEN CALL a" + (counter + get2()) + + " FI;"); + break; + } + + case call: { + prl(cmdToMStack(counter+2)); + prl("CALL a" + (counter + get2()) + ";"); + break; + } + + case return_: { + prl("IF EMPTY?(mjvm_mstack) THEN CALL Z ELSE"); + //else we let things return + prl(cmdFromMStack("tempa")); + prl("SKIP FI"); + prl("END b"+counter+" =="); + break; + } + case enter: { + prl(createComment("enter not fully procesed yet")); + message("enter not fully procesed yet", M_WAR); + get(); + get(); + break; + } + case exit: { + prl(createComment("exit not fully procesed yet")); + message("exit not fully procesed yet", M_WAR); + break; + } + + //TODO read, print + + // the prints + case bprint: { + prl(getTopTwo()); + prl("PRINT(tempb);"); + break; + } + case print: { + // TODO need to make it a char + prl(getTopTwo()); + prl("PRINT(tempb);"); + break; + } + default: + prl(createComment("unknown op error: " + op, C_ERR)); + message("unknown op error: "+ op, M_ERR); + break; + } + + //TODO trap + + + op = get(); + if (op >= 0) + prl("CALL a" + counter + " END"); } prl("CALL Z;\nSKIP END\nENDACTIONS;\n"); prl(getStandardEnd()); - + } - public void convertFile(File f){ - try{ - convertStream(new FileInputStream(f)); - }catch (Exception ex){ - ex.printStackTrace(); - } + public void convertFile(File f) { + try { + convertStream(new FileInputStream(f)); + } catch (Exception ex) { + ex.printStackTrace(); + } } - public void printHelp(){ - System.out.println("MicroJava bytecode to WSL converter. v "+versionN+", by Doni Pracner"); - System.out.println("usage:\n\t {options} mjc2wsl filename [outfile]"); - System.out.println("options:\n\t--screen print output to screen"); - System.out.println("\t-o --oc include original code in comments"); + public void printHelp() { + System.out.println("MicroJava bytecode to WSL converter. v " + versionN + + ", by Doni Pracner"); + System.out.println("usage:\n\t {options} mjc2wsl filename [outfile]"); + System.out.println("options:\n\t--screen print output to screen"); + System.out.println("\t-o --oc[+-] include original code in comments"); + System.out.println("\t-v verbose, print warning messages"); + System.out.println("\t-q don't print even the error messages"); + System.out.println("\t-d print detailed debug messages"); } public String makeDefaultOutName(String inname){ - String rez = inname; - if (inname.endsWith(".obj")) - rez = rez.substring(0,rez.length()-4); - return rez+".wsl"; + String rez = inname; + if (inname.endsWith(".obj")) + rez = rez.substring(0, rez.length() - 4); + return rez + ".wsl"; } - public void run(String[] args){ - if (args.length == 0){ - printHelp(); - }else{ - int i=0; - while (i=args.length) {System.out.println("no filename supplied");System.exit(2);} + if (i >= args.length) { + System.out.println("no filename supplied"); + System.exit(2); + } File f = new File(args[i]); - - if (i+1