From: Doni Pracner Date: Sat, 7 Sep 2013 19:03:19 +0000 (+0200) Subject: eclipsing it up X-Git-Tag: v0.1.2~28 X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff_plain;h=e85269a73dc2ccb6f199555007677f39fb92e650 eclipsing it up --- diff --git a/.classpath b/.classpath new file mode 100644 index 0000000..fb50116 --- /dev/null +++ b/.classpath @@ -0,0 +1,6 @@ + + + + + + diff --git a/.project b/.project new file mode 100644 index 0000000..c8dc9a5 --- /dev/null +++ b/.project @@ -0,0 +1,17 @@ + + + mjc2wsl + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + + diff --git a/mjc2wsl.java b/mjc2wsl.java deleted file mode 100644 index 77d1c28..0000000 --- a/mjc2wsl.java +++ /dev/null @@ -1,355 +0,0 @@ -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. - * - * @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 = '!'; - - - /** instruction code */ - public static final int - load = 1, - load_0 = 2, - load_1 = 3, - load_2 = 4, - load_3 = 5, - store = 6, - store_0 = 7, - store_1 = 8, - store_2 = 9, - store_3 = 10, - getstatic = 11, - putstatic = 12, - getfield = 13, - putfield = 14, - const_0 = 15, - const_1 = 16, - const_2 = 17, - const_3 = 18, - const_4 = 19, - const_5 = 20, - const_m1 = 21, - const_ = 22, - add = 23, - sub = 24, - mul = 25, - div = 26, - rem = 27, - neg = 28, - shl = 29, - shr = 30, - inc = 31, - new_ = 32, - newarray = 33, - aload = 34, - astore = 35, - baload = 36, - bastore = 37, - arraylength = 38, - pop = 39, - dup = 40, - dup2 = 41, - jmp = 42, - jeq = 43, - jne = 44, - jlt = 45, - jle = 46, - jgt = 47, - jge = 48, - call = 49, - return_ = 50, - enter = 51, - exit = 52, - read = 53, - print = 54, - bread = 55, - bprint = 56, - trap = 57; - - public String getStandardStart(){ - 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 > :"); - - return ret.toString(); - } - - public String getStandardEnd(){ - return "SKIP\nENDVAR"; - } - - private boolean originalInComments = false; - - private InputStream mainIn; - private PrintWriter out = null; - private int counter = -1; - - private void pr(int i){ - out.print(i); - } - - private void pr(char i){ - out.print(i); - } - - private void pr(String i){ - out.print(i); - } - - private void prl(String i){ - out.println(i); - } - - 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; - } - - private int get2() { - return (get()*256 + get())<<16>>16; - } - - private int get4() { - return (get2()<<16) + (get2()<<16>>>16); - } - - private String loc(int i){ - return "loc"+i; - } - - /** - * Creates a WSL comment with care to quote chars. - */ - public static String createComment(String str){ - return createComment(str, C_REG); - } - - /** - * Creates a WSL comment with care to quote chars, of the - * given type. Types are given as char constants. They can be - * default comments, comments that contain the original code - * in them, or additional comments regarding the translation - * process. - */ - public static String createComment(String str, char type){ - return "C:\""+type+str.replace("\"", "''")+"\";"; - } - - private String cmdToEStack(int i){ - return "estack := <"+i+" > ++ estack;"; - } - - private String cmdToEStack(String i){ - return "estack := <"+i+" > ++ estack;"; - } - - private String cmdFromEStack(String st){ - return st+" := HEAD(estack); estack := TAIL(estack);"; - } - - private String getTopTwo(){ - return cmdFromEStack("tempa")+"\n"+cmdFromEStack("tempb"); - } - - private String getTop(){ - return cmdFromEStack("tempa"); - } - - public void convertStream(InputStream ins){ - mainIn = ins; - //skip start TODO make better - 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; - } - - //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)); break; - } - - 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 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 String makeDefaultOutName(String inname){ - 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);} - File f = new File(args[i]); - - if (i+1, t_e_m_p := 0 > :"); + + return ret.toString(); + } + + public String getStandardEnd(){ + return "SKIP\nENDVAR"; + } + + private boolean originalInComments = false; + + private InputStream mainIn; + private PrintWriter out = null; + private int counter = -1; + + private void pr(int i){ + out.print(i); + } + + private void pr(char i){ + out.print(i); + } + + private void pr(String i){ + out.print(i); + } + + private void prl(String i){ + out.println(i); + } + + 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; + } + + private int get2() { + return (get()*256 + get())<<16>>16; + } + + private int get4() { + return (get2()<<16) + (get2()<<16>>>16); + } + + private String loc(int i){ + return "loc"+i; + } + + /** + * Creates a WSL comment with care to quote chars. + */ + public static String createComment(String str){ + return createComment(str, C_REG); + } + + /** + * Creates a WSL comment with care to quote chars, of the + * given type. Types are given as char constants. They can be + * default comments, comments that contain the original code + * in them, or additional comments regarding the translation + * process. + */ + public static String createComment(String str, char type){ + return "C:\""+type+str.replace("\"", "''")+"\";"; + } + + private String cmdToEStack(int i){ + return "estack := <"+i+" > ++ estack;"; + } + + private String cmdToEStack(String i){ + return "estack := <"+i+" > ++ estack;"; + } + + private String cmdFromEStack(String st){ + return st+" := HEAD(estack); estack := TAIL(estack);"; + } + + private String getTopTwo(){ + return cmdFromEStack("tempa")+"\n"+cmdFromEStack("tempb"); + } + + private String getTop(){ + return cmdFromEStack("tempa"); + } + + public void convertStream(InputStream ins){ + mainIn = ins; + //skip start TODO make better + 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; + } + + //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)); break; + } + + 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 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 String makeDefaultOutName(String inname){ + 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);} + File f = new File(args[i]); + + if (i+1